Simulink Coverage

Medición de cobertura de pruebas en modelos y código generado

 

Simulink Coverage™ realiza análisis de cobertura que miden la exhaustividad de las pruebas realizadas en modelos y 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, puede acumular los datos de cobertura de diversas pruebas ejecutadas, así como observar la cobertura lograda mediante las pruebas de unidad y sistema. Se puede realizar la trazabilidad de los resultados de cobertura hasta los requisitos y las pruebas. Puede aplicar filtros para excluir bloques de la cobertura y justificar la cobertura ausente en los informes.

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

Comience:

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

Evalúe la exhaustividad de sus pruebas midiendo 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 para evaluar la efectividad y la exhaustividad de las pruebas. Analice los datos de cobertura recopilados durante las pruebas basadas en requisitos para determinar si hay deficiencias en las pruebas, requisitos ausentes o funcionalidad no deseada.

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 invocado por 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, tales como decisión, condición, MC/DC, límite relacional e intervalo de señal.

Seleccione entre diversas métricas de cobertura, incluida MC/DC.

Exploración de resultados y generación de informes

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

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

Agregue los datos de cobertura de varias simulaciones. Visualice la cobertura de las pruebas de sistema obtenida mediante las pruebas de unidades.

Analice los resultados de cobertura para las pruebas de unidad y sistema.

Generación de informes de cobertura

Genere informes detallados que incluyan los resultados de cobertura acumulados sobre las métricas seleccionadas. Vea los detalles de trazabilidad de los requisitos para los elementos y las pruebas de los modelos.

Vea los datos de trazabilidad de los requisitos en un informe de cobertura. 

Solucione deficiencias de cobertura

Los modelos pueden contener estructuras que impiden una cobertura completa de las pruebas. Si filtra estos elementos y los excluye del registro y los informes de cobertura, podrá concentrarse en aquellos aspectos de falta de cobertura que pueden y deben comprobarse.

Añada reglas de filtro de cobertura en el editor de filtros.

Funcionalidades más recientes

Cobertura para pruebas basadas en requisitos

Visualice los resultados de la cobertura del modelo con respecto a los requisitos enlazados en el administrador de pruebas de Simulink Test

Gestione varios filtros de cobertura

Aplique varios filtros de cobertura a los resultados

Trazabilidad desde requisitos hasta casos de prueba

Vea detalles de enlaces y cobertura de Simulink Requirements para cada bloque de Simulink cuando se generan informes de cobertura desde Simulink Test Manager

Agregado de cobertura de pruebas desde la unidad al sistema

Visualice la cobertura de las pruebas de sistema lograda mediante las pruebas de unidad en la nueva sección de pruebas agregadas del informe de cobertura

Trazabilidad de los resultados de cobertura hasta los casos de prueba

Realice la trazabilidad de los resultados de cobertura hasta las simulaciones relevantes en Simulink Test Manager y Coverage Results Explorer

App Coverage en la barra de herramientas de Simulink

Acceda a funcionalidades de cobertura habituales desde la nueva barra de herramientas de Simulink, tales como resaltado de modelos, detalles de cobertura y generación de informes

Consulte las notas de la versión para obtener detalles sobre estas funcionalidades 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 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.