Verifica dell'equivalenza dei modelli
I test back-to-back, o test di equivalenza, confrontano i risultati delle simulazioni normali tra due release o con i risultati del codice generato dalle simulazioni Software-In-the-loop (SIL), Processor-In-the-loop (PIL) o Hardware-in-the-loop (HIL). È possibile generare test back-to-back in Simulink Test™ che utilizzano MCDC avanzato.
Argomenti
Test di equivalenza back-to-back (B2B) per il codice generato
- 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.
Esempi in primo piano
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.
