Date of Award

1-1-2014

Document Type

Dissertation

Degree Name

Ph.D.

Department

Computer Science

First Advisor

Gareth R. Eaton

Second Advisor

Anneliese A. Andrews

Abstract

This dissertation proposes an approach for testing of safety-critical systems. It is based on a behavioral and a fault model. The two models are analyzed for compatibility and necessary changes are identified to make them compatible. Then transformation rules are used to transform the fault model into the same model type as the behavioral model. Integration rules define how to combine them. This approach results in an integrated model which then can be used to generate tests using a variety of testing criteria. The dissertation illustrates this general framework using a CEFSM for the behavioral model and a Fault Tree for the fault model. We apply the technique to a variety of applications such as a Gas burner, an Aerospace Launch System, and a Railroad Crossing Control System. We also investigate the scalability of the approach and compare its efficiency with integrating a state chart and a fault tree. Construction and Analysis of Distributed Processes (CADP) has been used as a supporting tool for this approach to generate test cases from the integrated model and to analyze the integrated model for some properties such as deadlock and livelock.

Provenance

Recieved from ProQuest

Rights holder

Ahmed Gario

File size

241 p.

File format

application/pdf

Language

en

Discipline

Computer science

Share

COinS