Controller Tester Guide Documents

Controller Tester 代码动态验证解决方案

Needs

Mission Critical 关键任务领域需要安全性及可靠性认证

§通过测试必须达成结构性覆盖率目标 

§在实际目标环境中测试的必要性

Solution by CONTROLLER TESTER

单元/集成测试执行及覆盖率测量

§可自动生成测试并支持定制 

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

可在实际目标环境中执行测试

§可一键在实际目标中执行测试并确认结果（调试集成） 

§支持多种环境配置及通讯方式（Serial/以太网/ JTAG）

CONTROLLER TESTER 功能

§可用存根（桩函数）代替难以控制的原始函数的功能

用存根函数代替原始函数返回需要的值进行测试

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

§控制流程图(Control Flow Graph)

提供便于理解源代码的控制流程图 

与源代码集成，确认覆盖结果

§为达成领域所要求的MC / DC目标提供指南

§可扩展性 (Scalability) 可进行庞大而复杂的软件测试及大量测试数据测试

§与COVER共享覆盖率

运用Top-Down的方式迅速达成覆盖率目标