北京
分享至
来源：滚动播报
（来源：科技日报）
#中宣部授予王戟时代楷模称号#【给导弹卫星关键软件做“CT”！这位科研人守护国防安全二十年】“时代楷模”王戟是我国高可信软件技术领域的主要开拓者，20多年前在国内首次提出“高可信软件技术”概念。在王戟看来，软件代码无小事。每一行代码都可能出错，而出错的代价，在普通软件上也许影响不大，但在导弹上、在卫星上、在战机上……后果不堪设想。高可信软件技术就像一个“软件医生”，像“做CT”一样给那些大国重器的软件系统进行全身扫描、精准诊断，找出深层次隐藏的漏洞和隐患。（科技日报记者 刘蓉蓉 张强）
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
