感知中国经济的真实温度，见证逐梦时代的前行脚步。谁能代表2019年度商业最强驱动力？点击投票，评选你心中的“2019十大经济年度人物”。【我要投票】
投资者提问：
请问贵司和科大合作的高可信软件研发进展如何，目前有哪些应用，能否详细介绍一下？
董秘回答(科大国创SZ300520)：
您好，感谢关注。公司高可信软件面向航天、军工、核电、高铁、医疗等重点关键领域，以及无人驾驶、智能机器人、智能汽车等智能应用领域提供软件可靠性、安全性的分析和验证。在高可信分析工具方面，公司使用自主研发的程序分析工具对软件进行静态分析，发现软件中可能出现的致命缺陷（漏洞）；目前，针对国际汽车工业软件MISRA C:2012和MISRA C++:2008、航天型号软件C语言安全子集、C/C++语言源代码缺陷控制与测试规范等行业规范，公司先后发布了MISRA C：2012 Checker、MISRA C++:2008 Checker、GJB5369-2005 Checker、SJ/T 11682-2017 Checker等四项编程规范检测工具，以及C/C++程序缺陷挖掘、C/C++程序最佳实践分析、C/C++程序度量和预警分析、C/C++程序可读性分析等四项用于发现程序潜在安全风险、提高软件代码质量的分析工具，上述程序分析工具已经在航天器、新能源汽车核心部件、大型科学仪器装备等领域实现了试点应用，现已具备市场化应用条件。在高可信验证工具方面，公司使用形式化验证技术对软件的关键模块和关键算法进行自动验证，证明程序的正确；目前，针对C语言的验证工具商业版开发主要功能已实现，并计划2020年适时开展市场化试用，基于教学的验证工具学习版核心功能已经基本研发结束，初步预计2020年一季度云化上线，二季度通过网络平台对外开放。相关具体情况请以公司披露信息为准，谢谢。
免责声明：本信息由新浪财经从公开信息中摘录，不构成任何投资建议；新浪财经不保证数据的准确性，内容仅供参考。
热门推荐
收起
24小时滚动播报最新的财经资讯和视频，更多粉丝福利扫描二维码关注（sinafinance）
