LDRA Testbed静态分析操作步骤.docVIP

PAGE 1 使用LDRA Testbed对代码进行静态分析 静态分析的主要操作： ①分析对象选择 ②分析前的设置 ③分析项的选择与分析过程 ④分析结果的查看 详细操作如下： 分析对象的选择，即如何选择你的分析对象(被分析的文件)； 有两种方式：单个文件分析和以集(set)的形式分析，以集的形式分析可每次分析多个文件 单个文件分析选择 打开程序LDRA Testbed，点击Testbed的菜单File?select file 通过文件浏览窗口打开文件要分析的文件，如C:\LDRA_Workarea\Examples\C_testbed_examples\Testrian\Testrian.c 。 点击select之后，可以在工具快捷按钮栏的下方看见目前选择的文件 以集(set)的形式分析选择 创建集合(set),设置集合属性 打开程序LDRA Testbed，点击Testbed的菜单Set?Select/Create/Delete Sets 弹出set创建窗口 在图中上部的Select/Create Sets区域写入set的名字，然后点击下部的Create按钮创建set，此时会弹出set的属性设置对话框，有两种属性可以设置”Group”和”System;” 此两种属性的区别： Group 只是把set中的多个文件孤立的分析，不会分析文件间代码的相互关系，可作为批量分析使用。