基于uml的软件可靠性测试技术研究

《基于uml的软件可靠性测试技术研究》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、望堕型垫盔兰旦茎竺坚兰堡笙茎摘要软件可靠性测试又称为软件统计测试，是软件可靠性工程的重要内容。它与传统的软件测试不同，主要是基于统计理论，通过模拟软件的实际使用来实施测试，然后根据数学和统计学模型对测试结果进行分析，获取软件的质量度量。在软件可靠性测试中，首要而又重要的一步是获取软件的使用模型，它描述了软件系统所有可能使用的总体及其发生概率。获得准确的使用模型关系到生成的统计测试用例的正确性，进而影响到对可靠性评估的准确性。随着统一建模语言(UnifiedModelingLanguage,UML)成为面向对

2、象软件事实上的标准建模语言，基于UML的软件开发过程和建模环境已被工业界广泛接受，在高可靠软件开发中的应用也越来越多。因此，基于UML的软件可靠性测试成为值得研究的内容。论文研究了从UML模型出发构造软件iarkov链使用模型的方法，主要包括：普通软件Markov链使用模型的生成方法和分布式软件Markov链使用模型的生成方法。在添加相应测试约束的基础上，分别给出了完整的算法，然后，均以实例说明了算法的有效性。论文最后介绍了构造分布式软件Markov链使用模型的工具D0ⅨJM。主题词：软件可靠性测试，统计测

3、试，UML，Markov链使用模型，分布式软件第i页望堕型垫奎兰坚茎竺坚兰垒笙塞ABSTRACTSoftwarereliabilitytestingwhichissocalledstatisticaltestingisallimportantpartofthesoftwarereliabilityengineering，Itisdifferentfromtraditionalsot!twaretestingandisbasedOnstatisticaltheory．Itcarriesouttestingvi

4、asimulatingsoftwareactualusage，andthenanalysesthetestresultsaccordingtothemathematicsandstaffsticalmodel．Intheprocessofthesoftwarereliabilitytesting，howtogetsottwareusagemodelwhichdescribesallpossibleusagecollectivityandprobabilityofthesoftwareischiefandcr

5、ucial．Derivingexactusagemodelisrelatedtotheeorrecti011ofthestatisticaltestingcaseandthereliabilityevaluation．UnifiedModelingLanguage(UML)becomestothestandardmodelinglanguageoftheoriented-objectsoftware，SOsoftwaredevelopmentbasedonUMLiSlargelyacceptedbyindu

6、stryrepublicandappliesinhi曲reliablesoftwaremoreandmore．Tberefore，sottwarereliabilitytesttagbasedonUMLiSworthtostudy．‰dissertationpresentsthemethodswhichderivesthesoftwaremarkovchainnsagcmodelsfromUMLmodels：generalsoftwaremarkovchainusagemodelanddistributed

7、softwaremarkovcllainusagemodel．Itpresentseorrespondlyintegratedalgorithmafteraddingsomepropertestingrestriction,andalsogivestheexampletoexplainthevalidityofthealgodthm．Finally,thedissertationintroducesthesupporttoolD．U殁JMwhichiSusedtogetthedistributedsoftw

8、aremarkovchainusagemodel．Keywords：SoftwareReliabilityTesting，StatisticalTesting，UML，MarkovChainUsageModel，DistributedSoftware第ii页国防科技大学研究生院学位论文表目录表2．1在不同输入序列长度下的输入序列种类数⋯．表3．1SCS的场景执行后置条件和执行概率⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。2