KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
DOI: 10.5445/IR/1000059473

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

Faragó, David

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 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üfungsdatum 29.01.2016
Referent/Betreuer Prof. P. H. Schmitt
Externe Relationen Siehe auch
Siehe auch
Schlagworte model checking, model-based testing, laziness, parallelization, heuristics
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page