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

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.

[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.