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.
Más informació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.
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.
