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.


Volltext §
DOI: 10.5445/IR/1000059473
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Publikationsjahr 2016
Sprache Englisch
Identifikator urn:nbn:de:swb:90-594737
KITopen-ID: 1000059473
Verlag Karlsruher Institut für Technologie (KIT)
Umfang XIII, 503 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdatum 29.01.2016
Externe Relationen Siehe auch
Siehe auch
Schlagwörter model checking, model-based testing, laziness, parallelization, heuristics
Referent/Betreuer Schmitt, P. H.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page