舰载作战指挥控制软件的可信性质量保证支撑系统

本课题以舰载作战指挥控制软件的应用需求为研究背景，针对高可信软件的实时性、可靠性和可靠安全性(Safety)等可信性关键属性，展开分析、测试和度量技术研究，开展有效的分析和测试，定量地评估软件缺陷及其产生的失效对软件可信性关键属性的影响，并在此基础上研究如何利用测试信息和软件自身执行信息自动定位软件中的缺陷。具体研究内容包括：(1)软件可信性关键属性的质量保证技术研究，包括测试数据生成技术、源代码静态分析技术、缺陷定位技术和可信性关键属性度量技术；(2)可信性关键属性质量保证支撑工具集的设计与实现；(3)结合舰载作战指挥控制软件的高科性需求需求开展实验验证。本项目的研究不仅可以推动高可信软件质量保证技术的理论研究，而且具有重要的实际应用价值。