软件测试的充分性准则及其评价指标_刘继华.pdfVIP

( ) 山西师范大学学报 自然科学版 26 4 Journal of Shanxi Normal University Vol． 26 No． 4 第 卷第 期 2012 12 Natural Science Edition Dec． 2012 年 月 文章编号:1009-4490 (20 12)04 -0021-05 软件测试的充分性准则及其评价指标 刘继华 ( ， 033000) 吕梁学院计算机科学与技术系 山西吕梁 : ， ． ， 摘 要 充分性准则是软件测试的中心问题 对软件测试的揭错能力有很大的影响 针对这个问题 给 ， ， 出了充分性准则的两种形式定义 讨论了充分性准则需满足的条件和应具备的基本性质 建立了对充分 ． ， ， 性准则进行有效性评估的度量指标 最后 总结出几类常用的软件测试充分性准则 指出这些充分性准 则所适应的不同测试类型． : ; ; ; ; 关键词 软件测试 充分性准则 有效性度量 软件质量 测试用例 中图分类号:TP311 文献标识码:A 0 引言 ， ， 软件测试是软件质量保证的重要手段 在整个软件开发过程中占有举足轻重的地位 而充分性准则的 ． Goodenough Gerhart 选取是开展软件测试工作的首要问题 软件测试充分性准则这一概念最早是由 和 提 ［1］ ， ， ， ． 出的 是指一个软件系统能否被充分测试的规则 同时 它也是测试用例生成过程的停机规则 充分性 ， ． 准则构成了软件测试的理论基础 对软件测试的揭错能力具有很大的影响 不充分的测试会使软件带着一 ， ; ， 些未揭露的隐藏故障投入运行 为软件的使用带来风险 而过度的测试又会浪费许多宝贵的资源 使系统 ． ， 投入使用的时间延长 本文研究了测试充分性准则的基本概念 用形式化方法对充分性准则进行了精确定 ， ， ， 义 指出只有当准则满足可靠性和有效性两个条件时 才能作为软件测试的充分性准则 探讨了软件测试 ， ; 充分性准则应具有的若干性质 可以据此开展对软件测试充分性准则的评估 为了比较各类充分性准则的 ， 、