首页 >> 企业与产品 >> 正文

北京控制工程研究所软件测试“神器”SpecChecker商业化

作者:中国航天报来源:发布时间:2014/5/20 14:11:57浏览量:759

fiogf49gjkf0d

    日前,由北京控制工程研究所软件检测站自主研发的软件测试工具软件SpecChecker成功进行成果技术转化,使该软件成为市场上唯一一款支持中断数据访问冲突分析的商业工具。该所将利用先进的技术和工具为型号软件保驾护航。

[责任编辑:admin]

网友评论:

(请登录发言,并遵守相关规定)