改进的基于属性的软件可信性度量模型  

An Improved Attributes-Based Software Trustworthiness Metric Model

作　　者：陶红伟[1] 赵杰[2] 

机构地区：[1]郑州轻工业学院计算机与通信工程学院,河南郑州450002 [2]郑州轻工业学院思想政治理论课教学研究部,河南郑州450002

出　　处：《武汉大学学报（理学版）》2017年第2期151-157,共7页Journal of Wuhan University:Natural Science Edition

基　　金：国家自然科学基金资助项目(91118007)

摘　　要：对基于属性的软件可信性度量需要满足的性质集进行了扩充,提出了一种改进的软件可信性度量模型,并通过证明其满足扩充后度量性质集对其进行了理论验证.相关工作比较表明相对于常用的两种基于属性的软件可信性度量模型以及作者之前所提出的3个模型,该模型对扩充后的度量性质满足程度方面更优.In this paper, we propose an improved metric model for software trustworthiness by extending the property set and giving the formal description of the properties, and we will validate this model from the theory by proving that it complies with the property set. Compared with the models we once introduced and two popular attributes-based software trustworthiness metric models, our moded is proved to be better.

关 键 词：可信软件评估 可信性度量性质 公理化方法 软件可信性度量 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]