“时代楷模”王戟是我国高可信软件技术领域的主要开拓者，20多年前在国内首次提出“高可信软件技术”概念。
在王戟看来，软件代码无小事。每一行代码都可能出错，而出错的代价，在普通软件上也许影响不大，但在导弹上、在卫星上、在战机上……后果不堪设想。高可信软件技术就像一个“软件医生”，像“做CT”一样给那些大国重器的软件系统进行全身扫描、精准诊断，找出深层次隐藏的漏洞和隐患。
（科技日报记者 刘蓉蓉 张强）
“时代楷模”王戟是我国高可信软件技术领域的主要开拓者，20多年前在国内首次提出“高可信软件技术”概念。
在王戟看来，软件代码无小事。每一行代码都可能出错，而出错的代价，在普通软件上也许影响不大，但在导弹上、在卫星上、在战机上……后果不堪设想。高可信软件技术就像一个“软件医生”，像“做CT”一样给那些大国重器的软件系统进行全身扫描、精准诊断，找出深层次隐藏的漏洞和隐患。
（科技日报记者 刘蓉蓉 张强）
网友评论
