Adequacy assessment of tests for fault tolerance
Abstract
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.
Degree
Ph.D.
Advisors
Mathur, Purdue University.
Subject Area
Computer science
Off-Campus Purdue Users:
To access this dissertation, please log in to our
proxy server.