SmartRocket TestGrid / 嵌入式软件自动化测试平台

产品概述

SmartRocket TestGrid支持C和C++语言,能够同时进行静态分析、单元测试和集成测试,支持不同等级的结构化覆盖测试要求,支持目标机的适配与测试。

静态分析支持根据国军标、MISRA等标准对源码进行代码合规性检查;单元测试利用动态符号执行技术,自动生成覆盖率高达100%,满足语句、分支、MC/DC覆盖准则的测试用例;集成测试支持调用函数集成程度的自主控制。

欢迎试用

特色功能

  • 静态分析

    支持GJB8114、GJB5369、MISRAC2004、MISRAC2012、MISRAC++2008、TJ_DW230-2020-C等规则集对源代码的合规性检查,可以自定义检测模板,通过知识中心快速了解和查阅每条缺陷的具体内容。缺陷结果按规范和文件两种方式分类,页面直接呈现分析结果,每条缺陷出现的具体位置都可定位。

  • 单元测试

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

  • 集成测试

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

  • 目标机

    可以根据项目的真实环境进行适配,已支持STM32(或GD32,CH32,APM32等类似级别的ARM Cortex M或RISC-V单片机)、TI的C2000系列DSP。

价值优势

  • 高覆盖单元测试

    单元测试时无需单独投入专门的测试人员,开发人员在编码完成后一键即可进行单元测试。支持基于代码自动生成高覆盖率和低冗余的结构覆盖用例,满足语句覆盖、分支覆盖和MC/DC覆盖,通常覆盖率可达80%~90%以上。

  • 一体化测试平台

    通过SmartRocket TestGrid一款工具,即可轻松完成静态分析、单元测试、集成测试。自动化整个测试过程,开发人员和测试人员可以共同使用。

  • 简约的用户体验

    工具界面简洁,操作简单,可以快速上手,学习成本低,具备优秀的用户体验。工具采用B/S架构,可以跨平台使用,对客户端的计算机电脑配置要求较低,使用场景更加方便灵活。

  • 多平台无缝集成

    工具支持Windows、Linux和麒麟系统。可以方便的与大部分现有的基于网络的软件开发管理平台或者DevOps工具进行集成,支持集成到Jenkins持续集成的任务系统和其他三方软件开发管理平台中。

典型应用

  • 探月工程三期

  • 上海地铁信号

  • 车载ECU系统

  • 航空航天

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

  • 地铁信号

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

  • 汽车电子

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