2015 | OriginalPaper | Buchkapitel
Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing
verfasst von : Felix Hübner, Jan Peleska
Erschienen in: Formal Modeling and Verification of Cyber-Physical Systems
Verlag: Springer Fachmedien Wiesbaden
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In safety-critical systems the verification process is one of the most important and most time-consuming tasks. Therefore automated methods are needed to guide the verification process. Typical methods for system verification are model checking and model-based testing. Both methodologies have a lot in common. It seems promising to investigate possible synergies of these two research areas. In this work, the possibilities for the integration of model-based testing with model checking will be investigated. Additionally, a novel model-based testing approach based on equivalence class partitioning has been implemented recently. In this paper a short overview of the implementation is given.