Adequacy assessment of tests for fault tolerance
As computer software is extended to areas requiring extreme dependability, there is a stronger need to validate its properties. This thesis proposes a method of validation that uses an interface-based injection scheme with failure modes and a 2-dimensional metric to assess the adequacy of the test sets and the system dependability. To assess a system using the 2-dimensional metric, a 2-phase testing scheme (2PTS) is formalized. The tester first strives for an adequate test set, then uses the test set to assess the system's dependability. A tool named TAMER (a Testing, Analysis, and Measurement Environment for system Robustness) is developed to realize the proposed methodology. ^
Major Professors: Richard A. DeMillo, Purdue University, Aditya P. Mathur, Purdue University.