指挥控制与仿真
指揮控製與倣真
지휘공제여방진
Command Control & Simulation
2015年
5期
124-127,138
,共5页
Markov链%软件可靠性测试%三参数区间数%测试模型
Markov鏈%軟件可靠性測試%三參數區間數%測試模型
Markov련%연건가고성측시%삼삼수구간수%측시모형
Markov chain%software reliability testing%three-parameter interval number%testing model
Markov链使用模型是一种应用较为广泛的软件可靠性测试模型,但是如何生成使用模型中的转移概率仍然是一个亟待解决的问题。传统Markov链模型中的转移概率往往依赖用户、开发者及领域专家给出一个具体的数值,是非常不合理的。因此,提出了一种使用三参数区间数表示转移概率的方法,对Markov链模型进行优化并给出可靠性测试用例的生成方法。实验表明,使用三参数区间数构造出的软件使用模型要优于传统Markov链,并可以生成较为符合实际情况的可靠性测试用例,从而有助于提高可靠性评估的准确性。
Markov鏈使用模型是一種應用較為廣汎的軟件可靠性測試模型,但是如何生成使用模型中的轉移概率仍然是一箇亟待解決的問題。傳統Markov鏈模型中的轉移概率往往依賴用戶、開髮者及領域專傢給齣一箇具體的數值,是非常不閤理的。因此,提齣瞭一種使用三參數區間數錶示轉移概率的方法,對Markov鏈模型進行優化併給齣可靠性測試用例的生成方法。實驗錶明,使用三參數區間數構造齣的軟件使用模型要優于傳統Markov鏈,併可以生成較為符閤實際情況的可靠性測試用例,從而有助于提高可靠性評估的準確性。
Markov련사용모형시일충응용교위엄범적연건가고성측시모형,단시여하생성사용모형중적전이개솔잉연시일개극대해결적문제。전통Markov련모형중적전이개솔왕왕의뢰용호、개발자급영역전가급출일개구체적수치,시비상불합리적。인차,제출료일충사용삼삼수구간수표시전이개솔적방법,대Markov련모형진행우화병급출가고성측시용례적생성방법。실험표명,사용삼삼수구간수구조출적연건사용모형요우우전통Markov련,병가이생성교위부합실제정황적가고성측시용례,종이유조우제고가고성평고적준학성。
Markov chain usage model is a widely used model in software reliability testing, and how to assignment the migra?ting probability between states of Markov chain usage model is still a problem to be solved. In traditional Markov chain mod?el, the probability is often given as a fixed value by software users, developers and domain experts, and this approach is un?reasonable. In order to deal with this problem, a migrating probability assignment mothod based on three?parameter interval number is proposed to build the Markov chain usage model and the method for generating test cases is also given. As the tes?ting result shows, the software usage model based on the three?parameter interval number is better than the traditional Markov chain model and it is helpful to improve the accuracy of the software reliability assess.