基于证据的软件过程可信度模型及评估方法

来源：软件学报杂志2017年第7期北京时间：

作者：王德鑫,王青,贺劼

单位：王德鑫，中国科学院 软件研究所 互联网软件技术实验室, 北京 100190;中国科学院大学, 北京 100190;计算机科学国家重点实验室 中国科学院 软件研究所, 北京 10019011,王青，中国科学院 软件研究所 互联网软件技术实验室, 北京 100190;中国科学院大学, 北京 100190;计算机科学国家重点实验室 中国科学院 软件研究所, 北京 10019002,贺劼，中国科学院 软件研究所 天基综合信息系统重点实验室, 北京 10019003

摘要：软件可信已经是一个迫在眉睫的重要问题，但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手，譬如认为有第3方测试的证据，其可信级别就高一些，而若有用户的使用反馈则可信级别就更高.这些工作在可信的客观性方面做了很好的贡献.但可信其实是一个系统性的问题，而且质量形成于过程，其证据的充分必要程度以及对必要开发过程的覆盖程度等非常关键.基于软件开发过程，从过程的实体、行为以及制品3个方面提取软件可信的证据，建立了由37个可信原则、182个过程可信证据和108个制品可信程度证据组成的软件过程可信度模型，并给出基于该模型证据的软件过程可信评估方法，试图从开发过程的可信程度来建立软件产品的可信的信心.

关键词：软件可信;过程可信;软件制品可信

基金资助：国家自然科学基金（91318301，91218302）