Date of Award

3-1-2015

Document Type

Dissertation

Degree Name

Ph.D.

Department

Computer Science and Engineering

First Advisor

Anneliese Andrews, Ph.D.

Second Advisor

Martin Quigley, Ph.D.

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.

Provenance

Received from ProQuest

Rights holder

Salwa Elakeili

File size

327 p.

File format

application/pdf

Language

en

Discipline

Computer science

Share

COinS