Title :
Formal specification of testability metrics in IEEE P1522
Author :
Sheppard, John W. ; Kaufman, Mark
Abstract :
The objective of the IEEE P1522 Testability and Diagnosability Metrics standard is to provide notionally correct and mathematically precise definitions of testability measures that may be used to either measure the testability characteristics of a system, or predict the testability of a system. Notionally correct means that the measures are not in conflict with intuitive and historical representations. Predictive testability analysis may be used in an iterative fashion to improve the factory, field-testing, and maintainability of complex systems. The end purpose is to provide an unambiguous source for definitions of common and uncommon testability and diagnosability terms such that each individual encountering it can know precisely what that term means
Keywords :
IEEE standards; automatic test equipment; automatic test software; design for testability; diagnostic expert systems; electronic data interchange; formal specification; military standards; peripheral interfaces; software standards; AI-ESTATE; ATE; BIT; IEEE 1232; IEEE P1522; Testability and Diagnosability Metrics standard; formal specification; information exchange standards; notionally correct definitions; precise definitions; predictive testability analysis; standard information. models; system complexity; testability measures; testability. metrics; Acoustic testing; Control systems; Corona; Costs; Electronic equipment testing; Formal specifications; Measurement standards; Production facilities; Standards development; System testing;
Conference_Titel :
AUTOTESTCON Proceedings, 2001. IEEE Systems Readiness Technology Conference
Conference_Location :
Valley Forge, PA
Print_ISBN :
0-7803-7094-5
DOI :
10.1109/AUTEST.2001.948921
