专利名称：一种软件可信性质最小测试用例数的计算方法
一种软件可信性质最小测试用例数的计算方法技术领域：
本发明涉及于软件测试，具体地说是涉及一种软件可信性质最小测试用例数的计算方法。背景技木
软件已滲透到国民经济和国防建设各个领域，在信息社会中发挥着至关重要的作用·，人们也越来越依赖软件。然而软件质量不能令人满意，软件常常发生失效，并对人们的エ作和生活带来不利影响，甚至造成巨大损失。例如，亚利安娜5号火箭发射失败，Therac225放射性治疗仪事故等就是血的教训。这些影响和事实使人们对软件的正确性、可靠性、安全性等可信性质给予了十分的关注。在美国，DARPA, NSF、NASA、NSA、NIST、FAA, FDA和其他DoD机构都积极參与可信软件系统的研究和开发，并由NSTC先后形成一系列报告。可信软件是指软件系统的运行行为及其结果总是符合人们的预期，在受到干扰时仍能提供连续服务的软件。软件可信性质常包括可靠性(reliability)、可靠安全性(safety)、保密安全性(security)、生存性(survivability)、容错性(fault tolerance)、实时性(realtime)等。软件是否可信，需要通过严格测试，软件测试是通过执行软件来判断软件是否具备所期望的性质，是可信软件开发中ー个行之有效的、客观地评估软件可信性的方法。目前，国内外在软件可信性测试方面已开展了ー些研究。Sadeghi Ahmade-Reza等人首次针对可信平台模块(Trusted Platform Module, TPM)给出ー个详细的测试方案和测试结果，同时对测试结果进行了详细分析，以确定其测试的有效性；陈小峰提出ー个TPM的形式化模型，并利用该模型设计了一个完整的自动化测试方案，解决了可信性测试用例自动生成问题，保证了针对TPM测试具有一定的覆盖范围；李昊等人提出了ー种可信密码模块(TCM)符合性测试的形式化方法，采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建摸，有效地产生了测试用例，提高了 TCM符合性测试的错误检测率。从研究现状看，有效性和充分性是当前软件可信性测试研究的焦点，但很少有人关注软件可信性测试的成本问题。实际上，软件测试本身是ー个工程，需要考虑投入和产出。随着软件测试在整个软件开发周期中所占比例的増加，软件测试的代价也在迅速增长，目前许多软件开发机构已将40%以上的研制力量花费在软件测试上，特殊情况下，对于要求高可信软件来说，其测试费用往往大于50%，因为可信软件测试已不仅仅是功能和性能测试了，而是包括可信性质及其运行环境的全面测试。
发明内容
本发明所要解决的技术问题在于提供一种软件可信性质最小测试用例数的计算方法，针对当前研究不足，利用AHP法和经典统计假设理论研究软件可信性测试成本问题，提出对可信性质进行有针对地测试，最大可能地降低测试成本。本发明是通过以下技术方案解决上述技术问题的一种软件可信性质最小测试用例数的计算方法，首先，利用层次分析法构造出ー个层次结构模型，并据此建立判断矩阵；其次，确定该判断矩阵的值；最后应用经典统计假设理论确定工程实践中最小测试用例数。该发明可进一步具体为
软件可信性质的层次划分为目标层、准则层及对象层3个层次，对每个层次中的各个因子进行两两比较后建立成对比较矩阵，并在此基础上构建判断矩阵。所述目标层是对可信软件的各个可信性性质进行评价；所述准则层是构成软件可信性的各种要素；所述对象层是软件的可信性质。所述目标层用A来表示，所述准则层用B2, B3、…、Bn来表示，所述对象层分别
用C1X2X3.....Cn来表示，假定层A中元素Ak与下层B中元素尽(i=l, 2，...，n)有联系， 则将层B中元素两两比较，构成如下判断矩阵
权利要求
1.一种软件可信性质最小测试用例数的计算方法，其特征在于首先，利用层次分析法构造出一个层次结构模型，并据此建立判断矩阵；其次，确定该判断矩阵的值；最后应用经典统计假设理论确定工程实践中最小测试用例数。
2.根据权利要求I所述的软件可信性质最小测试用例数的计算方法，其特征在于软件可信性质的层次划分为目标层、准则层及对象层3个层次，对每个层次中的各个因子进行两两比较后建立成对比较矩阵，并在此基础上构建判断矩阵。
3.根据权利要求2所述的软件可信性质最小测试用例数的计算方法，其特征在于所述目标层是对可信软件的各个可信性性质进行评价；所述准则层是构成软件可信性的各种要素；所述对象层是软件的可信性质。
4.根据权利要求3所述的软件可信性质最小测试用例数的计算方法，其特征在于所述目标层用A来表不,所述准则层用B2> B3>…、Bn来表不,所述对象层分别用Cp C2>C3.....Cn来表示，假定层A中元素Ak与下层B中元素尽(i=l, 2，···,/ )有联系，则将层B中元素两两比较，构成如下判断矩阵
5.根据权利要求4所述的软件可信性质最小测试用例数的计算方法，其特征在于p,j一般取I，3，5，7，9及它们的倒数。
6.根据权利要求I所述的软件可信性质最小测试用例数的计算方法，其特征在于应用专家Delphi法来确定所述判断矩阵的值。
7.根据权利要求I至3任一项所述的软件可信性质最小测试用例数的计算方法，其特征在于判断矩阵的值是否准确，还需进行逻辑混乱检验和满意一致性检验2个步骤。
8.根据权利要求4所述的软件可信性质最小测试用例数的计算方法，其特征在于判断矩阵的值是否准确，还需进行逻辑混乱检验和满意一致性检验2个步骤 逻辑混乱检验 用下面的公式(I)、公式(2)进行逻辑混乱检验
9.根据权利要求8所述的软件可信性质最小测试用例数的计算方法，其特征在于所述经典统计假设理论确定工程实践中最小测试用例数的步骤如下 对规定的某个可信性指标(PO，C)给出两个对立的假设
全文摘要
本发明公开了一种软件可信性质最小测试用例数的计算方法，首先，利用层次分析法构造出一个层次结构模型，并据此建立判断矩阵；其次，应用专家Delphi法来确定该判断矩阵的值；最后应用经典统计假设理论确定工程实践中最小测试用例数。软件可信性质的层次划分为目标层、准则层及对象层3个层次，对每个层次中的各个因子进行两两比较后建立成对比较矩阵，并在此基础上构建判断矩阵。本发明的优点是根据ISO/IEC9126中提供的影响软件可信性质的要素，利用AHP法和经典统计假设理论计算每个可信性质的最小测试用例数，在保证可信软件全面测试的前提下，最大可能的减少测试用例，节约测试成本。
文档编号G06F11/36GK102708041SQ20111019352
公开日2012年10月3日 申请日期2011年7月12日 优先权日2011年7月12日
发明者杨善林, 殷云, 金力, 阚红星 申请人:安徽中医学院