Testen der Modelläquivalenz
Back-to-Back-Tests oder Äquivalenztests vergleichen die Ergebnisse normaler Simulationen über zwei Releases hinweg oder mit den generierten Codeergebnissen aus Software-in-the-Loop- (SIL), Processor-in-the-Loop- (PIL) oder Hardware-in-the-Loop-Simulationen (HIL). Sie können Back-to-Back-Tests in Simulink Test™ generieren, die Enhanced MCDC verwenden.
Themen
Back-to-Back (B2B)-Äquivalenztests für generierten Code
- 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.
Enthaltene Beispiele
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.
