为什么选择CONTROLLERTESTER

代码动态验证工具

为什么选择CONTROLLERTESTER

区别

优势

预期效果

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

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

需求

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

通过测试实现结构覆盖目标

需要在实际目标环境中进行测试

解决方案

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

自动创建测试和自定义测试

可测量语句、分支、函数、函数调用覆盖率和MC/DC

实际目标环境测试

一键点击即可在实际目标上检查测试执行和结果（联动Debugger）

支持多种环境配置和通信方式（Serial/Ethernet/JTAG）

功能

1、存根函数

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

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

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

2、模拟对象（Mock）功能

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

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

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

行为验证(BehaviorVerification)

3、控制流图(ControlFlow Graph)

提供控制流图以帮助理解源代码

结合远大吗查看覆盖率结果

4、MC/DC

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

5、扩展性(Scalability)

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

6、COVER产品共享覆盖率

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

7、测试再利用

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

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

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

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

诊断程序运行要素，自动实现主要逻辑的覆盖目标

支持基于主机的所有单元/集成测试

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

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

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

✓ 反映源代码逻辑

✓ 满足测试需求（覆盖率）

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

→ 快速实现目标

✓ 导致意外错误

✓ 将测试用例数量保持再最低限度

→ 确认无效代码编写

→ 降低测试维护成本

规范

详细环境

硬件推荐

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

审核编辑 ：李倩