CAJ | 학술논문

现有基于软件体系结构的可靠性模型只适用于符合马尔可夫过程的软件构件转移关系,而当构件间存在由确定性和随机性转移关系组成的异构结构时,仍按照马尔可夫过程对软件体系结构建模,会导致可靠性评估结果不准确.为了解决现有模型不适用于异构结构的问题,在分析构件转移关系基础上,提出了一个新的软件可靠性模型.基于软件UML顺序图,提出将异构软件结构转换为马尔可夫链的算法.通过对一个实例的可靠性评估,验证了新模型能够比现有模型获得更准确的评估结果.
현유기우연건체계결구적가고성모형지괄용우부합마이가부과정적연건구건전이관계,이당구건간존재유학정성화수궤성전이관계조성적이구결구시,잉안조마이가부과정대연건체계결구건모,회도치가고성평고결과불준학.위료해결현유모형불괄용우이구결구적문제,재분석구건전이관계기출상,제출료일개신적연건가고성모형.기우연건UML순서도,제출장이구연건결구전환위마이가부련적산법.통과대일개실례적가고성평고,험증료신모형능구비현유모형획득경준학적평고결과.
The application of existing architecture-based software reliability models is strictly limited to software component tran-sitions satisfying Markov properties.When software has heterogeneous architecture which contains both deterministic and probabilis-tic transitions, these models intentionally model it as a Markov process.The loss of accuracy of reliability estimation comes as a result.In order to resolve heterogeneous software architectures,a new reliability model is presented based on analysis of component transitions.An algorithm generating Markov chain from heterogeneous software architecture modeled in UML sequence diagram is proposod.A case study shows the new model can yield more accurate reliability estimation result than existing models.