Simulink Test
Desarrollo, gestión y ejecución de pruebas basadas en simulaciones
Simulink Test™ proporciona herramientas para crear, gestionar y ejecutar pruebas sistemáticas basadas en simulaciones de modelos, código generado y hardware simulado o físico. Incluye plantillas para pruebas de simulación, de referencia y de equivalencia que permiten realizar pruebas funcionales, unitarias, de regresión y "back-to-back" mediante los modos software-in-the-loop (SIL), processor-in-the-loop (PIL) y hardware-in-the-loop (HIL) en tiempo real.
Con Simulink Test es posible crear bancos de pruebas (test harnesses) no intrusivos a fin de aislar el componente puesto a prueba. Se pueden definir evaluaciones basadas en requisitos mediante un lenguaje textual y especificar la entrada para la prueba, las salidas esperadas y las tolerancias en diversos formatos, incluido Microsoft® Excel®. Simulink Test incluye un bloque Test Sequence que permite construir evaluaciones y secuencias de pruebas complejas, así como un administrador de pruebas para gestionar y ejecutar las pruebas. El bloque Observer permite acceder a cualquier señal del diseño sin necesidad de cambiar el modelo o su interfaz. Cabe la posibilidad de organizar y ejecutar grandes conjuntos de pruebas en paralelo o en sistemas de integración continua.
Puede rastrear las pruebas con respecto a los requisitos (con Simulink Requirements™) y generar informes que incluyan información de cobertura de las pruebas procedente de Simulink Coverage™.
El soporte para estándares del sector está disponible a través de IEC Certification Kit (para IEC 61508 e ISO 26262) y DO Qualification Kit (para DO-178).
Comience:
Plantillas de pruebas de regresión, back-to-back y basadas en requisitos
Las pruebas de simulación verifican que una simulación se ejecute sin errores, incluidas las evaluaciones definidas en el modelo. Las pruebas de referencia comparan la salida de la simulación con un conjunto de datos definido. Las pruebas de equivalencia comparan la salida de dos simulaciones.
Plantillas para crear casos de pruebas: de simulación, de referencia y de equivalencia.
Definición de datos de pruebas mediante varias fuentes
Los datos de entrada, las salidas esperadas y las tolerancias para los escenarios de pruebas se pueden especificar mediante archivos MAT u hojas de cálculo de Excel. Es posible:
- Crear datos de entrada de forma gráfica mediante bloques Signal Editor.
- Definir secuencias de entrada de pruebas programáticas mediante el bloque Test Sequence.
- Generar automáticamente entradas para pruebas mediante Simulink Design Verifier™.
Uso de diversos formatos para definir entradas, salidas o parámetros de pruebas.
Aislamiento de componentes para realizar pruebas con marcos de pruebas
Los marcos de pruebas (test harnesses) proporcionan un entorno de simulación integrado que aísla el modelo o componente de modelo de Simulink®. Permiten separar el entorno de las pruebas y el diseño. Es posible ejecutar simulaciones específicas para pruebas en modelos o componentes de modelos a la vez que se sincronizan los cambios de diseño entre el modelo y el marco de pruebas.
Aislamiento de un subsistema para realizar pruebas mediante un marco de pruebas.
Creación de pruebas lógicas con evaluaciones y observadores
Exprese los requisitos textuales como evaluaciones ejecutables con una semántica precisa. Evalúe el comportamiento de simulación de evaluaciones y secuencias de pruebas complejas. Capture señales para la evaluación sin que ello afecte al modelo de diseño.
Evaluaciones temporales para la verificación de requisitos
Los requisitos de un diseño pueden incluir lógica dependiente de la temporización que resulta difícil de formalizar en una prueba. Es posible crear pruebas que incluyen evaluaciones temporales con una semántica precisa en un lenguaje natural y que modelizan de forma exacta el comportamiento dependiente de la temporización con condiciones, eventos, valores de señales y retardos.
Creación de evaluaciones y secuencias de pruebas
Puede crear pruebas y evaluar los resultados de la simulación con secuencias de pruebas temporales y basadas en pasos mediante un subconjunto de características del lenguaje MATLAB®, incluidos operadores temporales, generadores de señales y construcciones condicionales.
Creación de secuencias de pruebas temporales y basadas en pasos.
Observación de señales sin cambios en el modelo
Los observadores permiten depurar y probar las señales de Simulink sin tener que agregar puertos, bloques, conexiones o interfaces adicionales exclusivamente para las pruebas. Se puede crear un modelo de verificación independiente para verificar el diseño del sistema.
Administración de planes de pruebas y ejecución de pruebas
El administrador de pruebas le ayudará a crear, ejecutar, revisar y organizar casos y conjuntos de pruebas. Puede probar su modelo en versiones anteriores de MATLAB si selecciona dichas versiones en el caso de prueba. Para contribuir a evaluar la exhaustividad de sus pruebas, puede recopilar métricas de cobertura.
Soporte para todos los modos de simulación
Es posible ejecutar pruebas en distintos modos: simulación normal, accelerator, rapid accelerator, software-in-the-loop (SIL), processor-in-the-loop (PIL) o en tiempo real con Simulink Real-Time™.
Realización de pruebas HIL con Simulink Real-Time.
Soporte para varias versiones
Puede ejecutar casos de pruebas con varias versiones de MATLAB a partir de la versión R2011b, lo cual le permite ejecutar su modelo en su versión de producción pero usar las características de verificación más recientes de Simulink Test.
Ejecución de casos de pruebas con versiones anteriores de MATLAB.
Medición de la cobertura de modelos y código
Simulink Coverage™ permite recopilar métricas de cobertura como decisión, condición, cobertura de condición/decisión modificada (MC/DC) y cobertura de límites relacionales. A partir de los resultados de cobertura del administrador de pruebas, es posible generar casos de pruebas para la cobertura ausente mediante el uso de Simulink Design Verifier.
Adición de cobertura para pruebas y generación de informes.
Visualización de resultados de pruebas, depuración de errores y actualización de pruebas
Simulink Test identifica gráficamente las señales que no cumplen las especificaciones de tolerancia y determina si el resultado es correcto o fallido. Puede examinar las salidas de simulación y las señales registradas junto con las salidas esperadas definidas y actualizar los datos de referencia si las desviaciones son aceptables.
Visualización y depuración de los resultados de las pruebas en el Test Manager.
Administración y archivo de resultados de pruebas
Simulink Test muestra un resumen y detalles sobre las pruebas que se han ejecutado. Una página de resumen por cada resultado de prueba indica la salida de la simulación, las comparaciones de referencia o equivalencia y el resultado de la prueba: si se ha superado, si no se ha superado o si no se ha realizado. Para compartir los resultados con otras personas, puede exportarlos a un archivo que, posteriormente, se puede revisar en el administrador de pruebas.
Visualización gráfica de los resultados de las pruebas con tolerancias.
Generación de informes
A fin de archivar los resultados en un documento, se genera un informe que puede incluir el resultado de la prueba, un resumen de la prueba y cualquier criterio utilizado para las comparaciones de prueba. Se pueden generar informes estándar en formato HTML, PDF y DOCX, o bien se pueden personalizar mediante Simulink Report Generator™.
Generación de informes para documentar los resultados de las pruebas.
Scripts de pruebas y flujos de trabajo por lotes
Las pruebas se pueden ejecutar individualmente o por lotes a fin de automatizarlas, así como configurar un entorno de pruebas estandarizado. Es posible crear programáticamente un caso de prueba, especificar criterios para un caso de prueba, ejecutar pruebas y generar resultados.
Personalización y automatización de pruebas mediante scripts.
Integración continua
Se pueden ejecutar pruebas de modelos mediante MATLAB Unit Test, lo que permite la integración con sistemas de integración continua (CI) como Jenkins™. Existe la posibilidad de ejecutar pruebas de modelos junto con scripts, funciones y clases de MATLAB Unit Test.
Diseño basado en modelos aplicado a la canalización de CI.
Aceleración mediante la ejecución paralela
A la hora de realizar pruebas con modelos de Simulink grandes o complejos, es posible acelerar las pruebas gracias a la ejecución paralela si dispone de Parallel Computing Toolbox™.
Ejecución de pruebas en núcleos paralelos.
Diagrama de Stateflow como fuente de marcos de pruebas y planificador
defina escenarios de pruebas complejos con Stateflow
Flujos de trabajo de cobertura después de la simulación
use y cree filtros de cobertura desde el administrador de pruebas sin volver a ejecutar las simulaciones
Verificación del soporte para palabras clave en diagramas de Stateflow
evalúe los resultados de las pruebas cuando realice pruebas basadas en el estado con Stateflow
Reutilización del código generado para la generación de marcos de pruebas SIL/PIL
verifique el código generado desde una versión anterior sin tener que regenerar el código
Soporte para marcos de pruebas para los bloques Subsystem Reference
aísle los bloques Subsystem Reference para las pruebas unitarias
Evaluaciones temporales para la verificación de requisitos
exprese los requisitos textuales como evaluaciones ejecutables con una semántica precisa
Bloques Observer
capture señales sin perturbar el modelo de diseño
Consulte las notas de la versión para saber los detalles sobre estas características y las funciones correspondientes.
