Diese Seite ist für die vorige Version. Die entsprechende englische Seite wurde in der aktuellen Version entfernt.
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 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.
