计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2012年
8期
1811-1819
,共9页
吴彩华%刘俊涛%彭世蕤%李海鸿
吳綵華%劉俊濤%彭世蕤%李海鴻
오채화%류준도%팽세유%리해홍
UML%Markov链%使用模型%可靠性评估%测试用例
UML%Markov鏈%使用模型%可靠性評估%測試用例
UML%Markov련%사용모형%가고성평고%측시용례
构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利于测试用例的自动生成及软件可靠性评估.针对以上问题,提出了一种由UML模型构建Markov链使用模型的方法.该方法将场景的前置条件和后置条件作为Markov链使用模型的状态,将场景的执行及执行概率作为状态之间的转移及转移概率.与现有方法相比,新方法构建的Markov链使用模型的状态空间小且无需人为干预,而且可以很方便地生成测试输入从而进行可靠性测试.针对UML模型的有效性,提出了经过可靠性评估扩展的UML模型生成Markov链使用模型的验证算法.最后通过一个卫星控制系统的实例对新方法的性能进行了验证.
構建軟件的使用模型是進行軟件可靠性測試及軟件可靠性評估的基礎.近年來,如何由軟件的UML模型構造軟件的使用模型成為研究熱點.對于大型的軟件繫統來說,應用現有方法構建的軟件Markov鏈使用模型的狀態空間過于龐大,模型描述睏難,不利于測試用例的自動生成及軟件可靠性評估.針對以上問題,提齣瞭一種由UML模型構建Markov鏈使用模型的方法.該方法將場景的前置條件和後置條件作為Markov鏈使用模型的狀態,將場景的執行及執行概率作為狀態之間的轉移及轉移概率.與現有方法相比,新方法構建的Markov鏈使用模型的狀態空間小且無需人為榦預,而且可以很方便地生成測試輸入從而進行可靠性測試.針對UML模型的有效性,提齣瞭經過可靠性評估擴展的UML模型生成Markov鏈使用模型的驗證算法.最後通過一箇衛星控製繫統的實例對新方法的性能進行瞭驗證.
구건연건적사용모형시진행연건가고성측시급연건가고성평고적기출.근년래,여하유연건적UML모형구조연건적사용모형성위연구열점.대우대형적연건계통래설,응용현유방법구건적연건Markov련사용모형적상태공간과우방대,모형묘술곤난,불리우측시용례적자동생성급연건가고성평고.침대이상문제,제출료일충유UML모형구건Markov련사용모형적방법.해방법장장경적전치조건화후치조건작위Markov련사용모형적상태,장장경적집행급집행개솔작위상태지간적전이급전이개솔.여현유방법상비,신방법구건적Markov련사용모형적상태공간소차무수인위간예,이차가이흔방편지생성측시수입종이진행가고성측시.침대UML모형적유효성,제출료경과가고성평고확전적UML모형생성Markov련사용모형적험증산법.최후통과일개위성공제계통적실례대신방법적성능진행료험증.
