LDRATestbed静态分析操作步骤.docxVIP

使用LDRA Testbed代码进行静态分析 静态分析的主要操作： 分析对象选择 分析前的设置 分析项的选择与分析过程 分析结果的查看 详细操作如下： 一、 分析对象的选择，即如何选择你的分析对象 (被分析的文件)； 有两种方式：单个文件分析和以集(set)的形式分析，以集的形式分析可每次分析多个文 件 单个文件分析选择 打开程序LDRA Testbed，点击Testbed的菜单file通过文件浏览窗口打开文件要分析的 文件，如 C:\LDRA_Workarea\Examples\C_testbed_examples\TestrianTestrian.c。 Analysis Tfirun IDtvolvsfileSelect Frevi ously Analysedl. File..- Analysis Tfirun IDtvolvs file Select Frevi ously Analysedl. File..- Select File from MSVC v6 Proj ect Select File or Set from TCF Save File or Set to T￡F Recent Sets Rtctnl Filas Bait 点击select之后，可以在工具快捷按钮栏的下方看见目前选择的文件  以集(set)的形式分析选择 ①创建集合(set),设置集合属性