| Reactivos Reactis ayuda a los ingenieros a construir software más rápido automatizando muchas verificaciones |
Descargar ahora |
Reactivos Clasificación y resumen
- Nombre del editor:
- Reactive Systems, Inc.
- Sistemas operativos:
- Windows
Reactivos Etiquetas
Reactivos Descripción
Reactis ayuda a los ingenieros a crear un mejor software más rápido al automatizar muchas tareas de verificación y validación en un proceso de diseño basado en el modelo. El diseño basado en modelos está creciendo en popularidad entre los ingenieros que desarrollan software de control incorporado. En el diseño basado en modelos, los modelos visuales ejecutables de software de control incorporados se desarrollan antes de la implementación del sistema. Se pueden usar los modelos para impulsar el desarrollo del software de control, y también puede servir como base para el software y las pruebas del sistema. Un beneficio del diseño basado en el modelo es que permite a los ingenieros comiencen a la depuración y las actividades de validación en el tiempo de diseño, cuando el costo de detectar y tratar con defectos de diseño es mucho más pequeño que en el nivel de implementación del software y del sistema. Otra es que los modelos se pueden usar como una línea de base para evaluar el comportamiento de la implementación durante las pruebas y validación del sistema. Por estas razones, el uso juicioso del modelado puede llevar a una reducción general de todas las dramáticas en el costo del desarrollo del sistema de control, especialmente cuando está disponible el soporte de herramientas robusto. Características: - generar pruebas de un modelo que ejerce a fondo el modelo (pruebas estructurales); - encontrar errores de tiempo de ejecución (por ejemplo, errores de desbordamiento, errores divididos por cero) en un modelo; - Ejecutar el modelo y la cobertura de seguimiento (por ejemplo, MC / DC); - realizar pruebas funcionales para verificar si un modelo puede violar o no sus requisitos; - Use una suite de prueba Reactis como un oráculo para verificar si el código se ajusta a un modelo.
Reactivos Software relacionado