Tester l’équivalence des modèles
Les tests comparatifs ou tests d’équivalence permettent de comparer les résultats de simulations normales de deux versions ou de comparer les résultats de simulations normales avec les résultats du code généré par les simulations en mode Software-in-the-Loop (SIL), Processor-in-the-Loop (PIL) ou Hardware-in-the-Loop (HIL). Vous pouvez générer des tests comparatifs dans Simulink Test™ qui utilisent le MCDC amélioré.
Rubriques
Tests comparatifs (B2B) d’équivalence pour le code généré
- 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.
Sélection d՚exemples
Generate Parameters Values
Tune parameters using parameter configuration file for Simulink® Design Verifier™ analysis. The model contains the parameter control_mode that enables the active controller and selects its output to be the model output. Simulink Design Verifier treats this parameter as an input that is constrained to be either 1 or 2 and generates the appropriate value for each test case.
Debounce Temporal Properties
Model temporal system requirements for property proving and test case generation using Simulink® Design Verifier™ Temporal Operator blocks.
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.
