[1]傅仰耿,巩晓婷,吴英杰.基于证据推理面向生命周期的可信软件评估[J].南京师大学报(自然科学版),2013,36(01):133-141.
　Fu Yanggeng,Gong Xiaoting,Wu Yingjie.An Evidential Reasoning Approach for Trustworthy Software Evaluation Under Systems Development Life Cycle[J].Journal of Nanjing Normal University(Natural Science Edition),2013,36(01):133-141.
点击复制

基于证据推理面向生命周期的可信软件评估()
分享到：

《南京师大学报（自然科学版）》[ISSN:1001-4616/CN:32-1239/N]

卷:
第36卷
期数:
2013年01期
页码:
133-141
栏目:
计算机科学
出版日期:
2013-03-31

文章信息/Info

Title:
An Evidential Reasoning Approach for Trustworthy Software Evaluation Under Systems Development Life Cycle
作者:
傅仰耿1; 巩晓婷2; 吴英杰1
(1.福州大学数学与计算机科学学院,福建 福州 350108) (2.福州大学公共管理学院,福建 福州 350108)
Author(s):
Fu Yanggeng1; Gong Xiaoting2; Wu Yingjie1
(1.College of Mathematics and Computer Science,Fuzhou University,Fuzhou 350108,China) (2.School of Public Administration,Fuzhou University,Fuzhou 350108,China)
关键词:
可信软件评估; 区间置信度; 证据推理; 多准则决策分析
Keywords:
trustworthy software evaluation; evidential reasoning; interval belief degrees; MCDA
分类号:
TP311
摘要:
可信软件评估是目前学术界研究的一个新的热点和难点,为解决可信软件评估过程中未能有效处理区间不确定评价信息的集结、可信准则体系动态生成算法效率不够高的问题,本文提出了一种基于证据推理面向软件生命周期的可信软件评估方法,给出了可信准则体系的动态生成的两个改进算法,并通过使用区间置信度的证据推理方法进行可信准则评价信息的集结.最后通过实验和算例验证了该方法的优越性与有效性.
Abstract:
The trustworthy software assessment is a new hot and hard issue in recent research.In order to solve the problems,such as,aggregating information from different criteria under interval uncertainty and constructing dynamical evaluation model for trustworthy criteria more efficiently,we propose an evidential reasoning approach for trustworthy software evaluation under systems development life cycle by giving two improved algorithms for constructing dynamical evaluation model of trustworthy criteria and aggregating evaluation information in the form of interval belief degrees via evidential reasoning algorithm for trustworthy criteria.Finally,superiority and validity of the approach is verified through experiments and a numerical example.

参考文献/References:

[1] 刘可,单志广,王戟,等.可信软件基础研究重大研究计划综述[J].中国科学基金,2008,22(3):145-151.
[2]古亮,郭耀,王华,等.基于TPM的运行时软件可信证据收集机制[J].软件学报,2010,21(2):373-387.
[3]杨善林,丁帅,褚伟.一种基于效用和证据理论的可信软件评估方法[J].计算机研究与发展,2009,46(7):1 152-1 159.
[4]袁霖,王怀民,尹刚,等.面向互联网的开源软件自动化评估证据框架[J].小型微型计算机系统,2011,32(11):2 145-2 151.
[5]刘玉玲,杜瑞忠,冯建磊,等.基于软件行为的检查点风险评估信任模型[J].西安电子科技大学学报:自然科学版,2012,39(1):179-184.
[6]丁帅,鲁付俊,杨善林,等.一种需求驱动的软件可信性评估及演化模型[J].计算机研究与发展,2011,48(4):647-655.
[7]Yang J B,Singh M G.An evidential reasoning approach for multiple attribute decision making with uncertainty[J].IEEE Transactions on Systems,Man and Cybernetics,1994,24(1):1-18.
[8]Shafer G.A Mathematical Theory of Evidence[M].Princeton:Princeton University Press,1976.
[9]Yang J B.Rule and utility based evidential reasoning approach for multiple attribute decision analysis under uncertainty[J].European Journal of Operational Research,2001,131(1):31-61.
[10]Yang J B,Xu D L.On the evidential reasoning algorithm for multiattribute decision analysis under uncertainty[J].IEEE Transactions on Systems,Man and Cybernetics-Part A:Systems and Humans,2002,32(3):289-304.
[11]Wang Y M,Yang J B,Xu D L.Environmental impact assessment using the evidential reasoning approach[J].European Journal of Operational Research,2006,174(3):1 885-1 913.
[12]Wang Y M,Yang J B,Xu D L.The evidential reasoning approach for multiple attribute decision analysis using interval belief degrees[J].European Journal of Operational Research,2006,175(1):35-66.
[13]刘旭东,郎波,谢冰,等.软件可信分级规范[EB/OL].http://www.trustie.org/UserFiles/File/[TRUSTIE-STC]软件可信分级规范[V2.0]-水印.pdf,2009.5.
[14]Yang J B,Xu D L.Nonlinear information aggregation via evidential reasoning in multiattribute decision analysis under uncertainty[J].IEEE Transactions on Systems,Man and Cybernetics-Part A:Systems and Humans,2002,32(3):376-393.

备注/Memo

备注/Memo:
收稿日期:2013-01-05.
基金项目:国家杰出青年科学基金(70925004)、福建省教育厅科技项目(JA10035).
通讯联系人:傅仰耿,博士研究生,讲师,研究方向:不确定多准则决策分析、数据安全与隐私保护.E-mail:fu@fzu.edu.cn
更新日期/Last Update: 2013-03-31