近日，上海市科技创业中心予以公示“2020年度上海市高新技术成果转化项目百佳、自主创新十强”名单，上海控安自研的智能嵌入式单元测试用例设计工具软件（项目编号：202001003）成功从众多高新技术成果转化项目中脱颖而出，被评为“2020年度上海市高新技术成果转化项目自主创新十强”受到了表彰。

为进一步激励企业自主创新，总结高新技术成果转化成效，发挥示范带动效应，上海市科技创业中心在2020年度全市高新技术成果转化项目动态跟踪统计数据梳理和调研基础上，根据各区科技主管部门推荐，经过指标筛选和专家评议等程序，先选出销售收入和各项综合指标良好的100个项目为“2020年度上海市高新技术成果转化项目百佳”，再从百佳项目中择优评选出“2020年度上海市高新技术成果转化项目自主创新十强”，上?？匕布际醭晒翊耸馊?。

 上海控安智能嵌入式单元测试用例设计工具软件是一款针对C语言程序的单元测试自动化工具。现在比较成熟的测试自动化技术，主要集中于测试流程自动化，而本工具则关注于测试设计自动化，可根据C语言程序的源代码，利用动态符号执行与判定过程，自动化地生成测试输入，达到一定的测试覆盖标准。

· 攻克卡脖子技术难点，实现核心工业软件的国产化替代，填补国内工业软件测试用例自动生成工具技术空白

· 符合国家大力发展“加强工业软件研发应用”的数字经济重点产业核心战略，打破国外技术垄断

· 有效提高汽车电子、轨道交通、航空航天等安全攸关领域软件代码可靠性，降低测试成本投入达40%

附件1   2020年度上海市高新技术成果转化项目自主创新十强公示名单

上?？匕彩怯缮虾Ｆ胀涌仆?、上海临港科投、上?？拼赐?、华东师大、上海自仪院共同注册的国有控股企业，是上海市工业控制系统安全创新功能型平台的载体，其核心技术来自中国科学院何积丰院士团队，立足上海市《关于加快建设具有全球影响力的科技创新中心的意见》文件要求，发扬自主创新精神，助力上?？拼粗行慕ㄉ?，为国家工控安全领域各类创新主体提供共性基础环境及公共服务。