MultiONoticias

Verificación de Modelos y Código para Sistemas de Alta Integridad.

Verificación de Modelos y Código para Sistemas de Alta Integridad.

Por Bill Potter, MathWorks.

Las pruebas de software son uno de los aspectos más exigentes y lentos de desarrollar sistemas complejos, ya que implica garantizar que todos los requisitos se prueban y que todo el software se somete a pruebas. Usando un algoritmo de verificación de sensores en un sistema de control de vuelo de helicóptero como ejemplo, este artículo describe un flujo de trabajo de verificación simplificado basado en Simulink® y herramientas de verificación de apoyo.

Los temas cubiertos incluyen la creación de casos de prueba a partir de requisitos, la reutilización de casos de prueba para modelos y códigos, la generación de casos de prueba para la cobertura del modelo faltante y la obtención de una cobertura estructural completa en el código de objeto ejecutable.

Acceda al artículo original aquí.

Rozzana Almaráz
Ejecutivo MATLAB Académico
ralmaraz@multion.com
+52 (55) 55594050 Ext. 189