软件测试充分性的研究现状,软件测试充分性技术的研讨.pdf

软件测试充分性技术的研究 摘要

软件测试充分性技术的研究

摘 要

软件测试充分性是从软件在有限多个测试数据上的行为判断软件在所有输

入数据上的行为的逻辑基础，它使软件测试建立在客观的度量软件测试质量的

基础上，在软件测试中有着许多重要作用。

本文从不同的测试方法入手，首先对当前软件测试充分性的发展现状进行

了研究，分析了它们的优劣之处。接着，我们重点研究了基于可信度的统计覆

盖测试技术。这项测试技术较好地解决了当前软件测试充分性研究中的一些难

题，如不可实现的覆盖项 (覆盖项可以是语句、分支或路径等)问题及部分覆

盖缺乏可靠性解释等。在对统计覆盖测试技术进行了研究的基础上，我们认为

此项技术对被测软件的可靠性不能很好地给出准确的说明。针对这一问题，我

们采用数理统计学中的Neyman-Person理论，进一步研究了统计测试技术与软

件可靠性之间的关系，给出了基于统计测试技术的被测软件失效率的度量方法。

运行剖面是进行统计测试的基础。针对被测软件可能会有多种使用时的情

况，我们提出了一个三维的运行剖面描述模型，给出了解决这一问题的一个有

效方法。另外，在对当前实时软件的测试方法进行了分析之后，我们提出在被

测软件运行剖面的描述中，将时间变量time(t)作为被测软件输入元素描述的一

部分 (如果被测软件的输入元素没有时间约束的话，time(t)可以省略)，用它来

刻画输入元素的时间特征。这样根据运行剖面生成的测试数据就包含了时钟值

或时间变化，以反映被测实时软件的实际输入情况。

基于我们提出的三维运行剖面，我们给出了相应的测试数据自动生成算法，

并研究应用了相关的测试数据集检验方法，以确保由测试数据自动生成算法生

成的测试数据集与被测软件的运行剖面是相吻合的。

关键词:

软件测试，测试充分性，软件可靠性，运行剖面，测试数据

软件测试充分性技术的研究 摘要

ResearchofSoftwareTestingAdequacyTechnology

Abstract

Softwaretestingadequacyisthroughthebehaviorofthesoftwareonlimited

testdataasthelogicfoundationtojudgethebehaviorofthesoftwareontheall

inputtingdata,itmakesthesoftwaretestestablishedontheobjectivemeasurement

thequalityofsoftwaretesting,andithasagreatmanyimportanteffectsinthe

softwaretesting.

Thisthesiscommencesfrom thedifferenttestmethods,andwehavefirstly

researchedcurrentdevelopmentofsoftwaretestingadequacyandanalyzedtheplace

oftheirgoodandbad.Thenwemainlystudythetechnologyofconfidence-based

statisticalcoveragetesting.Somedifficultproblemsincurrentresearchofsoftware

testingadequacy,suchasinfeasiblecoverageitems(coverageitemscanbestatement,

branchorpathetc.)andthereliabilityinterpretationofpartialcoveragecanbe

approachedbythistechnique.Onthefoundationofstudyingstatisticalcoverage

testingtechnique,wethinkthistechniquecan'tbenicelytomakeouttheaccurate