LDRA(Testbed) --- 单元测试环境 --- 正确性验证

选择文件

打开Testbed软件，File -> Select File…，选择LDRA_Workarea\Examples\C_tbrun_examples\Array目录下的Array.c

选择编译器

选择相应的编译器。这里的两处下拉菜单建议保持一致。
这里的下拉菜单选项是和C:\ProgramData\LDRA\TESTBED.INI相对应的：

运行TBRun

点击下图位置（弹出的提示菜单一律点ok）：

创建序列

来到Tbrun界面：

Continue

验证环境

后面的弹出界面，一路Continue.
在I/O窗口上填写输入输出

最后点击如下按钮运行

若出现Pass/Fail界面，如下

点击OK后，工具会开始覆盖率统计工作，结束后可在File View窗口看到覆盖率详情。

至此，代表您的环境是正确的。