The evaluation of program-based software test data adequacy criteria
The evaluation of program-based software test data adequacy criteria
复制标题
基于程序的软件测试数据充分性标准的评估
DOI：
10.1145/62959.62963
复制
发表时间：
1988
期刊：
影响因子：
--
通讯作者：
E. Weyuker
中科院分区：
文献类型：
--
作者：
E. Weyuker
在早期的工作中，为了形式化任何良好的基于程序的充分性标准都应该满足的属性，引入了软件测试数据充分性的一组初步公理。在这里，我们扩展了这个工作，用额外的公理来扩充这个集合，这些公理实质上加强了这个集合。在这样做时，我们排除了几种不适当的充分性概念。
In earlier work, a preliminary set of axioms for software test data adequacy was introduced in order to formalize properties which should be satisfied by any good program-based adequacy criterion. Here, we extend this work by augmenting the set with additional axioms which substantially strengthen the set. In doing so, we rule out several types of unsuitable notions of adequacy.