基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究

本项目拟从对软件系统进行认识与理解的角度，基于软件分析、测试和验证途径研究软件可信性度量与评估体系和支撑技术。针对软件生命周期各阶段产生的制品，从模型、代码和缺陷三个层面分析和评估软件分析、测试和验证途径的技术能力和可扩展空间，探索与软件分析、测试和验证途径直接相关联的、反映软件系统满足需求程度和摆脱缺陷程度的相关可信性因素和度量指标，建立多维度、多层次、动态开放的软件可信性度量与评估参考模型；研制基于软件分析、测试和验证途径的软件可信性度量与评估关键支撑技术，特别是融合软件分析、测试和验证途径的综合性度量与评估支撑技术，加强软件系统认识与理解过程中的相关复杂性控制，提高相关技术的有效性和可扩展性；开发兼容现代主流软件工程标准和支撑环境的、开放的软件可信性度量和评估支撑工具原型，面向铁路运营调度系统、针对相关软件安全攸关场景开展较大规模的实例研究。