论文部分内容阅读
当今世界是计算机的广泛应用与网络迅猛发展的时代,软件系统已经成为当今世界的关键部分,从军事、经济、政治、文化到人们的日常生活都起到的重要作用。然而系统越来越复杂,系统有很多的不确定性、异常脆弱以及难以规避的软件漏洞、故障、失效甚至灾难。软件系统的可信性问题越来越受到人们的特别关注。软件的可信性是反映软件品质以及产品竞争力的重要指标,“软件可信性度量”是国家自然科学基金重大研究计划的核心科学问题之一。软件构件技术的快速发展,使得基于构件的开发方法成为软件开发的主流方法。构件技术的使用是软件工程化与产业化发展的必然经历的技术。软件企业为了提高开发效率,越来越注重软件的复用,很多以前的软件系统正在逐步地被利用。基于构件的软件开发(Component-Based Software Development,CBSD)是通过利用构件进行复用。它体现了“购买而不是重新构造”的思想,从而达到降低开发费用、缩短开发时间和提高效率的作用。目前构件的研究工作更多地集中在软件构件开发以及复用技术等方面,构件可信性的研究和实践比较少。软件由于其规模日趋庞大、结构复杂而多变,想直接度量大型系统的可信性是很难去完成,通过构件的可信属性及构件之间关系来度量整个构件软件系统的可信性成为研究的热点。由于可信性是多维属性的综合,不同可信属性在构件关系中的计算是不尽相同。为此,本文采用点、线和面的研究方式,由构件的度量元到构件可信属性再到构件软件系统可信属性和构件软件系统可信性的递进式研究。本论文主要研究内容包括有下面的几个方面创新:(1)本文提出了一种构件性能规范的量化方法。介绍了基于性能度量元之间的精化关系,进一步研究基于构件性能规范的量化方法。性能量化方法方把构件的性能满足问题从定性转化成定量。(2)本文提出了一种基于正互反矩阵聚合的可信属性权重确定方法。通过专家对不同属性之间关系的评价,构造出正互反矩阵。通过基于欧拉距离的聚合方法得到聚合的正互反矩阵,再计算聚合的正互反矩阵得到属性的权重,权重是多个专家的综合评价。此方法保持良好的性质体现方法的合理性。通过案例说明了该方法的有效性。(3)本文提出了基于用户使用反馈的可信性更新模型。在构件的使用过程中,构件可信性度量由用户反馈的可信性和构件可信性进行更新,模型能够反映构件的使用情况,模型很好地体现用户的使用数目和使用中可信性的变化。(4)本文提出了基于构件关系的构件软件系统可信性度量模型。由构件可信属性通过构件关系的计算模型计算得到构件软件系统可信属性,再进一步计算出构件软件系统可信性。通过递进式的研究取得一系列的度量模型。还可以根据度量情况,指出最弱的可信属性,进一步分析此可信属性的最需要提高的构件。模型有很好的应用性。