LDRA Unit Test步骤

通过LDRA做uint test 不能直接通过TBrun启动，必须通过LDRA Testbed开始

单击红框

选取目标.c文件 最好一个.c一个.c的做

导入.dat文件

设置参数


一般–↓–和–↑–之间的不需要管
–↓–
导入.C的头文件路径，然后点击添加，如果不在Search Paths里说明.dat文件有误


–↑–

选MISRA-C:2012,其他默认


选功能安全等级




做完之后点OK


运行完成后会自动弹出Tbrun界面 创建Sequence


Keep settings as default. 可以勾上



新创建的 Seq 会预编译一次，如下 log 表示创建成功：

右击函数名创建TC



开始运行按Run Driver Program



如果当前跑的函数如右图两个都是在百分之九十以上，则可以右击选挂起，再创建新的函数去跑，等所有的函数跑完了，再把所有的挂起再打开，总的跑一次


如果不知道哪些分支没跑完，右击函数名，选View 。。。 查看

像下图红框中两个读取函数最终都调用同一个函数的，在某个函数中被调用两次以上的情况下，只能通过定义两个以上的全局变量再分别赋值才能打桩成功，否则无法只想下面的if判断

当有函数返回判断的分支时



函数分支没有覆盖全

右击COPY再创建一个，把另外设置未跑到的分支的进入条件

所有做完之后 ，导出Sequence,导出的文件可以下次再使用

导出测试结果



出现下图说明完成了