浅议软件可靠性测试领域所面临的难点问题.docVIP

浅议软件可靠性测试领域所面临的难点问题 软件可靠性测试充分性准则是用于确定软件可靠性测试进行得是否充分、软件可靠性测试可否停止的准则，这里是一篇软件可靠性测试领域所面临的难点问题，接下来让我们一起看看吧! 摘要:在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系，提出了其在软件可靠性测试中的一种实现方法，是借鉴已有的软件测试充分性方面的理论，对软件可靠性测试充分性问题进行的初步探索。 关键词:软件;可靠性;运行;软件可靠性测试;软件可靠性测试充分性准则;运行剖面 众所周知，穷尽测试是不可能的。即使对于非常简单的软件来说，所有可能的测试数据集合的元素个数也是难以承受的。测试不可能无休止地进行下去，那么需要对软件进行多少测试才算足够，何时停止测试，使得软件在已经执行的测试数据上的表现能够代表软件的整体表现，对于发布的软件质量具有足够的信心。这些都是软件测试充分性需要研究和解决的问题。当“测试充分性”达到一定要求时，测试可以停止，从而可以有效地控制软件测试的质量和开销。 软件可靠性测试技术作为保障软件质量和可靠性的重要手段，越来越受到人们的重视。同软件测试一样，软件可靠性测试也面临充分性问题，该问题是软件可靠性测试的关键技术和难点问题之一。 针对该问题，借鉴已有的软件测试充分性理论，对软件可靠性测试充分性进行初步的探索。 1　软件测试充分性准则的定义 对于什么是“软件测试充分性”，尚未见到任何文献给出其明确定义。从字面上理解，其定义的落脚点应为软件测试应该具备或者表现出什么样的性质，因此有人曾提出“软件测试充分性”表示当被测软件成功地通过测试集合中的所有测试数据时，该测试集合能够证明程序中不存在错误的能力[1]。显而易见，目前已有的许多充分性度量都不能满足这一要求。软件测试充分性最初是由Goodenough和Gerhert在验证程序正确性时提出的[2]，因此人们也试图从软件正确性或可靠性的角度定义测试充分性，但很遗憾的是，人们发现:测试充分性与软件正确性或可靠性之间尚无确切的、必然的联系[1]，因此从这两个角度定义充分性的作法目前尚处于难以自圆其说的状况。基于不同目的、不同要求和不同信息的测试对应不同的测试充分性，因此建议目前不要急于给出测试充分性的统一定义。 显然，人们目前说某一测试集合是充分的，是相对于某一准则来说是充分的，语句覆盖达到100%的测试数据集合相对于语句覆盖充分性准则来说是充分的，但其对于分支覆盖充分性准则来说则不一定是充分的。而且，可以肯定的一点是，如果根据一个非常基本的准则，如语句覆盖准则或分支覆盖准则，测试是不充分的，那么软件的质量是无法保证的。 人们在不断的测试实践中，分析不同测试方法的特征，给出了不同的测试充分性准则，这些准则规定了不同的测试充分性，软件测试充分性准则的定义分为谓词形式和定量度量函数形式两种[3]。 谓词形式的软件测试充分性准则C是一个定义在Ttimes;Ptimes;S上的谓词，即C: Ttimes;Ptimes;Srarr;{true， false}。 C (t， p， s)=true表示用测试数据集t针对规则s来测试程序p是充分的;否则，该测试是不充分的。这里将s定义为规则，区别于文献[4]中的功能规约。这是为了使该定义具有普适性而作的扩展。从定义可以看出，规定不同的s，就可以得到不同的充分性准则。考虑到度量充分性时所依据的信息和测试目标的不同，将s分为两个层次，称第1层次为规范层，包括功能规范、使用规范和程序规范，其具体内涵参见表1，这些规范是度量充分性时所依据的信息;称第2层次为目的层，包括对揭错能力的度量、对覆盖的度量、对输入域的度量和对可靠性指标的满足，这些是度量充分性时的测试目标。规范层和目的层的不同组合构成不同的s。这样根据不同的s就可以定义不同的软件测试充分性准则。 度量函数形式的充分性准则是一个从测试数据集合、被测程序及其规则到实数区间[0，1]的函数。 C (t， p， s)=r表示程序p相对于规则s在测试数据集合t上的测试充分度为r。 r越大，充分度越高。注意这里同样将文献[4]中的功能规约改为规则。 两种定义之间是有联系的。谓词形式的充分性准则是度量形式的充分性准则的特例，将谓词形式的充分性准则的值域看作是集合{0，1}。 度量形式的充分性准则M以及一个充分度要求r，可以定义一个谓词形式的充分性准则Cr，使得一个测试数据集合是Cr充分的，当且仅当其M充分度大于等于r[4]。 2　软件测试充分性准则的分类