软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2010年
2期
287-304
,共18页
柳毅%麻志毅%何啸%邵维忠
柳毅%痳誌毅%何嘯%邵維忠
류의%마지의%하소%소유충
基于构件的软件开发%软件可靠性%UML%模型转换%Markov链
基于構件的軟件開髮%軟件可靠性%UML%模型轉換%Markov鏈
기우구건적연건개발%연건가고성%UML%모형전환%Markov련
CBSD (component-based software development)%software reliability%UML%model transformation%Markov chain
以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.
以構件化的軟件開髮方法為揹景,提齣瞭一種將UML模型自動地轉換為可靠性分析模型Markov鏈的方法.該方法基于構件化的軟件體繫結構,從UML的用況圖、順序圖、活動圖和構件圖齣髮,對其進行擴展,在模型中標註瞭可靠性分析所需的信息.在此基礎上,通過構造一箇稱為構件轉移圖的中間模型,將標註瞭可靠性信息的UML模型轉換為Markov鏈.該方法產生的結果能夠直接作為現有可靠性相關的數學分析方法的輸入,從而使可靠性分析工作變得更加方便、高效.
이구건화적연건개발방법위배경,제출료일충장UML모형자동지전환위가고성분석모형Markov련적방법.해방법기우구건화적연건체계결구,종UML적용황도、순서도、활동도화구건도출발,대기진행확전,재모형중표주료가고성분석소수적신식.재차기출상,통과구조일개칭위구건전이도적중간모형,장표주료가고성신식적UML모형전환위Markov련.해방법산생적결과능구직접작위현유가고성상관적수학분석방법적수입,종이사가고성분석공작변득경가방편、고효.