Pruebas para análisis de cobertura de código
El análisis de cobertura de código de Simulink® Design Verifier™ implica evaluar con qué grado de exhaustividad se prueba el código generado a partir de un modelo de Simulink. Este análisis es crucial para garantizar que el código se comporta como se esperaba y cumple los estándares de calidad. El análisis de cobertura de código ayuda a identificar partes de código que no se han ejecutado durante la prueba, que pueden apuntar a debilidades potenciales o escenarios no probados.
Mediante el análisis de cobertura de código, el personal de desarrollo puede:
Identificar partes no probadas del código.
Mejorar los casos de prueba para lograr una mayor cobertura.
Garantizar el cumplimiento de los estándares de la industria, como DC-178C, que a menudo requieren niveles específicos de cobertura de código.
Simulink Design Verifier integra estos análisis en el flujo de trabajo de diseño basado en modelos, facilitando las pruebas y la validación tanto del modelo como del código generado. Esta integración ayuda a mantener la coherencia entre el comportamiento del modelo y el código implementado, garantizando que la transición del modelo al código no introduce errores.
Temas
- Code Coverage Test Generation
This example shows how to use Simulink® Design Verifier™ to generate test cases to obtain complete code coverage.
- Generate Test Cases for Embedded Coder Generated Code
Outlines a process for generating test cases for generated code.
- Verify a Component for Code Generation
This example uses the
slvnvdemo_powerwindowmodel to show how to verify a component in the context of the model that contains that component. - Support Limitations and Considerations for S-Functions and C/C++ Code
Describes limitations and considerations of S-functions and Generated Code in Simulink Design Verifier.
