上海控安-SmartRocket TestGrid嵌入式软件智能化测试工具丨确认申报2023金辑奖·中国汽车新供应链百强

申请技术丨SmartRocket TestGrid嵌入式软件智能化测试工具

申报领域丨软件

产品描述：

SmartRocket TestGrid支持静态分析，满足根据国军标、MISRA标准对源码进行质量分析；支持C/C++语言的单元测试，采用人工智能算法，利用自动推理与符号执行技术，分析程序路径，产生满足覆盖率的测试用例并在后台自动执行，对于C代码可以自动生成覆盖率高达100%的测试用例；支持不同程度的集成测试，用户通过设置调用函数是否打桩，实现调用函数集成程度的自主控制。

独特优势：

1）软件智能测试一体化支持根据编码规范的要求自动对代码完成分析，检测并定位代码中的缺陷;支持针对覆盖准则自动生成精简化的测试用例集，并在用例生成后自动执行，进行预期值的比对和最终结果的输出。

2）单元测试一键完成单元测试时无需单独投入专门的测试人员，开发人员在编码完成后一键即可进行单元测试。支持自动生成测试用例，在低冗余的同时满足语句覆盖、分支覆盖和MD/DC覆盖。

3）多角度多方位缺陷检查支持缺陷扫描和质量审查，分析完成后，可以同时进行缺陷查看和缺陷定位，能够大幅度提升代码健壮性。

4）服务定制、集成支持定制化测试报告，根据模板自动生成满足要求的测试报告。支持持续集成CI方案，满足代码提交后自动触发测试验证工作。

应用场景：

已为嫦娥五号、C919大飞机、直-6直升机、上海地铁17号线、Tier1厂商车门控制、ECU控制系统、造车新势力自动驾驶系统等重大工程提供支撑，测试航空航天、地铁信号、汽车电子、核电控制及开源软件超过1000万行代码。

未来前景：

1）航空航天卫星控制软件是卫星控制系统的核心，其功能复杂，单元测试覆盖率要求高，手工测试用例编写成本大，且容易出错。TestGrid能够自动生成满足语句覆盖、分支覆盖、MC/DC覆盖的单元测试用例，并自动进行测试执行，能够提高软件测试效率和软件产品质量。在某航天单位15万行代码测试中，TestGrid获得了超过90%的平均语句覆盖率。

2）轨道交通地铁信号系统是地铁控制的中枢，在地铁信号系统测试中，需要根据不同的SIL等级来进行相应的单元测试。传统测试中，测试用例编写依靠人力实现，对于MC/DC覆盖率有严苛要求的软件代码测试，必然会耗费大量的人力及时间。在某地铁信号单位的20万行代码测试中，TestGrid获得了平均超过85%的语句覆盖率，用例生成效果显著。

3）汽车电子汽车电子行业遵从ISO26262标准，对于需要达到ASIL-D安全等级的工程，同样需要耗费大量的人力及时间来编写用例。TestGrid生成的用例能够无缝应用于汽车电子行业，从而帮助测试人员快速达到语句/分支、MC/DC的代码覆盖率要求。在某汽车电子单位10万行代码测试中，TestGrid获得了超过85%的平均语句覆盖率。

金辑奖介绍：

由盖世发起，旨在“发现好公司·推广好技术·成就汽车人”， 并围绕着“中国汽车新供应链百强”这个主题进行展开，表彰在新“人机时代”下，汽车产业深度变革过程中，拥有头部影响力的企业以及正处于高速成长阶段的具有新技术、新理念、新模式的前瞻型公司，进行优秀企业及先进技术解决方案的评选，向行业内外展示这些优秀的企业和行业领军人物，共同推动行业的发展和进步。