XXXX-会议-软件可信性属性及其度量研究.pdf

软件可信性属性及其度量研究张悦今1张玲玲12刘莹1。3石勇1（1．中国科学院虚拟经济与数据科学研究中心北京100190；2.中国科学院研究生院管理学院北京1001903.中国科学院研究生院信息科学与工程学院北京100190）摘要：随着计算机应用的不断发展软件可信性问题日益受到全球的普遍关注软件的可信性也就不再局限于安全性而是包括可靠性、可用性、可维护性等质量特性但是相关研究都局限于独立的可信属性本文在已有研究的基础上提出了一个综合的可信性度量模型综合考虑了5种得到普遍认可的可信属性并采用模糊综合评价的方法来评价软件的可信属性。关键字：软件可信性可信属性模糊综合评价1引言度量模型方面还不够成熟。传统工程技术往往能在进行产品生产之前通过建立模型进行演随着计算机应用的不断发展软件已渗透算、测试和验证从而保证产品生产出来后具到国民经济和国防建设的各个领域尤其是针有期望的性质。软件工程与传统工程技术相比对一些如航空航天、军事、金融等大规模的网目前尚不具备类似的理论基础。综观已有的程络分布式系统软件在其中起到了至关重要的序理论多数集中在面向程序正确性或者若作用。然而软件并不总是按照人们期望的方干理论拼接不足以作为软件可信性质的统一式工作软件常常发生各种故障和失效对人基础。这在技术层面上体现在两个方面一方们的工作生活带来不利的影响甚至造成巨大面对于单个的可信性质分析、设计和保证的损失。例如1996年6月欧洲Ariane五型该性质的技术常常是分离的存在语义的沟壑。火箭首发失败都是由软件失效导致的[1]。例如对反应式系统的可靠安全性有失效模80年代末以及90年代初国际上出现了以围式和影响分析技术、容错计算、调度、形式化绕软件产品的安全性为主的关于软件可信性的验证等技术但这些技术仍是各自分离的没讨论和研究其中由美国多家政府和商业组织有形成一个集成技术框架。另一方面对多个参与的TSM（可信软件方法学）项目于1994可信性质这些性质之间对设计决策会造成冲年将软件可信性扩展定义为“软件满足既定需突例如容错性质往往会影响到实时性。目求的信心度”阐述了可信性对管理决策、技术前的程序理论未能作为指导性质的融合、折衷决策、以及既定需求集合的高度依赖性[2]。的基础。近10年来互联网技术的发展催生了信息因此本文在总结已有对可信属性及其度技术的革命也使得软件的应用领域极度扩展。量研究的基础上提出了一个综合的可信属性然而在互联网环境下信息的交互、共享、度量指标体系及度量方法对不同软件的可信协同泄漏、威胁、破坏等又导致了大量的“不等级进行评价和度量。该模型不仅对软件的可可信”的因素软件的可信性也就不再局限于信性给出一个评价而且对每个可信属性也给安全性而是包括功能性、