软件测试充分性研究  

Research of Software Test Adequacy

作　　者：伦立军[1] 赵辰光[2] 丁雪梅[1] 李英梅[1] 

机构地区：[1]哈尔滨师范大学计算机科学系,哈尔滨150080 [2]哈尔滨师范大学科技处,哈尔滨150080

出　　处：《计算机工程与应用》2004年第3期60-62,共3页Computer Engineering and Applications

基　　金：黑龙江省教育厅科技项目(编号:10513011);哈尔滨师范大学杰出青年基金项目资助

摘　　要：软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。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.

关 键 词：软件测试 测试充分性准则 测试数据 数据生成 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]