|
A. Tai, M. Hecht, H. Hecht, "A New Method for the Verification of Fault Tolerant
Software", Proc. EASCON 87, Washington, DC, October, 1987
This paper presents a new approach for verification of fault tolerant software in
aerospace applications. The approach, called the "Enhanced Condition Table", integrates
the merits of functional and structural testing in a single framework. The goal
is to generate a reasonably sized set of test cases that will reveal operationally
significant defects in the software. The method starts with the generation of a
conventional condition table based on analysis of the specification. It then proceeds
through a definition of possible failure modes by means of fault trees, and finally,
the definition of sequences of values for testing of loops.
Click to Download
|
|
