Simulink Coverage

Detalles de cobertura de un bloque de Simulink en el área de trabajo de Simulink.

Cobertura de modelos

Mida cuánto de un diseño está cubierto por pruebas de simulación, para evaluar la efectividad e integridad de las pruebas. Analice datos de cobertura recopilados durante pruebas basadas en requisitos, para determinar si existen deficiencias en las pruebas, funcionalidad no deseada o requisitos ausentes.

Cobertura de código personalizado utilizado en un modelo de Simulink.

Cobertura de código

Mida la cobertura de pruebas de software-in-the-loop (SIL) y processor-in-the-loop (PIL) de código generado con Embedded Coder o de código llamado dentro de modelos de Simulink.

Resultados de cobertura agregados y casilla de verificación para ajustar los resultados a los requisitos.

Gestión de resultados de cobertura agregados

Agregue los datos de cobertura de varias simulaciones. Visualice la cobertura de pruebas de sistema obtenida mediante las pruebas unitarias. Limite los resultados a requisitos vinculados para evitar una cobertura no deseada.

Opciones de métricas de cobertura estructurales y no estructurales.

Métricas de cobertura

Mida la cobertura de modelos y código en base a diversas métricas, tales como decisión, condición, MCDC, límite relacional e intervalo de señales.

Filtrado de deficiencia de cobertura para centrarse en lo que se desea probar.

Solución de deficiencias de cobertura

Filtre construcciones de modelos que impidan una cobertura completa de las pruebas, tales como patrones de modelado defensivos, para centrar las pruebas en otras partes del diseño.

Detalles de cobertura de un informe detallado que incluye trazabilidad hasta las pruebas.

Generación de informes de cobertura

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

Preguntas frecuentes sobre Simulink Coverage

Simulink Coverage realiza análisis de cobertura de modelos y código que miden la exhaustividad de las pruebas en los modelos y en el código generado utilizando métricas estándar de la industria.

Admite métricas de cobertura de decisión, cobertura de condición, cobertura de condición/decisión modificada (MC/DC), cobertura de límites relacionales, cobertura del rango de señales y cobertura de tablas de consulta.

Puede usar los datos de cobertura faltante para identificar lagunas en las pruebas, requisitos ausentes o funcionalidades no deseadas en sus modelos y en el código generado.

Sí. Mide la cobertura para pruebas software-in-the-loop (SIL) y processor-in-the-loop (PIL) del código generado con Embedded Coder, así como de S-Functions en C/C++ y funciones de MATLAB llamadas desde modelos de Simulink.

Sí. Puede acumular datos de cobertura de múltiples simulaciones y ver la cobertura alcanzada tanto mediante pruebas unitarias como pruebas de sistema.

Genera informes interactivos y resalta los resultados de cobertura directamente en bloques y subsistemas para visualizar las lagunas en las pruebas.

Sí. Puede aplicar filtros para excluir bloques de la cobertura y justificar la cobertura faltante en los informes, por ejemplo, patrones de modelado defensivo.