一种需求驱动的软件可信性评估及演化模型

被引：16

作者：

丁帅 ^{[1
,2
]}

鲁付俊 ^{[1
,3
]}

杨善林 ^{[1
,2
]}

夏承遗 ^{[4
]}

机构：

[1] 合肥工业大学计算机网络系统研究所

[2] 过程优化与智能决策教育部重点实验室(合肥工业大学)

[3] 奇瑞汽车有限公司

[4] 天津理工大学天津市智能计算与软件新技术重点实验室

来源：

计算机研究与发展 | 2011年 / 48卷 / 04期

基金：

高等学校博士学科点专项科研基金;

关键词：

需求驱动; 可信性评估; 自适应重构; 评估模型; 演化模型;

D O I：

暂无

中图分类号：

TP311.5 [软件工程];

学科分类号：

摘要：

软件可信性评估模型的构建依赖于对特定应用领域中可信需求的准确提取和指标系统的合理建立.对于体系结构庞大、非功能性需求复杂的软件而言,可信需求往往随着软件运行状态的转移而不断发生变化.由于可信需求的动态演化将直接影响指标系统的稳定性,因此引起了可信软件研究领域专家的广泛关注.针对该问题,给出一种需求驱动的软件可信性评估及演化模型.首先,剖析和总结软件可信性评估过程中涉及的关键技术,如需求分析与指标提取、可信证据采集与转换、可信性评估推理等,讨论了可信性需求演化背景下的可信性评估自主求解问题.其次,为了分析可信属性间的内在联系及可信属性相对权重的变化规律,给出关联矩阵的概念,并在此基础上提出应用于软件可信性评估指标系统自主配置的自适应重构器.最后,给出软件可信性评估及演化模型的整体框架.实验结果证明了该模型的合理性和正确性.

引用

页码：647 / 655

页数：9

共 9 条

[1] Research on trusted computing and its development[J]. SHEN ChangXiang1, ZHANG HuanGuo1?, WANG HuaiMin3, WANG Ji3, ZHAO Bo2, YAN Fei2, YU FaJiang2, ZHANG LiQiang2 ＆ XU MingDi21Beijing University of Technology, Beijing 100124, China;2School of Computer, Wuhan University, Key Laboratory of Aerospace Information Security and Trusted Computing of Ministry of Education, Wuhan 430072, China;3School of Computer, National University of Defence Technology, Changsha 430074, China.Science China（Information
[2] 一种支持软件资源可信评估的框架
蔡斯博
邹艳珍
邵凌霜
谢冰
邵维忠
[J]. 软件学报, 2010, 21 (02) : 359 - 372
[3] 一种基于效用和证据理论的可信软件评估方法
杨善林
丁帅
褚伟
[J]. 计算机研究与发展, 2009, (07) : 1152 - 1159
[4] Trustworthy Metrics Models for Internetware
ZHANG Yang
[J]. WuhanUniversityJournalofNaturalSciences, 2008, (05) : 547 - 552
[5] “可信软件基础研究”重大研究计划综述
刘克
单志广
王戟
何积丰
张兆田
秦玉文
[J]. 中国科学基金, 2008, (03) : 145 - 151
[6] Software dependability evaluation based on Markov usage models
Gutjahr, WJ
[J]. PERFORMANCE EVALUATION, 2000, 40 (04) : 199 - 222
[7] Dependability certification of software components[J] . Jeffrey Voas,Jeffery Payne.The Journal of Systems ＆ Software . 2000 (2)
[8] Technology portfolio management:optimizing interdependent Projects over multiple time Periods. Diekinson M,Thornton A,Graves S. IEEE Translations on Engineering Management . 2001
[9] Acomputation model of trustworthydegree. Ma Yangfang,Zhang Min. Proc of Int Symp on Intelligent InformationTechnology Application Workshops . 2008

← 1 →