Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
Probar la equivalencia de modelos
Las pruebas consecutivas, o pruebas de equivalencia, comparan los resultados de simulaciones normales en dos versiones o con los resultados del código generado de las simulaciones de software-in-the-loop (SIL), processor-in-the-loop (PIL) o hardware-in-the-loop (HIL). Puede generar pruebas consecutivas en Simulink Test™ que utilizan MCDC mejorada.
Temas
Pruebas de equivalencia consecutivas (B2B) para código generado
- Analyze Code and Perform Software-in-the-Loop Testing
Detect code errors, generate code metrics, test code and model equivalence, test code against requirements. - Create Back-to-Back Tests Using Enhanced MCDC
Create and run equivalence tests using enhanced MCDC.
Ejemplos destacados
Generate Parameters Values
Tune parameters using parameter configuration file for analysis.
Debounce Temporal Properties
Model temporal system requirements for property proving and test case generation.
Power Window Controller Temporal Properties
Model temporal system requirements in a power window controller model for property proving and test case generation using Simulink® Design Verifier™ Temporal Operator blocks.
