题名 考虑构件有效可靠性的构件式系统可靠性评测
被引量：2
1
作者
郭勇 马培军 苏小红
机构
哈尔滨工业大学计算机科学与技术学院
出处
《高技术通讯》
CAS
CSCD
北大核心
2013年第2期146-152,共7页
基金
国家自然科学基金(61173021 61073052)资助项目
文摘
针对目前基于构件的系统的可靠性评测方法没有充分考虑构件有效可靠性导致评测结果不够准确的问题,进行了构件有效行为、构件有效可靠性确定方法及系统可靠性评测方法的研究,提出了一种考虑了构件有效可靠性的评测方法。该方法首先通过系统UML模型抽取出场景规约中所描述的构件的有效行为,根据有效行为确定构件在系统中的有效可靠性,然后采用Markov理论对系统进行可靠性建模,进而对整个系统进行可靠性评测。通过对一个具体系统的可靠性的计算给出了评测结果,结果表明,考虑构件有效行为后,对基于构件系统的可靠性的评测更加合理。
关键词
有效可靠性 可靠性评测 基于构件的系统 构件 有效行为细粒度评测
Keywords
effective reliability, reliability evaluation, component-based software system, component effectivebehavior, fine-grained evaluation
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 基于可生存性规范的软件构件系统恢复的建模与推理
被引量：4
2
作者
卢暾
机构
复旦大学计算机与信息技术系
出处
《软件学报》
EI
CSCD
北大核心
2007年第12期3031-3047,共17页
基金
Supposed by the National Natural Science Foundation of China under Grant No.60473124(国家自然科学基金) the Open subject Fund of Jiangsu Provincial Key Laboratory of Network and Information Security of China under Grant No.BM2003201(江苏省网络与信息安全重点实验室开放课题基金)
文摘
从基于构件的系统在面临各种不同的恶意攻击、系统故障和意外事故时,根据预先定义好的生存性规范为用户提供不同等级的系统服务出发,研究了构件系统恢复中的一些关键问题.其主要贡献是:(1)提出了基于构件家族和构件安装顺序的服务核表示方法,该方法能够准确表达系统在不同条件下为用户提供能够感知的服务;(2)建立了基于构件兼容性和构件安装执行的构件系统恢复性质的推理规则,用于判断系统恢复的成功性(新启动的服务能够正常工作)和安全性(原有的服务不会受到损害);(3)提出了基于投影的构件安装执行的简化算法,为大规模构件系统恢复的性质推理分析提供了支持.利用基于可生存性规范的构件系统恢复的分析流程,可以在实际中系统地应用相应的推理规则.最后通过一个基于构件的移动视频点播MVoD系统来展示所提出的模型与方法的实用性和有效性.
关键词
基于构件 的软件工程基于构件的系统 构件 重用可生存性规范 服务核 系统 恢复
Keywords
component-based software engineering component-based system component reuse survivability specification service core system recovery
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
