上海控安加入“绽放行动”，联合打造基于自主平台工业嵌入式测试软件解决方案

随着万物互联时代的到来，嵌入式系统的应用已覆盖航空航天、轨道交通、汽车电子、消费电子、网络通讯、数字家电、工业控制等众多领域，需求爆炸式增长的同时，嵌入式系统代码缺陷、安全漏洞成为行业应用中面临的主要挑战。上海工业控制系统安全创新功能型平台(以下简称“上海控安”)作为连接产学研用政资等相关主体的工业安全产业生态服务平台正式加入“绽放行动”，针对嵌入式系统研发中验证测试软件95%都是国外产品的现状，携手麒麟软件、飞腾联合攻关，共同打造基于自主创新平台的工业嵌入式测试软件联合解决方案，为我国工业安全保驾护航。

方案基于飞腾CPU和银河麒麟高级服务器操作系统V10，实现了工业嵌入式智能化测试软件（即SmartRocket TestGrid）与国产基础软硬环境的完美融合，满足行业标准要求，并获得TÜV南德的功能安全认证，工具、测试报告均符合功能安全标准要求，满足了工业嵌入式系统软件高可靠、高安全等级的测试验证需求；同时，方案融合软件代码分析中的动态符号执行核心技术，打破了传统的“手写用例+测试工具”的测试方法，100%满足语句覆盖、分支覆盖和MC/DC覆盖，实现测试用例自动生成，自动化整个单元测试过程，提升了测试效率，提高测试用例质量，用户可大幅降低测试成本。

方案架构图

使用基于银河麒麟操作系统和飞腾芯片的TestGrid软件，可以自动生成高覆盖率、低冗余的结构覆盖用例，函数的平均语句覆盖率高达85%，且超过半数的函数可以达到100%覆盖率，为客户最大限度的提高了测试效率，在典型业务场景下性能优异，运行稳定。

汽车电子行业遵循ISO26262标准，对于需要达到ASIL-D安全等级的工程，同样需要耗费大量的人力及时间来编写用例。该方案的软件测试工具生成的用例能够无缝应用于汽车电子行业，从而帮助测试人员快速达到语句、分支、MC/DC的代码覆盖率要求。

轨交信号系统是轨交控制的中枢，在轨交信号系统测试中，需要根据不同的SIL等级来进行相应的单元测试。传统测试中，测试用例编写依靠人力实现，一些对MC/DC覆盖率有着严苛要求的软件代码测试，必然会耗费大量的人力及时间。使用该方案的软件测试工具，可以极大地减少人力成本及时间成本。

在某控制系统研究所项目中，采用本方案开展单元测试，完成单元测试工程创建、用例设计、脚本生成、调试执行、覆盖率分析与收集、测试结果报表生成、测试回归与迭代、测试状态与基线管控的全流程覆盖等测试工作，为客户的控制系统及电子控制器和控制软件的研发、制造、集成，以及柔性联轴器的研发、生产中软件缺陷检测提供了全方位的服务。方案的成功应用再次证明了飞腾CPU与银河麒麟操作系统自主创新平台的安全性与可靠性。