降低软件变异测试复杂性的新方法.pdfVIP

第 13卷 第S期 上海大学学报 (自然科学版) 2001年 10月 JOURNALOFSHANGHAIUNIVERSITY (NATURALSCIENCE) VoOl.c1t3.N2o00,51 文章编号:1007-2861(2007)05-0524-08 降低软件变异测试复杂性的新方法 徐 拾 义 (上海大学计算机工程与科学学院 上海2(0072) 摘要:基于硬件测试技术中经常使用的故障控制及等价关系的理论，对软件变异测试提出一种新的简化决策条件 故障的思想和技术，使得在变异测试中需要注人的故障数得以减少，从而简化软件变异测试过程，缩短了侧试时 间.由此也可有效降低软件测试复杂性 提高测试效率.实验结果证明了所提山的思想和方法的正确性和有效性. 关键词:软件测试;测试复杂性;故障控制;故障等价;变异测试 中图分类号:TP301 文献标识码 :A AMethodofSimplifyingComplexityofMutationTesting XUShi-yi (SchoolofComputerEngineeringandScience,ShanghaiUniversity,Shanghai200072,China) Abstract:Inthispaper,anewideaofconditionalfaultcollapsinginsoftwaremutationtestingisproposed basedonthetheoryoffaultdominanceandequivalencelongbeingusedinhardwaretesting.Thenew techniqueproposedcanbeusedinsoftwaremutationtestingandcangreatlyreducethenumberofinjected faultsinsoftwaresoastodecreasethenumberofmutants,shortenthetestingtimeinmutationtesting.Itis shownthatthecomplexityofsoftwaretestingcanbesimplifiedandtheeffectivenessoftestingisimproved directly.Experimentalresultshavejustifiedthetechniqueproposedinthepaper. Keywords;softwaretesting;testcomplexity;faultdominance;fan山equivalence 软件可靠性及相关领域的研究与硬件可靠性研 修改)的故障数和排除故障率(一般分为常数型、线 究有着密切的关联，软件可靠性的研究和发展迟于 性递减性和指数递减性等3种类型)来估计软件的 硬件领域，因此，硬件可靠性领域中的许多理论和技 可靠性，然而，更为困难的是，软件的故障不仅表现 术可以为软件所用.虽然，两者在形式上是不同的， 为诸如编码语法规则等显式性的故障，而且还有各 然而它们的实质是相通的.例如，在软硬件测试中， 种语句和语义方面的故障，称为隐式性故障.例如， 都存在着对故障模型的研究问题，只是软件的故障 将一个算术表达式:二二+y错写成了:二二一y的 模型比硬件复杂得多 对一个待测软件(程序)来说， 故障，或者将不等式ab写成了ab或a二b的 很难估计它可能存在的故障数，更不用说预测存在 故障等，都是所谓隐式性的故障 显式性故障可以通 于该软件中的故障类型等 因此，对软件可靠性的评 过对程序的静态检查进行测试，而对隐式性故障来 估就成为一件十分棘手的问题 为了解决该问题，通 说，则一般需要通过动态