摘要
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。
Software test adequacy criteria are rules to determine whether a software system has been adequately tested,the key question of test adequacy criteria is how they relate to fault detecting ability.This paper gives the formalization description of the test adequacy criteria at first,then discusses the properties of the software test adequacy,identifies two idealized software testing scenarios,and presents the methods of the test adequacy measurements at last.
出处
《计算机工程与应用》
CSCD
北大核心
2004年第3期60-62,共3页
Computer Engineering and Applications
基金
黑龙江省教育厅科技项目(编号:10513011)
哈尔滨师范大学杰出青年基金项目资助
