摘要
针对目前基于构件的系统的可靠性评测方法没有充分考虑构件有效可靠性导致评测结果不够准确的问题,进行了构件有效行为、构件有效可靠性确定方法及系统可靠性评测方法的研究,提出了一种考虑了构件有效可靠性的评测方法。该方法首先通过系统UML模型抽取出场景规约中所描述的构件的有效行为,根据有效行为确定构件在系统中的有效可靠性,然后采用Markov理论对系统进行可靠性建模,进而对整个系统进行可靠性评测。通过对一个具体系统的可靠性的计算给出了评测结果,结果表明,考虑构件有效行为后,对基于构件系统的可靠性的评测更加合理。
In view of the problem that the current reliability evaluation methods for component-based software systems are inaccurate because they do not consider the component effective reliability, a new reliability evaluation method for component-based systems with the feature of considering the effective component reliability is presented based on the studies of determining components＇ effective behaviors and their effective reliability in a system, and evaluating the system＇ s reliability. The proposed method extracts the effective behaviors of the components described in the scenario-based specifications through the description file of the system＇ s unified modehng language （UML） mod- els. And then, the reliabilities of the components are determined according to their effective behaviors ; the evalua- tion model is made according to the Markov theory. The evaluation results of a specific case system are given, and they show that the consideration of the effective behaviors of component can make the evaluation of a software sys- tem more reasonable.
出处
《高技术通讯》
CAS
CSCD
北大核心
2013年第2期146-152,共7页
Chinese High Technology Letters
基金
国家自然科学基金(61173021
61073052)资助项目
关键词
有效可靠性
可靠性评测
基于构件的系统
构件有效行为
细粒度评测
effective reliability, reliability evaluation, component-based software system, component effectivebehavior, fine-grained evaluation
