面向构件的软件可信性度量模型研究

来源 :华东师范大学 | 被引量 : 0次 | 上传用户:bai408
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当今世界是计算机的广泛应用与网络迅猛发展的时代,软件系统已经成为当今世界的关键部分,从军事、经济、政治、文化到人们的日常生活都起到的重要作用。然而系统越来越复杂,系统有很多的不确定性、异常脆弱以及难以规避的软件漏洞、故障、失效甚至灾难。软件系统的可信性问题越来越受到人们的特别关注。软件的可信性是反映软件品质以及产品竞争力的重要指标,“软件可信性度量”是国家自然科学基金重大研究计划的核心科学问题之一。软件构件技术的快速发展,使得基于构件的开发方法成为软件开发的主流方法。构件技术的使用是软件工程化与产业化发展的必然经历的技术。软件企业为了提高开发效率,越来越注重软件的复用,很多以前的软件系统正在逐步地被利用。基于构件的软件开发(Component-Based Software Development,CBSD)是通过利用构件进行复用。它体现了“购买而不是重新构造”的思想,从而达到降低开发费用、缩短开发时间和提高效率的作用。目前构件的研究工作更多地集中在软件构件开发以及复用技术等方面,构件可信性的研究和实践比较少。软件由于其规模日趋庞大、结构复杂而多变,想直接度量大型系统的可信性是很难去完成,通过构件的可信属性及构件之间关系来度量整个构件软件系统的可信性成为研究的热点。由于可信性是多维属性的综合,不同可信属性在构件关系中的计算是不尽相同。为此,本文采用点、线和面的研究方式,由构件的度量元到构件可信属性再到构件软件系统可信属性和构件软件系统可信性的递进式研究。本论文主要研究内容包括有下面的几个方面创新:(1)本文提出了一种构件性能规范的量化方法。介绍了基于性能度量元之间的精化关系,进一步研究基于构件性能规范的量化方法。性能量化方法方把构件的性能满足问题从定性转化成定量。(2)本文提出了一种基于正互反矩阵聚合的可信属性权重确定方法。通过专家对不同属性之间关系的评价,构造出正互反矩阵。通过基于欧拉距离的聚合方法得到聚合的正互反矩阵,再计算聚合的正互反矩阵得到属性的权重,权重是多个专家的综合评价。此方法保持良好的性质体现方法的合理性。通过案例说明了该方法的有效性。(3)本文提出了基于用户使用反馈的可信性更新模型。在构件的使用过程中,构件可信性度量由用户反馈的可信性和构件可信性进行更新,模型能够反映构件的使用情况,模型很好地体现用户的使用数目和使用中可信性的变化。(4)本文提出了基于构件关系的构件软件系统可信性度量模型。由构件可信属性通过构件关系的计算模型计算得到构件软件系统可信属性,再进一步计算出构件软件系统可信性。通过递进式的研究取得一系列的度量模型。还可以根据度量情况,指出最弱的可信属性,进一步分析此可信属性的最需要提高的构件。模型有很好的应用性。
其他文献
校车安排调度问题是一个长久以来一直困扰着各个学校的资源多目标组合优化问题。该文采用基于满意优化模型和免疫蚁群算法进行模型的建立与求解。满意优化理论的关键是建立一
目的:了解中西医结合在肺癌治疗中的应用进展。方法:查阅近年来国内外相关文献,对肺癌的病因机制和中西医治疗的研究进展进行归纳和总结。结果:现代医学理论认为肺癌与基因突
校车调度问题(SBSP)是通过调度使一辆校车服务完一个学校后继续服务其他学校,以减少一个地区所需的校车总数,进而降低校车采购成本和运营成本。目前的SBSP求解方法是将其转化
高校是进行思想政治教育的主阵地,思想政治理论课是高校培养大学生树立正确世界观、人生观、价值观的主要课程。随着社会的不断发展、教育对象的变化,原来的思想政治理论课必
作为以描写小城生活享誉美国文坛的南方女作家,安妮·泰勒的多数作品以家庭和婚姻为主题,把内含冲突、局势紧张的家庭生活及内部的复杂关系作为重点来写,把作为个体人的生活
<正>记者2015年12月从威海市出入境检验检疫局官方网站获悉,威海检验检疫局和威海市海洋与渔业局签署了《关于建立共同促进威海市活水生动物出口合作机制备忘录》,进一步推动
为螺螨酯和阿维菌素的应用提供技术储备,以外观、热贮稳定性、低温稳定性、乳液稳定性和分散性为标准,采用阴离子与非离子复配系列乳化剂的方法制备了21%螺螨酯·阿维菌素水
在解决台湾问题与推进两岸关系发展进程中,中共中央逐步提出了两岸关系和平发展的重要思想与一系列政策主张。两岸关系和平发展是国家整体和平发展战略的重要组成部分;坚持一
使用直接还原镍盐前体 [Ni(NO3 ) 2 /γ Al2 O3 ,NiAc2 /γ Al2 O3 或Ni(NO3 ) 2 NiAc2 /γ Al2 O3 ]和镍氧化物前体的方法制备催化剂 ,研究了它们的表面特征和甲苯加氢抗硫
以胶新铁路、太中银铁路的选线设计工作为例,从满足客货运输的要求,适当预留发展,正确处理选线与地方规划相结合,突出重点工程,综合考虑节能、节地,合理绕避军事区、环境保护