原标题：上海控安SmartRocket系列产品推介（一）：TestGrid嵌入式软件智能化测试工具

　　如果说软件成为未来世界的基础，那么软件单元将是基础中的基础。若想开发出高质量的软件，源代码缺陷检测不可或缺，但是人工进行代码缺陷检测时，无法保证所有源码都被检测到且仍然存在较高风险。此外汽车电子领域等高安全领域，对单元测试有较高的行业标准，对集成测试有明确的需求，但是面对着测试人员手动编写测试用例带来的效率低、时间人力成本高等困境。同时，以IEC 61508为基础的功能安全标准体系，对软件的单元测试均有明确的技术要求。如，ISO 26262汽车电子功能安全标准第六部分明确提出，软件单元测试要满足语句、分支、MC/DC等测试覆盖指标。

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

　　可以自定义检测模板，通过知识中心快速了解和查阅每条缺陷的具体内容。缺陷结果按规范和文件两种方式分类，页面直接呈现分析结果，每条缺陷出现的具置都可定位。

　　全面覆盖形参、全局变量、桩函数、桩函数形参等数据。支持语句、分支、MC/DC及边界覆盖准则，能够满足IEC 61508-3:2010(工业通用)、EN 50128:2011(轨道交通)、ISO 26262-8:2018(汽车电子)等行业规范中的单元测试。自动分析被测工程并基于先进动态符号执行技术智能生成高覆盖、低冗余的测试用例。

　　支持部分集成和全部集成，可以自主设置调用函数是否打桩，充分实现不同情况下不同集成测试的需求。支持查看函数之间的调用关系，可以进行图形化的用例管理，满足功能正确性测试和结构化覆盖率测试等要求。

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

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

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

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

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

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

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

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