软件可靠性测试充分性问题理论研究.pdfVIP

2003 年 4 月 北 京 航 空 航 天 大 学 学 报 April 　2003 　第29 卷 第4 期 Journal of Beijing University of Aeronautics and Astronautics Vol. 29 　No 4 软件可靠性测试充分性问题的理论研究 李秋英　　陆民燕　　阮　镰 (北京航空航天大学 工程系统工程系) 　　摘 　　　要 : 在分析了软件可靠性测试充分性准则研究的重要意义的基础上 , 阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软 件测试充分性准则体系的关系 , 提出了其在软件可靠性测试中的一种实现方法 , 是 借鉴已有的软件测试充分性方面的理论 , 对软件可靠性测试充分性问题进行的初步 探索. 关 　键 　词 : 软件 ; 可靠性 ; 运行 ; 软件可靠性测试 ; 软件可靠性测试充分性准 则 ; 运行剖面 中图分类号: TP 311 文献标识码 : A 　　　　文 章 编 号 : (2003) 　　众所周知 , 穷尽测试是不可能的. 即使对于 分性度量都不能满足这一要求. 软件测试充分性 非常简单的软件来说 , 所有可能的测试数据集合 最初是由 Goodenough 和 Gerhert 在验证程序正确 的元素个数也是难以承受的. 测试不可能无休止 性时提出的[2 ] , 因此人们也试图从软件正确性或 地进行下去 , 那么需要对软件进行多少测试才算 可靠性的角度定义测试充分性 , 但很遗憾的是 , 足够 , 何时停止测试 , 使得软件在已经执行的测 人们发现 : 测试充分性与软件正确性或可靠性之 试数据上的表现能够代表软件的整体表现 , 对于 间尚无确切的、必然的联系[1 ] , 因此从这两个角 发布的软件质量具有足够的信心. 这些都是软件 度定义充分性的作法目前尚处于难以自圆其说的 测试充分性需要研究和解决的问题. 当“测试充 状况. 基于不同目的、不同要求和不同信息的测 分性”达到一定要求时 , 测试可以停止 , 从而可 试对应不同的测试充分性 , 因此建议目前不要急 以有效地控制软件测试的质量和开销. 于给出测试充分性的统一定义. 软件可靠性测试技术作为保障软件质量和可 显然 , 人们目前说某一测试集合是充分的 , 靠性的重要手段 , 越来越受到人们的重视. 同软 是相对于某一准则来说是充分的 , 语句覆盖达到 件测试一样 , 软件可靠性测试也面临充分性问 100 %的测试数据集合相对于语句覆盖充分性准 题 , 该问题是软件可靠性测试的关键技术和难点 则来说是充分的 , 但其对于分支覆盖充分性准则 问题之一. 来说则不一定是充分的. 而且 , 可以肯定的一点 针对该问题 , 借鉴已有的软件测试充分性理 是 , 如果根据一个非常基本的准则 , 如语句覆盖 论 , 对软件可靠性测试充分性进行初步的探索. 准则或分支覆盖准则 , 测试是不充分的 , 那么软 件的质量是无法保证的. 1 　软件测试充分性准则的定义