Date of Award
3-1-2015
Document Type
Dissertation
Degree Name
Ph.D.
Organizational Unit
Daniel Felix Ritchie School of Engineering and Computer Science
First Advisor
Anneliese Andrews, Ph.D.
Second Advisor
Martin Quigley, Ph.D.
Third Advisor
Matthew Rutherford
Fourth Advisor
Rinku Dewri
Keywords
Safety-critical systems, Model based testing, Failure mitigation
Abstract
This dissertation introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using an explicit mitigation model for which we generate mitigation paths which are then woven at selected failure points into the original test suite to create failure-mitigation tests (safety mitigation test).
Publication Statement
Copyright is held by the author. User is responsible for all copyright compliance.
Rights Holder
Salwa Elakeili
Provenance
Received from ProQuest
File Format
application/pdf
Language
en
File Size
327 p.
Recommended Citation
Elakeili, Salwa, "Fail-Safe Test Generation of Safety Critical Systems" (2015). Electronic Theses and Dissertations. 180.
https://digitalcommons.du.edu/etd/180
Copyright date
2015
Discipline
Computer science