面向构件的软件可信性度量模型研究
发布时间：2022-02-14 09:43
当今世界是计算机的广泛应用与网络迅猛发展的时代,软件系统已经成为当今世界的关键部分,从军事、经济、政治、文化到人们的日常生活都起到的重要作用。然而系统越来越复杂,系统有很多的不确定性、异常脆弱以及难以规避的软件漏洞、故障、失效甚至灾难。软件系统的可信性问题越来越受到人们的特别关注。软件的可信性是反映软件品质以及产品竞争力的重要指标,“软件可信性度量”是国家自然科学基金重大研究计划的核心科学问题之一。软件构件技术的快速发展,使得基于构件的开发方法成为软件开发的主流方法。构件技术的使用是软件工程化与产业化发展的必然经历的技术。软件企业为了提高开发效率,越来越注重软件的复用,很多以前的软件系统正在逐步地被利用。基于构件的软件开发（Component-Based Software Development,CBSD）是通过利用构件进行复用。它体现了“购买而不是重新构造”的思想,从而达到降低开发费用、缩短开发时间和提高效率的作用。目前构件的研究工作更多地集中在软件构件开发以及复用技术等方面,构件可信性的研究和实践比较少。软件由于其规模日趋庞大、结构复杂而多变,想直接度量大型系统的可信性是很难去完成...
【文章来源】：华东师范大学上海市211工程院校985工程院校教育部直属院校
【文章页数】：156 页
【学位级别】：博士
【部分图文】：
论文总体结构
图 2.1: 可信度量活动2.2 可信指标性可以由许多特征来描述，在本文中被称可信属性，在一些涉及的可信属性有一定的差异。文献 [1]、文献 [3]、文献 献 [57] 都给出了所涉及的可信属性，如表 2.1 所示。针对结合参与航天部门的重大研究计划的集成项目的情况，本性方面所涉及的可信属性有正确性、可靠性、安全性、可用可信指标及层次结构
图 2.2: 可信指标层次图其中，mijk是第 i 个可信属性中第 j 个可信子属性中包含的第 k 个度量元，是以相等的权重1t进行计算的，t 是该可信子属性中度量元的个数。(2) 可信属性计算公式yi= (subi1)(wbi1)× (subi2)(wbi2)× . . . (subij)(wbij)× . . . (subix)(wbix), (2.2)其中，subij是第 i 个可信属性中第 j 个可信子属性，x 是该可信属性中可信子属性的个数，wbij是第 i 个可信属性中第 j 个可信子属性在可信属性中的权重。(3) 构件可信性计算公式T = (y1)w1× (y2)w2× . . . (yi)wi× . . . (yn)wn, (2.3)其中，T 是构件可信性，yi是第 i 个可信属性，n 是可信属性的个数，wi是第 i个可信属性对应的权重。
【参考文献】：
期刊论文
[1]面向Web服务的动态可信性评估模型[J]. 王鹏,李克文. 计算机系统应用. 2019(03)
[2]高冲突性证据的软件可信性评估方法[J]. 陈倩倩,许丽星,龚彬. 兵工自动化. 2019(02)
[3]网络化软件交互式行为可信性监测分析仿真[J]. 杨柳. 计算机仿真. 2018(06)
[4]基于构件的软件系统信任链模型和信任关系分析[J]. 郁湧,陈长赓,刘强,刘嘉熹. 信息网络安全. 2018(03)
[5]航天嵌入式软件可信性度量方法及应用研究[J]. 王婧,陈仪香,顾斌,郭向英,王保华,金晟毅,徐建,张居阳. 中国科学:技术科学. 2015(02)
[6]构件化软件演化信息及演化相似性度量技术研究[J]. 钟林辉,侯长源,宗洪雁,叶茂盛. 计算机应用研究. 2015(05)
[7]构件化软件演化信息建模和获取方法研究[J]. 钟林辉,谢冰. 计算机应用研究. 2014(02)
[8]一个网构软件可信实体模型及基于评估的信任度量[J]. 许静,司冠南,杨巨峰,文硕,张彪. 中国科学:信息科学. 2013(01)
[9]基于贝叶斯网络的网构软件可信性评估模型[J]. 司冠南,任宇涵,许静,杨巨峰. 计算机研究与发展. 2012(05)
[10]基于缺陷分析与测试评审的软件可信性评价方法[J]. 李晓红,王翔宇,张涛,易锦,冯志勇. 清华大学学报(自然科学版). 2011(10)
博士论文
[1]基于行为的软件可信性度量理论与关键技术研究[D]. 韩强.北京邮电大学 2013
[2]网构软件可信性保证关键技术研究[D]. 司冠南.南开大学 2012
[3]基于语言的软件可信性度量理论及其应用[D]. 吴新星.华东师范大学 2011
[4]基于属性的软件可信性度量模型研究[D]. 陶红伟.华东师范大学 2011
[5]网构软件信任演化模型研究[D]. 董宇欣.哈尔滨工程大学 2011
[6]软件的近似正确性及与环境交互度量模型研究[D]. 马艳芳.华东师范大学 2010
硕士论文
[1]可信性评估在网构软件选择中的研究与应用[D]. 孙国利.江苏科技大学 2015
[2]基于构件关系的可信软件设计与评价方法[D]. 董利国.河北大学 2012
[3]软件构件的可信性研究[D]. 于伟.东华大学 2011
[4]BPM领域构件可信评估系统的研究与实现[D]. 贺久松.西北大学 2010
[5]业务构件可信性的保证机制及其度量的研究初探[D]. 尹健良.华中科技大学 2008
本文编号：3624321
【文章来源】：华东师范大学上海市211工程院校985工程院校教育部直属院校
【文章页数】：156 页
【学位级别】：博士
【部分图文】：
论文总体结构
图 2.1: 可信度量活动2.2 可信指标性可以由许多特征来描述，在本文中被称可信属性，在一些涉及的可信属性有一定的差异。文献 [1]、文献 [3]、文献 献 [57] 都给出了所涉及的可信属性，如表 2.1 所示。针对结合参与航天部门的重大研究计划的集成项目的情况，本性方面所涉及的可信属性有正确性、可靠性、安全性、可用可信指标及层次结构
图 2.2: 可信指标层次图其中，mijk是第 i 个可信属性中第 j 个可信子属性中包含的第 k 个度量元，是以相等的权重1t进行计算的，t 是该可信子属性中度量元的个数。(2) 可信属性计算公式yi= (subi1)(wbi1)× (subi2)(wbi2)× . . . (subij)(wbij)× . . . (subix)(wbix), (2.2)其中，subij是第 i 个可信属性中第 j 个可信子属性，x 是该可信属性中可信子属性的个数，wbij是第 i 个可信属性中第 j 个可信子属性在可信属性中的权重。(3) 构件可信性计算公式T = (y1)w1× (y2)w2× . . . (yi)wi× . . . (yn)wn, (2.3)其中，T 是构件可信性，yi是第 i 个可信属性，n 是可信属性的个数，wi是第 i个可信属性对应的权重。
【参考文献】：
期刊论文
[1]面向Web服务的动态可信性评估模型[J]. 王鹏,李克文. 计算机系统应用. 2019(03)
[2]高冲突性证据的软件可信性评估方法[J]. 陈倩倩,许丽星,龚彬. 兵工自动化. 2019(02)
[3]网络化软件交互式行为可信性监测分析仿真[J]. 杨柳. 计算机仿真. 2018(06)
[4]基于构件的软件系统信任链模型和信任关系分析[J]. 郁湧,陈长赓,刘强,刘嘉熹. 信息网络安全. 2018(03)
[5]航天嵌入式软件可信性度量方法及应用研究[J]. 王婧,陈仪香,顾斌,郭向英,王保华,金晟毅,徐建,张居阳. 中国科学:技术科学. 2015(02)
[6]构件化软件演化信息及演化相似性度量技术研究[J]. 钟林辉,侯长源,宗洪雁,叶茂盛. 计算机应用研究. 2015(05)
[7]构件化软件演化信息建模和获取方法研究[J]. 钟林辉,谢冰. 计算机应用研究. 2014(02)
[8]一个网构软件可信实体模型及基于评估的信任度量[J]. 许静,司冠南,杨巨峰,文硕,张彪. 中国科学:信息科学. 2013(01)
[9]基于贝叶斯网络的网构软件可信性评估模型[J]. 司冠南,任宇涵,许静,杨巨峰. 计算机研究与发展. 2012(05)
[10]基于缺陷分析与测试评审的软件可信性评价方法[J]. 李晓红,王翔宇,张涛,易锦,冯志勇. 清华大学学报(自然科学版). 2011(10)
博士论文
[1]基于行为的软件可信性度量理论与关键技术研究[D]. 韩强.北京邮电大学 2013
[2]网构软件可信性保证关键技术研究[D]. 司冠南.南开大学 2012
[3]基于语言的软件可信性度量理论及其应用[D]. 吴新星.华东师范大学 2011
[4]基于属性的软件可信性度量模型研究[D]. 陶红伟.华东师范大学 2011
[5]网构软件信任演化模型研究[D]. 董宇欣.哈尔滨工程大学 2011
[6]软件的近似正确性及与环境交互度量模型研究[D]. 马艳芳.华东师范大学 2010
硕士论文
[1]可信性评估在网构软件选择中的研究与应用[D]. 孙国利.江苏科技大学 2015
[2]基于构件关系的可信软件设计与评价方法[D]. 董利国.河北大学 2012
[3]软件构件的可信性研究[D]. 于伟.东华大学 2011
[4]BPM领域构件可信评估系统的研究与实现[D]. 贺久松.西北大学 2010
[5]业务构件可信性的保证机制及其度量的研究初探[D]. 尹健良.华中科技大学 2008
本文编号：3624321
本文链接：https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/3624321.html
