通过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,导出的文件可以下次再使用
导出测试结果
出现下图说明完成了