Qualitative Notions of Testability
نویسندگان
چکیده
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.
منابع مشابه
Testability with Unbounded Testing Strategies
Testability and design for testability are widely discussed practical issues in software engineering, especially in protocol engineering. A number of basic testability qualities were defined formally and independently from any special system model. In this paper we refine these notions on the one hand by a containment order on experiments and on the other hand by a formal distinction between bo...
متن کاملTestability of minimum balanced multiway cut densities
Testable weighted graph parameters and equivalent notions of testability – proved in [4] for simple graphs – are generalized for vertexand edge-weighted graphs with no dominant vertex-weights. We prove that certain balanced minimum multiway cut densities are testable. Using this fact, quadratic programming techniques are applied to approximate some of these quantities. The problem is related to...
متن کاملEvaluating Conceptual Modeling Languages
An important assumption for many KA researchers is structure preservation ; i.e. conceptual models can be converted in a straight forward manner into a design for an implementation. This assumption may not always hold. Seemingly trivial variants in a qualitative conceptual models can block pragmatically desirable properties such as KB-testability and KB-maintainability. KB-testability and KB-ma...
متن کاملImproving the Testability of Object-oriented Software during Testing and Debugging Processes
Testability is the probability whether tests will detect a fault, given that a fault in the program exists. How efficiently the faults will be uncovered depends upon the testability of the software. Various researchers have proposed qualitative and quantitative techniques to improve and measure the testability of software. In literature, a plethora of reliability growth models have been used to...
متن کاملExplicit Bounds for Nondeterministically Testable Hypergraph Parameters
In this notewe give a new effective proofmethod for the equivalence of the notions of testability and nondeterministic testability for uniform hypergraph parameters. We provide the first effective upper bound on the sample complexity of any nondeterministically testable r-uniform hypergraph parameter as a function of the sample complexity of its witness parameter for arbitrary r. The dependence...
متن کامل