Especificaciones del sistema ejecutable del modelo
STIMULUS proporciona un lenguaje de modelado que permite a los arquitectos de sistemas combinar requisitos textuales formalizados, máquinas de estado y diagramas de bloque en un entorno de simulación totalmente integrado. Los requisitos textuales se pueden asignar a cada nivel de la arquitectura funcional del sistema, mientras que las máquinas de estado se suelen utilizan para describir los modos de ejecución o las secuencias operativas de los sistemas atómicos.
Especificaciones del sistema de depuración y prueba
Con STIMULUS, puede simular la especificación completa del sistema (requisitos, máquinas de estado y diagramas de bloque) como un todo y buscar errores de especificación antes de la fase de diseño, adoptando un requisito efectivo y un proceso de desarrollo basado en pruebas. STIMULUS genera muchos seguimientos de ejecución que satisfacen las especificaciones del sistema y proporciona potentes funciones de depuración para analizar los resultados de la simulación de requisitos: detección y diagnóstico automáticos de requisitos en conflicto o ausentes, cobertura de requisitos, énfasis de requisitos activos, supervisión de señales, etc.
STIMULUS en acción: simulación de requisitos
La siguiente figura muestra una captura de pantalla de STIMULUS en la que la simulación de requisitos da lugar a algún conflicto. Una vez que STIMULUS detecta el conflicto, el usuario puede analizarlo mediante las funciones de depuración (simulación de retroceso, énfasis de requisitos, supervisión de señales, etc.).