Ensayos de seguridad eléctrica orientados a la vigilancia del mercado

El presente estudio recopila los diferentes bancos de pruebas de EMC, Radio, SAR y seguridad eléctrica que se utiliza en la vigilancia del mercado. Describe las pruebas realizadas por el Estado español para llevar a cabo el seguimiento y control de los equipos vendidos. En primer lugar se presenta una descripción cualitativa de los ambientes clasificados por requisitos que explica en qué consisten las pruebas que se hacen, cómo se configura el entorno de medida y cuáles son los equipos que se deben utilizar. Está ilustrado con fotografías de los bastidores, antenas, amplificadores, generadores y otros equipos que la SETSI tiene en su laboratorio en El Casar (Guadalajara). La vigilancia de los equipos se realiza periódicamente en los estados miembros de la Unión Europea. Los funcionarios responsables también se reúnen periódicamente a nivel europeo para sacar conclusiones y hacer proyecciones futuras. El equipo adquirido en centros comerciales de venta al público, después de poco más de un mes, en el que se pasan las pruebas, vuelve a la cadena de comercialización, por lo que los dispositivos no se puedan dañar. Las pruebas realizadas en el laboratorio no pueden ser perjudiciales para los dispositivos por lo que es necesario tomar precauciones en la ejecución de las pruebas. El centro del PFC es el área de la Seguridad Eléctrica. El capítulo 4 es una reproducción de la Norma internacional IEC 60950-1:2007/A11 sobre seguridad en equipos de tecnología de la información adaptada a los requisitos de la vigilancia de mercado. Las autoridades competentes se basan en este estándar para evaluar y garantizar la seguridad del usuario en los equipos de consumo. Diseñados los procedimientos de ensayo y montado un banco de acuerdo a estos ensayos, se ha preparado un manual de operador, capítulo 5, en el que se recogen cada una de las pruebas y controles visuales que deben realizarse para probar que el equipo es conforme. Para finalizar, en el capítulo 6, se ejecutan ensayos de ejemplo sobre tres dispositivos de prueba y se elaboran las correspondientes hojas de ensayo. El propósito es proporcionar al operador un manual completo del banco de seguridad eléctrica, es por ello que en el manual de operador se han repetido muchos fragmentos de la norma para facilitar al operador el objetivo concreto de las pruebas y el acceso fácil a la información. This dissertation presents the different test benches of EMC, Radio, SAR and Electrical Safety that are used in market surveillance. Describes the tests performed by the Spanish State to carry out the monitoring and control of equipment sold. First a qualitative description of the environments classified by requisites that explains in that consist the tests that are make it, how it configures the measure environment and which are the equipment that it should use. It is illustrated with photographs of the racks, antennas, amplifiers, generators and other equipment that the S.E.T.S.I has in its laboratory on El Casar (Guadalajara). The surveillance of equipment is performed periodically in the member states of the European Union. Responsible officials also periodically meet at European level to draw conclusions and make future projections. The equipment purchased in malls public sale, after little more than a month, in which the tests are passed, returned to the trade chain, which is why the devices cannot be damaged. The tests done in the laboratory may not be harmful for devices are thus necessary to take precautions in the execution of the tests. The center of this dissertation is the area of Electrical Safety. Chapter 4 is a reproduction of the International Standard IEC 60950-1:2007/A11 safety in teams of information technology, adapted to the requirements of market surveillance. The competent authorities are based on this standard to assess and ensure the user's safety in the consumption equipment. Designed test procedures and mounted on a bench according to these tests, it has prepared a manual operator, in Chapter 5, with each of the tests and visual inspections in order to prove that the equipment complies. Finally, in Chapter 6, such tests run on three devices are developed test and test some leaves. The purpose of this book is to provide an operator manual of the bench of electrical safety, which is why the operator manual have been repeated fragments of the standard, in chapter 5, to facilitate the operator to test execution and access to information.

Banco de ensayos para el control de calidad de paneles solares fotovoltaicos

El objetivo principal del presente Proyecto Fin de Carrera es el de dotar a la Escuela Universitaria de Ingenieros Técnicos de Telecomunicación – Universidad Politécnica de Madrid (EUITT-UPM) de un banco de medida donde poder caracterizar los módulos fotovoltaicos en condiciones reales de operación. Es necesario comprobar el funcionamiento de los módulos para asegurarse de que está acorde a lo indicado en las especificaciones anunciadas por los fabricantes. A lo largo del texto daremos una introducción al concepto de energía solar fotovoltaica y una descripción de los sistemas tanto aislados como los conectados a la red eléctrica de distribución. Hablaremos sobre el fenómeno fotovoltaico y describiremos los módulos fotovoltaicos para ver las partes de las que está compuesto un módulo. Finalmente nos centraremos en el banco de ensayo y acabaremos explicando el caso práctico realizado en la EUITT. A través de la medida de la curva I-V del módulo fotovoltaico en condiciones reales de operación y la extrapolación de los resultados obtenidos a las Condiciones Estándar de Medida (CEM) comprobaremos lo que se ajustan los valores dados por los fabricantes de los módulos solares. ABSTRACT. The main aim of this project is to provide the EUITT-UPM a measure workbench to characterize photovoltaic (PV) modules in real test conditions (RTC). It is necessary to check the PV modules operations to assure that its characteristics are close to the ones given by the manufacturers. I will introduce the concept of photovoltaic solar energy and describe remote systems as well as network-connected systems. I will talk about the photovoltaic phenomenon and describe the PV modules in order to know the parts making up a module. Finally, I shall describe the measure workbench explaining the practical case carried out at the university. By measuring the I-V curve of PV modules in real test conditions and the later extrapolation of the results to the standard test conditions (STC), manufacturers’ data can be compared to the data obtained within this study.

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

Modelo de calidad para el software orientado a objetos

El software ha obtenido en la actualidad una gran importancia en todos los ámbitos de la vida cotidiana. Es indudable que la calidad del software juega un papel fundamental en todo desarrollo informático, aunque en ocasiones no se le presta la suficiente atención, quizás debido a los relativamente escasos trabajos relacionados con este tema desarrollados hasta la fecha. En el presente trabajo, se plantea la necesidad de un modelo de calidad completo. Para cubrir esta necesidad se presenta un nuevo modelo de calidad, obtenido tras un estudio pormenorizado de los modelos de calidad existentes, centrado en el paradigma orientado a objetos. Este modelo de calidad muestra cómo la calidad del software se descompone en una serie de factores y éstos, a su vez, se descomponen en un conjunto de criterios medibles utilizando medidas. El modelo incluye un amplio conjunto de medidas, diseñadas especialmente para su aplicación dentro del paradigma orientado a objetos. Para completar el modelo, se ha diseñado un sencillo método de aplicación de este modelo de calidad para que pueda ser utilizado de una forma simple por los desarrolladores de sistemas informáticos orientados a objetos. El modelo de calidad definido se ha validado realizando un juego de experimentos. Estos experimentos han consistido en la aplicación del modelo sobre una serie de desarrollos orientados a objetos. Los resultados obtenidos han demostrado su utilidad práctica para determinar tanto la calidad global de los sistemas, como para identificar aquellas partes del sistema susceptibles de ser mejoradas. Con este trabajo, se llena un importante hueco existente en esta área, pues, en primer lugar, no existen modelos de calidad completos para la orientación a objetos. En segundo lugar, aunque hay medidas para la orientación a objetos, no se han asociado a los atributos que determinan la calidad del software, por lo que su utilidad, tal cual fueron definidas, resulta bastante cuestionable. Para finalizar, nunca se ha asociado un modelo de calidad con una método de aplicación, por lo que su utilidad quedaba considerablemente mermada, quedando a expensas de la habilidad y experiencia del Ingeniero del Software que lo utilizara.