信息工程大学学报
信息工程大學學報
신식공정대학학보
Journal of Information Engineering University
2015年
4期
477-482
,共6页
刘洋%于磊%徐炜珊%高志诚
劉洋%于磊%徐煒珊%高誌誠
류양%우뢰%서위산%고지성
软件可靠性%Markov链%UML模型%层次结构
軟件可靠性%Markov鏈%UML模型%層次結構
연건가고성%Markov련%UML모형%층차결구
在当前主流的基于体系结构的软件可靠性建模方法中,基于Markov链的状态模型是一种广泛应用的可靠性模型.现有基于状态的可靠性模型适用于构件转移满足Markov过程的软件,当程序中同时存在确定性转移和非确定性转移时,特别是存在多个构件对某构件的调用时,现有的办法不能得出精确的结果,甚至可能会引入不存在路径.为解决这一问题,文章基于UML模型和Markov模型,提出一种层次结构方法,用组合结点替代构件间的调用关系,建立层次结构的Markov链模型.最后通过一个实例对新方法的性能进行了验证.
在噹前主流的基于體繫結構的軟件可靠性建模方法中,基于Markov鏈的狀態模型是一種廣汎應用的可靠性模型.現有基于狀態的可靠性模型適用于構件轉移滿足Markov過程的軟件,噹程序中同時存在確定性轉移和非確定性轉移時,特彆是存在多箇構件對某構件的調用時,現有的辦法不能得齣精確的結果,甚至可能會引入不存在路徑.為解決這一問題,文章基于UML模型和Markov模型,提齣一種層次結構方法,用組閤結點替代構件間的調用關繫,建立層次結構的Markov鏈模型.最後通過一箇實例對新方法的性能進行瞭驗證.
재당전주류적기우체계결구적연건가고성건모방법중,기우Markov련적상태모형시일충엄범응용적가고성모형.현유기우상태적가고성모형괄용우구건전이만족Markov과정적연건,당정서중동시존재학정성전이화비학정성전이시,특별시존재다개구건대모구건적조용시,현유적판법불능득출정학적결과,심지가능회인입불존재로경.위해결저일문제,문장기우UML모형화Markov모형,제출일충층차결구방법,용조합결점체대구건간적조용관계,건립층차결구적Markov련모형.최후통과일개실례대신방법적성능진행료험증.