近日,水木羽林成功中标北京航空航天大学软件学院智能模糊测试工具采购项目,凭借公司科研团队在灰盒模糊测试领域的创新技术,水木羽林提供了一套高效精准的代码缺陷挖掘方案,将为培养中国航空航天科技领域的顶尖软件人才提供强有力的支持。
水木羽林自主研发的核心产品“WINGFUZZ智能模糊测试系统”支持 C/C++、Java、Python、RUST、Go、JS等主流语言源代码工程,以及二进制程序等多种目标的模糊测试,全方位检测内存使用错误、内存分配错误、线程错误、未定义行为和其他自定义错误。在源代码目标测试方面,系统支持测试驱动代码自动生成、源代码文件详细测试覆盖信息查看、缺陷复现与动态调试等先进功能,并具备通过集成各类开源引擎、自定义引擎进一步提升测试效果的能力。
北京航空航天大学作为国家重点建设的高校之一,隶属于中华人民共和国工业和信息化部,是国家首批“211工程”“985工程”“双一流”建设高校。学校在空天平台、无人系统、空管系统、导航制导等领域持续攻克关键核心技术,引领创新发展,牵头承担了“机载”“高分”等百余项重大任务,在航空发动机、增材制造、电磁安全、可靠性等关键核心技术领域成功突破“卡脖子”问题,学校团队参与论证并助力研制的国产大飞机C919圆满完成首飞。
此次中标不仅是对水木羽林技术实力的高度认可,更是公司与国内顶尖高校在智能模糊测试领域合作的又一起点。水木羽林将携手北航,在技术创新与突破、人才培养与交流、产业应用与推广等方面展开更深层次的战略合作,共同推动航空航天科技软件人才的培养,为国家的航空航天事业贡献力量。