Importación del sistema en prueba
El código del sistema en prueba se puede importar fácilmente como un componente FMI, ya sea completamente generado por una herramienta de generación de código (Simulink, Scade, ControlBuild, etc.) o parcialmente generado a través de STIMULUS para incrustar el código C. En el momento de la integración, también puede importar un archivo de registro CSV para realizar un análisis posterior del sistema real.
Crear casos de prueba
Se pueden definir varios casos de uso para probar el sistema ySTIMULUSgenerará numerosos vectores de prueba automáticamente para cada caso de uso con el fin de maximizar la cobertura funcional de su campaña de prueba. Los requisitos se pueden reutilizar fácilmente como observadores de pruebas que detectarán y notificarán cualquier infracción de la especificación.
Ejecutar campañas de prueba
Una campaña de prueba automatiza la ejecución de los numerosos vectores de prueba generados a partir de los casos de uso y STIMULUS informará de métricas completas acerca de infracciones de requisitos y cobertura. Cada prueba fallida se puede volver a ejecutar en el entorno de simulación donde se pueden analizar las infracciones de requisitos.
Validación Requirement-In-The-Loop
Una vez que se desarrolla el código, STIMULUS puede comprobar su cumplimiento con los requisitos del sistema automáticamente. Mediante diagramas de bloque, puede crear un entorno de prueba en el que los requisitos se transformen en observadores de prueba y el sistema que se está probando se importa como una DLL mediante el protocolo FMI estándar. A continuación, puede generar y ejecutar numerosos vectores de prueba y STIMULUS comprobará que el comportamiento del sistema en prueba cumple con su especificación automáticamente. Durante una campaña de prueba,STIMULUS también calcula e informa de métricas completas acerca de la cobertura funcional de los requisitos.
STIMULUS en acción
La siguiente figura muestra una captura de pantalla de STIMULUS en la que se ha ejecutado una campaña de prueba. La ventana superior derecha ofrece una presentación rápida de las pruebas aprobadas y fallidas, mientras que la ventana inferior ofrece métricas precisas acerca de las pruebas fallidas y permite al usuario volver a ejecutar las pruebas fallidas en el entorno de simulación estándar.
