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

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 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
URLs Printausgabe auf Amazon.com
Printausgabe auf Amazon.de
Schlagworte model checking, model-based testing, laziness, parallelization, heuristics
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page