独行侠”变身“领头羊”— —记五院502所陈睿

中国航天报 2017/08/11

随着我国航天事业的不断发展,航天器的功能越来越强大,用来实现各种指令的航天型号软件的复杂程度也随之提升。

在航天系统工程中,计算机软件并不是一个热门的专业,“软件检测”则更为冷门。但是,在这样冷门的专业里,航天科技集团五院502所北京轩宇信息技术有限公司(以下简称轩宇信息)软件工具研发部部长陈睿却凭着超强的学术能力和产品意识,独立研发出航天嵌入式软件静态测试工具等多个通用产品,实现相关技术100%自主可控、替代进口,为保障我国航天型号软件质量作出了突出贡献。

最学术的“航天码农”

轩宇信息是为五院几乎所有“要上天的软件”做“体检”的地方。当陈睿还在北航计算机学院读研时,他的研究方向是软件源代码静态分析技术,这是一种新兴的软件测试技术,当时在工业界还较少应用。带着对航天的向往和对新兴技术应用的热情,他来到轩宇信息实习,希望能够将所学真正落地应用。

相比于IT领域五花八门的技术开发和应用,喜欢钻研学术的陈睿更倾向于研究计算机学科中的基础方向。于是,虽然毕业时面对着互联网、金融等高薪行业的诱惑,陈睿还是坚持“崇尚兴趣主导”的价值观,选择了进入航天。从那时起,他就一直专注于高可信航天嵌入式软件测试技术的研发。

经过一段时间的工作,陈睿发现,轩宇信息甚至整个五院都采用国外的商业软件来进行软件静态测试。这个软件存在很多漏报、误报和技术指标不符合的情况,必须经过后期人工手动检测才能保证软件的安全性。

“如果可以用我掌握的技术去改变航天软件测试的现状,哪怕是作一点点贡献,那也是很有意义的。”陈睿当时想。于是,他开始了长达几年单枪匹马的研发之路。

在最初的几个月里,他的研发可谓困难重重。国内几乎没有同类产品和实用化工具研发的资料,他甚至连“队友”和“产值”都没有,全凭自己对软件专业的兴趣和对航天事业的责任心。他从大量学术论文中寻找可以借鉴的理论,又一步步将论文中的内容开发为工具,最终经过反复的测试,真正达到实用的水平。

“检测站的领导很支持我,我的技术积累也让我有信心去完成。”他说。功夫不负有心人,经过了几个月反复的研发测试,第一个可替代进口测试软件的国产化工具SpecChecker诞生了。

最具前沿意识的“程序员”

研发成功离不开陈睿对学科前沿的专注和执著。在后来的几年中,SpecChecker被他进一步完善,逐渐替代进口,让原来耗时5天的测试过程缩短为半天。陈睿说:“以前某些在航天器出厂检测时才能发现的软件漏洞,现在在研发阶段就可以检测出来。”

目前,SpecChecker已经在五院所有的软件研制单位应用,并逐渐走出航天。陈睿也从一个研发路上的“独行侠”,变成了科研团队的“领头羊”。

“技术改变现状”是陈睿一贯的想法,而想要拥有更高的技术,就要不停地学习和实践。陈睿是中国计算机学会的会员,定期参加学会的学术活动,并将最前沿的技术和理论带回,分享给团队。

2013年进入轩宇信息软件工具研发部的项目经理潘华稳介绍,陈睿的文献阅读量非常大,每年会精读和泛读近百篇学科前沿论文和相关著作。在陈睿看来,软件行业发展很快,只有一直关注并钻研学术最前沿,才能发现更好的科研方向和解决问题的方法。

陈睿清楚地意识到,软件将成为航天任务的瓶颈,只有软件测试技术不断提升,才能满足航天发展的需要。他十分关注产学研结合的校企联合研发模式,“许多高校的研究课题并不来自于工业界,而是来自于其他论文。”

面对学术界和工业界之间的鸿沟,陈睿说:“工业界要从需求提供者转变为应用研究者,要具有自主研究能力。”在入职的第四年,陈睿申请攻读博士学位。如今,他已顺利通过博士学位论文答辩。

团队成员对陈睿的评价很高,潘华稳眼中的陈睿不仅具有很强的研究能力,在研究成果的产品化方面也有很强的洞察力。“对于技术人员来说,设计产品往往从自己的角度出发,但是陈睿可以设身处地地为客户着想。”

陈睿对团队要求高,他管理团队的思路是“让团队与个人共同进步”。潘华稳和他的同事们每个月都有具体的“技术改进量化指标”,陈睿会对他们进行考核,大家也都十分服他。

集成解决方案产品线负责人高栋栋说:“陈睿很有大局意识,在技术方面,他对大家毫无保留,倾囊相授,我们遇到技术难关的时候,陈睿总是手把手教我们。”在这样高标准严要求的团队中,每个人都迅速成长。现在,高栋栋等团队成员已经开始独自负责整个产品线了。

陈睿用他扎实的学术功底、敏锐的前沿思维和过人的大局意识,带领团队一路快跑,先后研发出静态代码检查工具SpecChecker、可视化自动单元测试平台SunwiseAUnit和系统级虚拟仿真平台VTest等多个具有底层核心技术的一流测试工具产品,并取得了很多用户的认可。这些产品创造了多个国内第一,最近还成为国内首个通过国际权威机构TUV南德功能安全标准评估的软件测试工具套件。

陈睿的目标是打造一流的国产化嵌入式软件开发测试解决方案,不但保障航天型号软件的安全可靠,还要走出航天、走向民用领域,让在航天落地发芽的技术发挥更大的作用。(任悦鸣)

航天技术第一时间助力四川、新疆抗震救灾
2017/08/11 中国航天报
雷凡培检查指导八院质量工作
2017/08/11 中国航天报
吴燕生到标准化院、四院42所检查指导工作
2017/08/11 中国航天报
动/静中通全程保障内蒙古自治区庆典活动
2017/08/11 中国航天报
中国青少年航天创客奥林匹克大赛落幕
2017/08/10 中国航天报