Formal specification of testability metrics in IEEE P1522

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.