计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2015年
z1期
531-536,560
,共7页
苏岳%李蜜%汪文心%张德平
囌嶽%李蜜%汪文心%張德平
소악%리밀%왕문심%장덕평
UML模型%Markov链%软件可靠性%模型转换%路径测试
UML模型%Markov鏈%軟件可靠性%模型轉換%路徑測試
UML모형%Markov련%연건가고성%모형전환%로경측시
UML model%Markov chain%Software reliability%Model transformation%Path test
以构件化的软件开发方法为背景,提出了一种能自动将UML活动图转换为模型Markov链的可靠性预测方法.该方法基于构件化的软件体系结构,从UML的活动图和顺序图出发,通过构造一个名为“控制结构转移图”的中间模型,将标注了可靠性信息的UML模型转换为Markov链,并通过递归方法自动生成测试路径,然后依据每条路径的可靠性信息来估计整个软件系统的可靠性.转换结果可以直接被现有分析方法用来进行软件可靠性预测工作,从而使分析变得高效和模型化.
以構件化的軟件開髮方法為揹景,提齣瞭一種能自動將UML活動圖轉換為模型Markov鏈的可靠性預測方法.該方法基于構件化的軟件體繫結構,從UML的活動圖和順序圖齣髮,通過構造一箇名為“控製結構轉移圖”的中間模型,將標註瞭可靠性信息的UML模型轉換為Markov鏈,併通過遞歸方法自動生成測試路徑,然後依據每條路徑的可靠性信息來估計整箇軟件繫統的可靠性.轉換結果可以直接被現有分析方法用來進行軟件可靠性預測工作,從而使分析變得高效和模型化.
이구건화적연건개발방법위배경,제출료일충능자동장UML활동도전환위모형Markov련적가고성예측방법.해방법기우구건화적연건체계결구,종UML적활동도화순서도출발,통과구조일개명위“공제결구전이도”적중간모형,장표주료가고성신식적UML모형전환위Markov련,병통과체귀방법자동생성측시로경,연후의거매조로경적가고성신식래고계정개연건계통적가고성.전환결과가이직접피현유분석방법용래진행연건가고성예측공작,종이사분석변득고효화모형화.
