Qualitative Notions of Testability
Bernd Baumgarten, H. Wiland · 1998
Testability, and design for testability, are widely discussed practical issues in software engineering, especially in protocol engineering. Existing definitions (or circumscriptions) of testability seem to be either quite vague, or, if more or less formal, then dedicated only to very special system models. Testability is usually decomposed into aspects like observability and controllability, and these are defined either as qualitative properties or as quantitative measures. We identify a set of qualitative testability properties that we define completely independently from any special system model, only in terms of user-relevant aspects like possible, desired, and undesired system observations or outcomes of experiments.