欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
对基于属性的软件可信性度量需要满足的性质集进行了扩充,提出了一种改进的软件可信性度量模型,并通过证明其满足扩充后度量性质集对其进行了理论验证.相关工作比较表明相对于常用的两种基于属性的软件可信性度量模型以及作者之前所提出的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.
同期刊论文项目
同项目期刊论文
Proving total correctness and generating preconditions for loop programs via symbolic-numeric comput
期刊信息
位置：