KIT | KIT-Bibliothek | Impressum | Datenschutz

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.

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000059473
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Jahr 2016
Sprache Englisch
Identifikator urn:nbn:de:swb:90-594737
KITopen-ID: 1000059473
Verlag KIT, 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