Mostrar el registro sencillo del ítem
dc.contributor.advisor | Montalva Subirats, José Miguel | es_ES |
dc.contributor.author | Cuezva Herrero, Judit | es_ES |
dc.date.accessioned | 2020-05-13T16:45:54Z | |
dc.date.available | 2020-05-13T16:45:54Z | |
dc.date.created | 2018-07-26 | |
dc.date.issued | 2020-05-13 | es_ES |
dc.identifier.uri | http://hdl.handle.net/10251/143082 | |
dc.description.abstract | [ES] La verificación del correcto funcionamiento de un sistema tiende a sufrir de "explosión combinatoria", debido a la gran cantidad de entradas y combinaciones a verificar. En particular cuando se realiza la prueba completa de conformidad, resulta en un número inviable de combinaciones. Para mitigar este problema, se ha propuesto el enfoque de "características de planta", que garantiza una cobertura total del comportamiento nominal del controlador. Este comportamiento nominal corresponde a la combinación de entradas que resultan factibles dentro del sistema cuando se combina en circuito cerrado el controlador con las características de la planta. En consecuencia, esta tesis se centra en extender, implementar y evaluar las nuevas características introducidas en el enfoque de "características de planta", con el fin de aumentar la precisión y la eficiencia de la generación de los casos a verificar. | es_ES |
dc.description.abstract | [EN] Testing of controllers with a large number of inputs and outputs suffers from the curse of dimensionality in terms of the combinatorial explosion of possible input combinations. In particular for conformance testing, this results in unbearable large numbers of test cases. To mitigate this problem, the plant feature approach has been proposed, which guarantees full coverage of the nominal behavior of the controller. This nominal behavior corresponds to the reachable state space when combining in a closed-loop the controller with its fault-free plant. Consequently, this thesis focuses in extending, implementing and evaluating new characteristics introduced in the plant feature approach, in order to increase the precision and efficiency of the test case generation. | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | Universitat Politècnica de València | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Verificación de sistemas | es_ES |
dc.subject | Explosión combinatoria | es_ES |
dc.subject | Enfoque de características de planta | es_ES |
dc.subject | Testing of controllers | es_ES |
dc.subject | Combinatorial explosion | es_ES |
dc.subject | Complete conformance testing | es_ES |
dc.subject | Nominal behavior | es_ES |
dc.subject | Plant feature approach | es_ES |
dc.subject.classification | INGENIERIA DE LA CONSTRUCCION | es_ES |
dc.subject.other | Máster Universitario en Ingeniería Industrial-Màster Universitari en Enginyeria Industrial | es_ES |
dc.title | Proyecto de ampliación del sistema de verificación existente, llamado "enfoque de características de planta", en términos de comportamiento híbrido y continuo | es_ES |
dc.type | Tesis de máster | es_ES |
dc.rights.accessRights | Cerrado | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Ingeniería de la Construcción y de Proyectos de Ingeniería Civil - Departament d'Enginyeria de la Construcció i de Projectes d'Enginyeria Civil | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Escuela Técnica Superior de Ingenieros Industriales - Escola Tècnica Superior d'Enginyers Industrials | es_ES |
dc.description.bibliographicCitation | Cuezva Herrero, J. (2018). Proyecto de ampliación del sistema de verificación existente, llamado "enfoque de características de planta", en términos de comportamiento híbrido y continuo. http://hdl.handle.net/10251/143082 | es_ES |
dc.description.accrualMethod | TFGM | es_ES |
dc.relation.pasarela | TFGM\94957 | es_ES |