可信软件构成架构的研究及其评估工具的实现

被引量 : 3次 | 上传用户:charles8025
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息化的快速发展促使各行业对于软件系统的依赖程度日趋增强。软件带给人们便利性的同时也引发了故障和损失。软件可信性问题已成为业界共同关注的热点问题。本文基于已有的研究成果,对相关概念和方法进一步剖析和研究,提出了一些新见解。本文首先对当前可信软件研究成果及概念进行归纳,并对其合理性与待完善的地方进行了探讨。随后,通过对相关理论的研究和分析,结合作者自身对可信软件的理解,对可信软件概念进行了定义,并提出了可信软件构成架构,该架构涵盖了影响软件可信性的四个方面,分别是可信资源、可信过程、可信属性、可信后评价。它们从不同角度描述了可信软件的构成特点,对可信软件的评估及构建具有指导意义。可信属性体现了可信软件的质量特性及行为能力。本文研究了可信属性的构成及定义;提出了可信属性空间模型,多层次、多维度展现了可信属性特征;并进一步就各属性及其子属性之间的关系进行了研究,分析了可信属性关系对软件可信性的影响。软件可信性评估是评判一个软件可信程度的重要手段。本文围绕可信软件构成架构进行研究,构建了软件可信性评估参考模型,并结合实践对模型中定性的评估因素做了进一步的细化和量化研究,形成一套较完善的软件可信性评估指标体系。本文引入模糊综合评估算法,运用该算法实现从评估模型中底层指标到最终综合评估结果的计算过程。此外,结合“某局信息资源整合升级成果评估项目”将上述研究成果应用到实际应用中,取得了良好的应用效果和较好的评价,也论证了本文所提出的方法具有较好的实际应用参考价值。基于上述研究成果,作者设计并实现了一个软件可信性评估工具,它包括可信证据录入、指标计算以及评估结果展示等功能。在论文的最后,作者对本篇论文的研究内容进行了总结,对未来研究的发展以及下一步工作进行了展望。
其他文献
作为我国国民经济的重要组成部分,民营集团已经慢慢成为多数金融机构的主要授信对象。然而,由于民营企业数量不断增加,业务经营业更加多元化使银行无法全面地掌握民营集团客
随着传统生物医学模式向生物-心理-社会医学模式的转变,单纯的疼痛和不孕等症状学评价已不能全面反应子宫内膜异位症(Endometriosis, EMS)患者身心健康的重要方面,健康相关生
近几年来,随着社会的飞速发展,人类社会在经历持续几千年以农耕为主的农业经济、以流水线生产作业的工业经济和以提供标准化服务为中心的服务经济之后,又一种全新的经济形态将登
直流系统为变电站(发电厂)二次回路的操作提供工作电源,电力系统运行的稳定性、继电保护和自动装置工作的可靠性在很大程度上取决于直流系统是否稳定可靠。交流窜入直流系统
平原地区地势平坦,河网复杂,水情变化对水质输移有重要影响。降雨可以增加河网稀释容量,提高水体复氧能力,加速对污染物的输移降解过程;同时在平原区闸站的联合调度下,降雨也
以胰蛋白酶对酪蛋白的Km值测定为例,讨论了底物浓度选择在酶Km值测定中的重要性。底物酪蛋白的浓度分为三组:高浓度(1~5mg/ml),低浓度(0.1~1mg/ml)和极低浓度(0.02~0.08mg/ml),高底物浓度(>8Km)的测定结果不能有效地区分多酶(作用于
约翰·威廉姆斯(John Williams)的音乐风格多种多样,其作品产量和质量都是令人著称的。对电影作曲家约翰·威廉姆斯的解读,或许要从《星球大战》系列开始。说起星球大战,就不得
网络技术的飞速发展,给网络新闻带来了新的发展机遇,地方新闻网站作为网络新闻领域重要的组成部分,也是舆论和宣传的重要平台,同样需要新的生存和突围之道。在竞争日益激烈的地方
社会转型构成了发展中国家现代化过程中社会状况的总体特征。各国的社会转型期内都会产生一系列社会问题,除了政治民主化放缓、经济发展失调、传统文化价值弱化、以及贫富差
军事旅游作为一项新兴的旅游活动逐渐在世界范围内开始兴起,它是旅游业发展一定阶段的必然产物,在欧美、俄罗斯等国家军事旅游已经作为一种较为成熟的旅游产品得到了广大游客的