Testability, fault size and the domain-to-range ratio: An eternal triangle
Testability, fault size and the domain-to-range ratio: An eternal triangle
复制标题
可测试性、故障大小和域与范围比：永恒的三角形
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
Z. Al
中科院分区：
文献类型：
--
作者：
M. Woodward;Z. Al
人们已经提出了许多不同的概念，宽泛地说，它们都围绕着软件可测试性的概念。事实上，可测试性的概念本身已经被软件社区以多种方式解释。一种解释涉及程序组件在其输入和输出变量方面所需的修改程度，以便组件的整个行为是可观察和可控的。另一种解释是，如果程序中存在错误，则测试过程可以轻松地揭示错误，并且已提出传播、感染和执行（PIE）模型作为估计此问题的方法。有人建议，可测试性的这种特殊解释可能与度量域与范围比（DRR）相关，即所有输入（域）集合的基数与所有输出（范围）集合的基数之比。本文报告了正在进行的工作，探索所提到的概念之间的一些联系。特别是，在域与范围比与可测试性的可观察性和可控性方面之间建立了简单的数学联系。此外，重新考虑 PIE 模型并观察与断层尺寸的关系。这表明通过传统突变分析的改编来估计 PIE 可测试性可能会更直接。后一个建议举例说明了此处描述的工作的主要目标，即寻求对一般可测试性的更好理解，并最终找到确定可测试性的更简单的方法。
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been interpreted in a variety of ways by the software community. One interpretation is concerned with the extent of the modifications a program component requires, in terms of its input and output variables, so that the entire behaviour of the component is observable and controllable. Another interpretation is the ease with which faults, if present in a program, can be revealed by the testing process and the propagation, infection and execution (PIE) model has been proposed as a method of estimating this. It has been suggested that this particular interpretation of testability might be linked with the metric domain-to-range ratio (DRR), i.e. the ratio of the cardinality of the set of all inputs (the domain) to the cardinality of the set of all outputs (the range). This paper reports work in progress exploring some of the connections between the concepts mentioned. In particular, a simple mathematical link is established between domain-to-range ratio and the observability and controllability aspects of testability. In addition, the PIE model is re-considered and a relationship with fault size is observed. This leads to the suggestion that it might be more straightforward to estimate PIE testability by an adaptation of traditional mutation analysis. The latter suggestion exemplifies the main goals of the work described here, namely to seek greater understanding of testability in general and, ultimately, to find easier ways of determining it.