低层需求测试活动,采用LDRA Testbed工具的Tbrun模块进行,Tbrun既可以在宿主机环境使用,也可以在目标机环境使用。可在宿主机中先编写好tcf文件,执行成功后再到目标机中进行验证。
首先点开,在界面中选择Single File,添加需要测试的.c文件;
在“Existing Analysis Results”中双击添加的.c文件;
然后选择所需编译器,点击Testbed菜单Configure->Switch Compiler ,在弹出窗口的编译器列表中选择目标编译器,然后点击OK按钮即可;
在进行低层测试工作前,还需对代码进行静态分析并插桩代码;点击图示箭头指向图标,进行静态分析;