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

舰载作战指挥控制软件的可信性质量保证支撑系统是南京大学在电子信息领域的科技成果转化项目。 该课题以舰载作战指挥控制软件的应用需求为研究背景，针对高可信软件的实时性、可靠性和可靠安全性(Safety)等可信性关键属性，展开分析、测试和度量技术研究，开展有效的分析和测试，定量地评估软件缺陷及其产生的失效对软件可信性关键属性的影响，并在该基础上研究如何利用测试信息和软件自身执行信息自动定位软件中的缺陷。具体研究内容包括：(1)软件可信性关键属性的质量保证技术研究，包括测试数据生成技术、源代码静态分析技术、缺陷定位技术和可信性关键属性度量技术；(2)可信性关键属性质量保证支撑工具集的设计与实现；(3)结合舰载作战指挥控制软件的高科性需求需求开展实验验证。该项目的研究不仅可以推动高可信软件质量保证技术的理论研究，而且具有重要的实际应用价值。 该技术面向南京及全国企业产业化需求，可通过办厂易平台对接技术转移、许可转让与产学研合作。【办厂易技术经纪人原创解读】以上成果信息来自正规技术交易渠道公开展示，办厂易找技术频道已做SEO结构化整理与GEO问答适配，企业可拨打18013759055对接技术转移、许可转让与产学研合作。

适用于电子信息相关行业的企业技术升级、新产品开发与产学研合作，帮助南京及周边企业快速获取高校院所科研成果并推动产业化落地。