SureSoft：CONTROLLER TESTER

代码动态验证工具

一、为什么选择CONTROLLER TESTER

区别

优势

 

预期效果

01 提高品质，提升SW质量及确保客户的信赖

02 降低成本，降低测试和维护成本

 

二、需求

Mission Critical 领域的安全性和可靠性认证

• 通过测试实现结构覆盖目标
• 需要在实际目标环境中进行测试

三、解决方案

单元/集成测试执行和覆盖率测定

• 自动创建测试和自定义测试
• 可测量语句、分支、函数、函数调用覆盖率和MC/DC

 

实际目标环境测试

• 一键点击即可在实际目标上检查测试执行和结果（联动Debugger）
• 支持多种环境配置和通信方式（Serial/Ethernet/JTAG）
• 

四、功能

1、存根函数

• 能够用存根（桩函数）替换难以控制的原始函数

测试以存根而不是原始函数的形式返回所需的值

 

 

为未定义的函数（库等）自动生成存根

 

 

 

2、模拟对象（Mock）功能

• 进行C++测试时，可以快速、可靠地代替对象依赖项的功能

 

测试目标的对象依赖自动识别和代码生成

 

 

通过GUI输入模拟对象(Mock)明细

 

 

行为验证(Behavior Verification)

 

 

3、控制流图(Control Flow Graph)

• 提供控制流图以帮助理解源代码
• 结合远大吗查看覆盖率结果

 

 

3、MC/DC

• 为实现领域要求的MC/DC目标提供指导

 

4、扩展性 (Scalability)

• 能够测试大型复杂的SW和大容量的测试数据

 

 

5、COVER 产品共享覆盖率

• 自下而上的方法快速实现覆盖目标

 

 

5、测试再利用

• 提供在源代码更改后重用测试的便利功能

 

更改源代码自动检测（完整性检查）

 

 

为变更对象提供基于相似度的推荐/ 自动匹配功能( 批量修改)

 

 

6、基于符号执行自动生成测试输入

• 诊断程序运行要素，自动实现主要逻辑的覆盖目标
• 支持基于主机的所有单元/集成测试

 

 

 

基于符号执行自动生成测试输入

• 自动生成高质量的测试输入

 

※ 什么是高质量测试输入？

• 反映源代码逻辑
• 满足测试需求（覆盖率）

→ 可确认需求事项和一致性

→ 快速实现目标

• 导致意外错误
• 将测试用例数量保持再最低限度

→ 确认无效代码编写

→ 降低测试维护成本

五、规范

详细环境

 

硬件推荐

 

无人机DO-178B A级案例（ETRI、KAI）