KIT | KIT-Bibliothek | Impressum

Model Checking and Model-Based Testing : Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations

Faragó, David

Abstract: This thesis focuses on the lightweight formal method of model-based testing for checking safety properties, and derives a new and more feasible approach. For liveness properties, dynamic testing is impossible, so feasibility is increased by specializing on an important class of properties, livelock freedom, and deriving a more feasible model checking algorithm for it. All mentioned improvements are substantiated by experiments.

Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Jahr 2016
Sprache Englisch
Identifikator DOI(KIT): 10.5445/IR/1000059473
URN: urn:nbn:de:swb:90-594737
KITopen ID: 1000059473
Verlag Karlsruhe
Umfang XIII, 503 S.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdaten 29.01.2016
Referent/Betreuer Prof. P. H. Schmitt
Bemerkung zur Veröffentlichung Dieses Werk ist lizenziert unter einer Creative Commons Namensnennung 4.0 International Lizenz.
Schlagworte model checking, model-based testing, laziness, parallelization, heuristics
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page