High quality software starts with a high quality specification. Testing verifies the design. A sequence-based specification ensures a good design; it also aids the testing effort. Simulink control model testing is seen through the eyes of the user with a framework that automatically generates Markov chain test models from specifications, builds test cases with an oracle, and collects and analyzes statistical results. This is all done within the Matlab/Simulink environment. An embedded control system is used as a case study, demonstrating the framework's performance and how statistics can be analyzed to make decisions and isolate errors with propagating characteristics.
Automated functional testing of simulink control models
Automatischer Funktionstest von Simulink Regelungsmodellen
2008
10 Seiten, 7 Bilder, 13 Quellen
Conference paper
English
Anwendungsbeispiele , Automobilindustrie , eingebettete Elektronik , Embedded-Software-Engineering , Entscheidungshilfe , Fehlererkennung , Framework (Programmierung) , Funktionstest , IEC-Norm , Markov-Kette , Modellbildung , Pflichtenheft , Programmentwicklung , Programmierumgebung , Regelungsmodell , Simulationsmodellbildung , Simulationsprogramm , Software-Design , Software-Engineering , Software-Qualität , Software-Testautomatisierung , statistisches Verfahren
Adding Natural Relationships to Simulink Models to Improve Automated Model-Based Testing
British Library Conference Proceedings | 2004
|Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier™
British Library Conference Proceedings | 2016
|Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier™
SAE Technical Papers | 2016
|Automatic validation of Simulink/Stateflow models - formal verification of functional requirements
Automotive engineering | 2005
|