基于属性评测的软件可信性度量技术研究

来源 :哈尔滨工程大学 | 被引量 : 0次 | 上传用户:asdf_1900
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机科学在政治、经济以及科技等领域的广泛应用,软件技术已应用到了人们生活的方方面面。软件变得更大更复杂,软件质量也面临着更大的考验,对软件可信水平评价的软件可信性度量技术也变得越来越重要。然而目前软件可信性度量技术并不成熟,其表现为软件可信性没有统一定义、软件可信属性没有统一标准、没有成熟的软件可信属性度量模型,并且现有的软件可信性度量方法也存在着理论难以实践以及度量结果不精确等问题。针对上述问题,论文提出了一种基于贝叶斯网络的软件可信性度量方法,该方法利用贝叶斯网络在体系结构上对软件强大的解释和推理能力,根据软件的体系结构建立贝叶斯网络,从结构上将软件分治处理,对贝叶斯网络中的软件组成模块进行度量,得出被度量模块的相关可信指标的参数分布。然后,在此可信指标基础上,根据软件集成模块之间的依赖关系建立贝叶斯网络,获得集成系统的可信指标结果分布。论文主要工作如下:首先,论文分析了可信属性之间的关系,为综合软件各可信属性对软件进行度量奠定基础。其次,为确保可信软件度量的操作可行性,论文提出了一种基于软件体系结构建造贝叶斯网络的方法。论文研究了软件模块化表达方式,包括对软件的类、模块之间的继承、调用等关系的分析,根据它们之间的依赖关系建立了贝叶斯网络,将软件的度量由系统级规约到模块级,减小度量的难度。再次,基于所建立的贝叶斯网络对软件各组件进行度量。论文验证了软件各功能点,以得到功能属性和验证软件集成水平。在可靠性方面度量了软件的成功路径指数和执行任务成功指数。为较快得到准确的度量结果,度量时使用了先验概率方法。对软件运行有重大影响但出现频率低,度量难以覆盖的情况,采用重要性取样原理对其进行加速度量,以得出全面的度量结果。在软件可维护性属性度量方面评价了可维护子属性,探索了可维护性在贝叶斯网络中的度量应用。最后,对航行器多协同路径规划仿真软件进行了可信属性度量实验,使用贝叶斯网络将被度量的软件分治,降低了度量难度。采用贝叶斯网络针对性的度量软件各部分能降低可信度量时注入的用例数量,实验证明了该方法的可行性和高效性。
其他文献
<正> 引言“高血压”是现代名称,在中医书籍中关于这一方面的记载,有“厥逆”、“中风”、“肝风”及“肝阳上逆”等说法;特别在中古时期,把中风一门阐述得更为详尽化。中风
目的分析糖尿病合并高血压护理干预方法。方法回顾性分析2013年12月至2014年12月本院收治136例糖尿病合并高血压患者临床资料,按照随机数字表法分成两组,对照组予常规护理,研
2015年爆发的欧洲难民危机给申根区统一的外部边界管理带来了空前的挑战,也使得人们重新审视欧盟的边界管理模式。本文从欧洲一体化的视角,在法律规范、管理主体和管理机制三
大学生压力问题已引起广泛关注。本文基于实际调查,结合压力的理论研究,对大学生压力源的相关因素进行了探讨,通过分析大学生面临压力时可能出现的状况,进一步从个人和组织的
枸杞是药食同源的一种名贵植物,它的全身是宝,不但枸杞果具有很高的药用和食用价值,而且枸杞植物的根、茎、叶、籽等都具有很好的丰富的营养保健价值和药用价值,针对枸杞植物
<正>本文报导的19例外阴白斑症均经西医确诊,经采用中医药治疗,初步取得疗效。中医分型血热增生型:外阴皮肤粘膜变厚、干、糙,中心发白,边缘粉白,奇痒不堪,夜间尤剧,影响睡眠
<正>清明节是中华民族的一个重要传统节日,是思念已故亲人,缅怀先辈、追忆恩情与亲情的一个重要节日。在这样一个传统节日到来之际,学校应抓住情感教育的契机,以爱国主义教育
目的了解卫生管理人才培养现状,探讨发展对策。方法于2010年1月~2011年1月选取20所开设卫生事业管理专业的高等医学院校作为调查对象。通过实地走访、电话联系和电子邮件等方
<正> “虚邪贼风,避之有时,恬憺虚无,真气从之,精神内守,病安从来”,是《素问·上古天真论》的名言。但考历代医家所论,皆着眼于“恬憺虚无”,强调无为、无欲;而对“真气从之