文献类型：期刊文章

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

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

出　　处：《计算机工程与应用》

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

年　　份：2004

卷　　号：40

期　　号：3

起止页码：60-62

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

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

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

分 类 号：TP311.5]