STIMULUS
La solución integral de MBSE y automatización de pruebas
¿Qué es el MBSE integral?
El MBSE clásico suele centrarse en el uso de SysML, donde los requisitos se capturan como texto sin formato. Por lo tanto, no forman parte de la verificación ni de la simulación. Al estar en texto plano, no se puede generar nada a partir de ellos, por lo que todos y cada uno de los casos de prueba deben crearse manualmente a partir de todos y cada uno de los requisitos funcionales.
STIMULUS introduce un nuevo paradigma, ya que amplía las funcionalidades de modelado para incluir también los requisitos funcionales. Se puede capturar el 100 % del comportamiento del sistema, lo que también significa que aparecen nuevas posibilidades de automatización de pruebas: se pueden capturar escenarios de prueba y el solucionador de restricciones STIMULUS los utilizará para generar tantas combinaciones de entradas como se desee. Estos vectores de prueba sirven para estimular la especificación, pero también para estimular posteriormente el código. STIMULUS observará la respuesta del código y la comparará con el comportamiento definido en los requisitos, haciendo que la prueba funcional sea completamente automática. En el momento de la integración, Stimulus analizará el archivo de registro generado por el entorno de pruebas HIL y comparará el comportamiento del sistema integrado con los requisitos, lo que permitirá al evaluador detectar automáticamente cualquier infracción de cualquier requisito.
Automatización de pruebas funcionales
El código es estimulado por vectores de prueba que son generados automáticamente por STIMULUS, las salidas son observadas por Stimulus que las compara con las relaciones esperadas entre entradas y salidas según los requisitos. STIMULUS puede generar y ejecutar automáticamente un gran número de pruebas y realizar un seguimiento de la cobertura de los requisitos.
Simule y valide sus requisitos funcionales
STIMULUS permite a los arquitectos de sistemas ampliar el uso de los modelos SysML para incluir también los requisitos funcionales que, por primera vez, pueden simularse y validarse. Muchos errores, como la falta de requisitos o la existencia de requisitos contradictorios o erróneos, pueden detectarse y corregirse a tiempo. El trabajo de los equipos de desarrollo se hace mucho más eficaz, ya que reciben requisitos claros, completos y validados.
Los equipos de validación no necesitan derivar manualmente cada caso de prueba funcional a partir de un requisito funcional. Con STIMULUS, la comprobación del código o del sistema con respecto a sus requisitos es 100% automática, lo que supone un enorme retorno de la inversión: se generan y realizan muchas más pruebas con muy poco esfuerzo.
.
Pruebas de Hardware-in-the-Loop
STIMULUS es compatible con la prueba del sistema integrado mediante el análisis automático del archivo de registro que producen los entornos de prueba. El archivo contiene las E/S que se produjeron durante las pruebas, STIMULUS las comparará con los requisitos y detectará automáticamente cualquier violación de algún requisito.
STIMULUS y CATIA Magic
STIMULUS extiende el uso de modelos a un comportamiento detallado que es difícil de capturar en SysML. La continuidad digital entre CATIA Magic y Stimulus está garantizada, ya que la arquitectura SysML (y las señales relacionadas) pueden importarse a STIMULUS , donde se captura, simula y valida el comportamiento detallado.
Únase a la conversación en la comunidad de usuarios de sistemas cibernéticos MBSE de CATIA.
Descubra también
Descubra lo que CATIA puede hacer por usted
Hable con un experto de CATIA para descubrir cómo nuestras soluciones permiten colaborar sin problemas e innovar de manera sostenible en organizaciones de todos los tamaños.
Póngase en marcha
Los cursos y las clases están disponibles para estudiantes, instituciones académicas, profesionales y empresas. Encuentre la formación de CATIA adecuada para usted.
Obtener ayuda
Encuentre información sobre certificación de software y hardware, descargas de software, documentación del usuario, contacto con soporte y oferta de servicios