支持软件过程可信评估的可信证据研究.PDF

软件学报 [doi: 10.13328/ki.jos.005291]  支持软件过程可信评估的可信证据研究 1,2,3 1,2,3 王德鑫 , 王 青 1( 中国科学院软件研究所 互联网软件技术实验室,北京 100190) 2( 中国科学院大学,北京 100080) 3( 中国科学院软件研究所 计算机科学国家重点实验室,北京 100190) 通讯作者: 王德鑫, E-mail: wangdexin@ 王青, E-mail: wq@ 摘 要: 近年来,软件可信一直是人们争论的焦点.一种比较共识的观点认为软件可信是软件行为符合预期的程 ,质量形成于过程,显然建立质量信心的证据也散布于过程.软件开发过程中主体、行为和各种保障手段则是建立 软件可信的基本依据.基于证据的决策和管理是现代质量理论的核心,基于证据、数据驱动的软件工程都是试图从 客观数据的角度去解决问题.我们在国家自然科学基金等计划的支持下,从过程保障的角度提出了软件过程可信 模型,其中证据作为建立软件可信、支持可信评估的基础要素,是模型非常重要且基础的组成部分.本文主要研究该 模型中的证据体系,遵循完整性、必要性、兼容性和可持续性四项原则,基于过程管理的基本要素,通过调研以及和 CMMI 等软件过程参考模型的对接来提炼、定义和质证模型中的可信证据,使证据具备良好的公信力和可比性, 同 时增加了部分目前其他模型都没有涉及的证据来刻画对软件过程的可信增强.从而建立了一个从可信实体、可信 行为、可信制品三个目标进行可信保障、并覆盖软件过程全生命周期的证据体系.本证据体系科学、客观并具有 良好的公信力,结合可信度模型的其他部分,可以实现基于证据的、自底向上的软件过程可信评估,可供软件组织广 泛采用. 关键词: 软件可信;过程可信;证据采信 中图法分类号: TP311 Research on Trustworthiness Evidence Supporting the Evaluation of Software Process Trustworthiness WANG D -Xin1,2,3, WANG Qing1,2,3 1(Laboratory for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing 100 190, China) 2(University of Chinese Academy of Sciences, Beijing 100080, China,) 3(State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, B ijing 100 190, China) Abstract : In recent years, softwar trustworthiness has b n a focus around peopl . A more consensus view is that softwar trustworthiness is the degr of which software behavior is accordant with peopl ’s expectation. The quality is formed in the process. Obviously, the evidences that build the confidence of software quality ar distr