News
发布时间：2019-09-30 作者：上海工业控制安全创新科技有限公司 点击次数：次
为进一步贯彻落实《中共中央国务院关于开展质量提升行动的指导意见》和市委、市政府《开展质量提升行动的实施方案》有关“实施质量攻关工程”、“强化质量技术攻关”的要求，推进上海市高质量发展，2019年上海以建设科创中心、打造质量高地为目标，围绕重点产品、重点行业，积极组织开展质量攻关活动。
上海控安 “高可信工业嵌入式软件单元测试验证工具性能提升攻关”项目获得2019上海市重点产品质量攻关成果奖
二等奖
上海工业控制安全创新科技有限公司自主研发的高可信工业嵌入式软件单元测试验证工具，打破国外厂商技术垄断的局面，产品质量对标德国Tessy、英国Testbed等单元测试工具，达到国际先进水平。
此工具自动化设计满足语句、分支、MC/DC覆盖准则的单元测试用例，并支持黑盒测试、白盒测试，极大提高测试人员效率。测试人员人均每天可以完成10-20个函数的测试用例编写，此工具仅需2个小时即可完成800个函数的测试用例自动生成。采用数据流分析技术与编译器前端机制，使用桩函数替代真实的被调函数，通过程序切片技术，避免组合爆炸，生成合适的桩函数，实现自动插桩的功能。
该产品符合国家大力发展“核心工业软件”战略，提高汽车电子、轨道交通、航空航天等安全攸关领域软件代码可靠性，降低测试人员成本投入。
