上海控安入选“2020上海高新技术成果转化项目自主创新十强”

12月14日，由上海市科委指导，上海市科技创业中心主办的“2021上海高新技术成果转化百佳表彰会”在中国金融信息中心举行。上海市科委、市财政局、市人社局等相关委办领导出席了会议。会议表彰了2020年度上海市高转项目十强企业和先锋人物。

项目评审组对总计3014项高转项目转化动态跟踪统计数据的梳理和指标初步筛选后，经各区科技主管部门推荐、专家评议、网上公示等程序，上海控安自研产品“智能嵌入式单元测试用例设计工具软件”入选“2020年度上海市高新技术成果转化项目自主创新十强”，上海控安总经理蒲戈光教授荣获“2020年度上海市高新技术成果转化先锋人物”荣誉称号。

市科委副主任谢文澜为会议致辞。他表示，创新是上海的“城市基因”，也是推动高质量发展的根本动力。多年来，上海从制度保障、政策供给、能力提升等方面全方位推进科技成果转化，形成了供给端、需求端和服务端“三端发力”的体系化布局。

回顾过去，高转政策历时二十余载，在推动本市高新技术产业发展、培育企业核心竞争力等方面发挥了重要作用，目前累计认定高转项目近1.5万项，落实专项资金超110亿元，落户人才超过3000人。今年是高转项目新政实施以后的第一年，面向未来，上海高转政策将全力打好财政支持、人才落户政策的组合拳，紧扣全力做强创新引擎，打造自主创新新高地这一主线，加速科技成果向现实生产力转化，疏通成果转化的双向链接快车道，推动企业创新不断迈向新台阶。

上海控安首席信息官杨昆与会发表“强基补链——实现工业软件卡脖子技术新突破”主题演讲，分享了控安入选项目成果的研发和产业化历程，以及控安人秉承“为工业安全赋能”的初心使命，不断攻克制约工控系统安全关键共性技术的实践经验。

上海控安入选项目成果“智能嵌入式单元测试用例设计工具软件”作为一款软件代码测试和验证工具，以“国外工具软件的国产化替代”为目标，对标美国Vector、德国Tessy、英国Testbed等工具，填补国内嵌入式系统测试工具软件技术空白。利用程序分析技术和动态符号执行技术，实现智能化、自动化的单元测试。通过该工具，用户能够快速对安全攸关的代码进行单元级别的白盒测试、黑盒测试及回归测试，从而进一步提升单元测试的效率。

目前，该项目成果已经测试航空航天、地铁信号、汽车电子、核电控制等领域软件代码超过800W行，平均语句覆盖率超过80%，具有显著的技术后发优势。该工具支持的重点项目包括：嫦娥五号、天问一号、上海10号线、新一代汽车开放系统架构等，在航天五院、普华软件、申通地铁，卡斯柯等高可信工业领域代表性企业的项目中得到应用和认可。

未来，上海控安将继续秉持开放、合作、共赢的理念，以攻克战略布局中的卡脖子技术、关键共性技术为核心目标，持续推动上海高新技术产业发展，为上海城市数字化转型保驾护航！