LDRA_Testbed中文使用指南1.1.doc

e LDRA Testbed 入 门 使 用 指 南 联系电话： 021上海），010北京） 028成都），0755-3581788（深圳）  LDRA Testbed 1 一．源代码文件（Source Files） 1 1.1概述 1 1.1.1基于单个文件的分析 1 1.1.2基于多个文件的分析 1 1.2对源代码的要求 1 二．Testbed图形用户界面概述 2 2.1图形用户界面 2 2.2Testbed菜单 3 2.3快捷键 3 三．Testbed和编译器设置 4 3.1以命令行使用方式安装编译器 4 3.1.1在Windows9x上安装VC++ 4 3.1.2在WindowsNT，2000和XP上安装VC++ 4 3.2测试编译器安装是否正确 5 3.3Borland公司的编译器 6 3.3.1太多的警告产生的错误 6 3.3.2 DOS命名问题 6 3.3.3输出名设置 7 四．分析单个文件（GUI） 8 4.1运行Testbed 8 4.2选择源文件testrian.c/cpp 8 4.3删除源文件已经存在的工作文件 9 4.4 Testbed向导对话框 9 4.5检查分析范围设置 10 4.6质量模型设置 11 4.7选择分析选项 12 4.8清除当前的选择 12 五．主要静态分析 13 5.1运行静态分析并察看结果 13 5.1.1图形化显示分析结果 13 5.1.2文本显示分析结果 15 六．复杂度分析 18 6.1运行复杂度分析并察看结果 18 6.1.1图形化显示分析结果 18 6.1.2文本显示分析结果 20 七．静态数据流，交叉索引，信息流和数据对象分析 22 7.1运行各项分析 22 7.2察看分析结果 23 7.2.1察看静态数据流分析结果 23 7.2.2察看交叉索引的结果 24 7.2.3察看信息流分析结果 24 7.2.4察看数据对象分析结果 25 7.2.5察看质量报告 25 7.2.6察看其他分析结果 26 八．动态分析 28 8.1进行动态分析 28 8.2选择执行插装程序命令 29 8.3选择动态覆盖率分析选项 30 8.4执行分析 31 8.5执行插装程序 31 九．深层次的动态分析 34 9.1再次执行插装后的程序 34 十. 以集（set）的方式进行分析 37 10.1设置集属性 37 10.2往集里添加文件 38 10.3集的分析及结果察看 39 十一. 附注：数据流分析 40 十二. 附注：信息流分析 42 十三. 分析自己的代码 44 13.1概述 44 13.2基本规则 44 13.3分析范围 44 13.4编译插装后的代码 46 13.4.1概述 46 13.4.2初步 46 13.4.3自动过程 46 13.4.4进一步 47 一．源代码文件（Source Files） 1.1概述 LDRA Testbed既能分析单个的文件也能通过“集”(set)的方式同时分析多个文件。 1.1.1基于单个文件的分析 本使用指南将以如何使用Testbed来分析示例程序testrian.c/cpp为中心，来介绍Testbed的基本功能。这个示例程序很简单，因此很容易对其进行分析，作为示范，它能很快的让用户对Testbed的广泛的功能有一个直观的了解。 testrian.c/cpp这个程序的功能是，让用户输入三个整数，然后判断以这三个整数为三边能否构成一个三角形；这个程序中存在一些问题和缺陷，这些在Testbed的分析结果中能反映出来。这样初级用户就能够通过对这个例子的分析对软件的使用和作用有一个快速的了解和掌握。 1.1.2基于多个文件的分析 除了能分析单个源文件外，Testbed还能以“集”(set)的方式对多个文件同时进行分析。一个set可以有下面两种模式： Group(default) System Group这种模式下，Testbed对一个set中的文件进行相互独立的分析，这样对于一批文件就可以一次分析完，而不需要一个个的导入工具来进行分析。 System这种模式下，Testbed将这个set中的所有文件是作为一个整体来分析的，会给出这些文件内函数相互间的调用关系，变量引用等等结果，也就是将这些文件作为一个工程来分析。 1.2对源代码的要求 用Testbed进行分析的源代码要符合以下要求： 符合编程语言标准； 没有语法错误（编译能通过）； 如果要做动态分析的话，需要用户的程序能够运行；二．Testbed图形用户界面概述 2.1图形用户界面 下面这个图将介绍Testbed图形用户界面分哪几个区域以及都包含那些内容： （图2-1） 标题栏 标题栏显示的是当前Te