Markov模型的软件可靠性测试充分性问题的探究.pdfVIP

第 39卷 第 l期 电 子 科 技 大 学 学 报 V_0l_39 No．1 2010年1月 JournalofUniversityofElectronicSeieneeandTechnologyofChina Jna ．2O1O Markov模型的软件可靠性测试充分性问题的研究 雷 航 ，马成功2 (1．电子科技大学示范性软件学院 成都 610054；2．电子科技大学计算机科学与工程学院 成都 610054) 【摘要】在分析现有Markov模型的软件可靠性的充分性判别的基础上，定义了严格转移概率的概念，提出了基于严格转 移概率的测试充分性判别方法。将Markov~型转化为严格Markov模型，在每个边或者状态的差异计算时引入严格转移概率， 对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算，得到的结果作为每个边 或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov~型方法更稳定、有效。 关 键 词 Markov模型：可靠性测试；严格转移概率：测试充分性 中图分类号 TP311．5 文献标识码 A doi：10．3969~．issn．100l。0548．2010．01．023 TestingAdequacyofSoftwareReliabilityinM arkovM odel LEIHang na dMA Cheng．gong (1．SchoolofSoftware，UniversityofElectronicScienceandTechnologyofChina Chengdu 610054； 2．SchoolofComputerSciencenadEngineering，UniversityofElectronicScienceandTechnologyofChina Chengdu 610054) Abstract By analyzingtheoriginaltestingadequacy determniation inMrakovmodel，thestricttransfer probabilityiSdefinednadthentestnigadequacybasedonstricttransferprobabilitVisadvnaced．MarkovmodeliS transformedtostrictM arkovmode1．nad thestricttransferprobability iSusedtocalculatethedifferentiationof everyedge．TheprimaltransferprobabilityofaIlofaccessibiliyt discriminativertnasferprobabiliyt iscomputedfor accessibilitydiscrimniativetransferset．andthentheprobabilitVisobtanied．Experimentsdeclareshtatnewmethod iSmorestabileandefficient． Keywords M arkovmodel； reliabilitytest； strictrtna sferprobability； testnigadequacy 软件测试的技术多种多样，但都要解决同一个 1 软件可靠性测试的测试充分性 问题，即测试进行到什么程度停止。 作为理想的情况，测试应该进行到找出并排出 1．1 软件可靠性测试的特点 程序中的所有错误为止，但这是不现实的。实际的 为了满足用户对软件的可靠性要求、评价软件 情况是抽取输入域 中的有限子集作为测试的输入 可靠性水平及验证软件产品是否达到可靠性要求， 集，并根据测试结果推断程序的正确性或可靠性。 软件可靠性测试是一个最有效的途径L2j。 这是研究测试充