Simulink Coverage

 

Simulink Coverage

Medición de la cobertura de las pruebas en los modelos y el código generado

 

Simulink Coverage™ lleva a cabo análisis de cobertura que miden la exhaustividad de las pruebas realizadas en los modelos y el código generado. Permite aplicar métricas estándar de la industria tales como decisión, condición, cobertura de condición/decisión modificada (MC/DC) y cobertura de límites relacionales a fin de evaluar la efectividad de las pruebas de simulación en modelos, software-in-the-loop (SIL) y processor-in-the-loop (PIL). Es posible utilizar los datos de falta de cobertura para localizar deficiencias en las pruebas, requisitos ausentes o funcionalidad no deseada.

Simulink Coverage produce informes interactivos que muestran hasta qué punto se hace uso del modelo, las S-functions de C /C++, las funciones de MATLAB® y el código generado por Embedded Coder®. Se pueden resaltar los resultados de cobertura en bloques y subsistemas a fin de descubrir deficiencias en las pruebas. Para evaluar la exhaustividad de las pruebas, cabe la posibilidad de acumular los datos de cobertura de diversas ejecuciones de las pruebas. Puede aplicar filtros para excluir bloques de la cobertura y justificar la cobertura ausente en los informes.

La compatibilidad con estándares del sector está disponible a través del DO Qualification Kit y el IEC Certification Kit.

 

Medición de la cobertura de modelos y código

Evalúe la exhaustividad de sus pruebas mediante la medición de los elementos del modelo y el código C/C++ empleados durante la simulación.

Cobertura de modelos

Mida hasta qué punto las pruebas de simulación cubren su diseño a fin de evaluar la efectividad y la exhaustividad de las pruebas. Una cobertura incompleta indica deficiencias en las pruebas, requisitos ausentes o funcionalidad no deseada.

Revisión de los resultados de cobertura del modelo en el Simulink Editor.

Cobertura de código

Mida la cobertura de las pruebas software-in-the-loop (SIL) y processor-in-the-loop (PIL) en el código generado con Embedded Coder o cualquier código al que llamen los modelos de Simulink mediante S-functions, código personalizado en diagramas de Stateflow® y bloques C Caller.

Visualización de la cobertura del código llamado desde un bloque C Caller.

Métricas de cobertura

Mida la cobertura del modelo y el código con diversas métricas, incluidas decisión, condición, MC/DC, límite relacional e intervalo de señal.

Selección entre diversas métricas de cobertura, incluida MC/DC.

Exploración de resultados y generación de informes

Acumule los resultados de cobertura de varias ejecuciones de simulación y genere informes al respecto. Solucione las deficiencias de cobertura.

Gestión y visualización de los resultados de cobertura acumulados

Utilice el Results Explorer para gestionar y ver los datos de cobertura acumulados de todas las pruebas y ejecuciones de simulación.

Selección de simulaciones para el análisis de cobertura acumulativo.

Generación de informes de cobertura

Genere informes detallados que incluyen los resultados de cobertura acumulados sobre las métricas seleccionadas.

Generación de un informe de cobertura exhaustivo.    

Solución de deficiencias de cobertura

Los modelos pueden contener estructuras que impiden una cobertura completa de las pruebas. La exclusión de estos elementos en el registro y los informes de cobertura permite centrarse en otros aspectos de falta de cobertura que se pueden y se deben comprobar.

Establecimiento del motivo para excluir elementos del modelo en el análisis de cobertura.

Funcionalidades más recientes

Soporte para cambios en la tabla de búsqueda

Acomode los cambios en los valores de punto de interrupción de la tabla de búsqueda para los datos de cobertura.

Visualización de la cobertura de modelos

Obtenga una perspectiva mejorada de los resultados de cobertura mediante el resaltado de modelos y cuadros emergentes dentro de Simulink Editor.

Soporte de las simulaciones en paralelo

Acelere el análisis de cobertura mediante el uso de parsim.

Soporte del código personalizado de Stateflow

Determine la cobertura en el caso de elementos de diagramas de Stateflow donde se emplea código C/C++.

Soporte del bloque C Caller

lleve a cabo análisis de cobertura de código para código C/C++ personalizado en modelos de Simulink.

Consulte las notas de la versión para obtener detalles sobre estas características y las funciones correspondientes.

Cómo utilizar Simulink para proyectos ISO 26262

Descubra cómo el diseño basado en modelos con Simulink permite diseñar y probar todo su sistema de automoción embebido bajo una amplia gama de condiciones de conducción y escenarios de fallos mucho antes de pasar al campo de pruebas.

Consiga una prueba gratuita

30 días de exploración a su alcance.

Descargar ahora

¿Listo para comprar?

Solicitar precio y explore los productos relacionados.

¿Eres estudiante?

Obtenga el software para estudiantes de MATLAB y Simulink.

Más información