论文部分内容阅读
近年来,随着软件应用领域的不断扩展,软件产品的复杂度越来越高,而人们对软件质量的容忍度却越来越低。软件是否有可信的质量已成为一个亟待解决的重要问题。现代质量管理理论强调质量形成于过程,建立质量信心的证据也散布于过程。从基本的可信机理讲,软件可信性是主体和客体之间的信任关系,其基本问题主要表现为在特定应用场景下,基于各种手段来进行度量、评估、判定与演化过程,即需要有证据让用户相信,软件可以满足用户的需要,而这些证据散布于软件开发的整个生命周期。所以软件是否可信不能仅依赖于对最终产品的测试,对软件可信的评估和确认需要软件开发过程中各类相关证据的支持。这些证据的充分必要程度,以及对必要开发过程的覆盖程度等问题也非常关键。 目前国际上与软件过程有关的标准和模型,主要针对过程应该做什么的问题。但如何保证过程的行为和制品满足预期的要求,应该采集哪些过程中的证据,才能对软件是否可信地满足用户需求做出评价,是已有标准和模型都没有解决的问题。 我们在国家自然科学基金等计划的支持下,从过程保障的角度提出了基于过程证据的软件可信度模型,本文研究该模型中的可信原则和可信证据,遵循完整性、必要性、兼容性和可持续性四项原则,旨在建立一个科学、客观并可广泛采用的证据体系,以支持软件过程的可信评估。 本文的主要研究内容和贡献包括: (1)本文工作提出了一个基于软件开发过程中数据所形成的证据,量化评估软件过程和过程制品可信程度的模型。从现代质量管理的基本元素出发,提出了可信实体、可信行为、可信制品三个可信保障目标,结合软件过程的实践活动特点,建立了覆盖整个软件过程生命周期的36个过程可信原则和1个制品可信原则。 (2)针对每一个可信原则,参考CMMI等业界流行的过程参考模型,我们提出了支持其分级评估的可信证据体系。该证据体系符合完整性、必要性、兼容性、可持续性四个原则,保障了模型的科学性和合理性。 (3)基于可信证据,我们提出了一个自底向上,从证据—>原则—>过程的可信链传递的软件过程可信评估方法,可以有效支持软件过程可信评估的客观性和全面性。我们通过应用案例对可信度模型和评价方法的有效性进行了验证。