........................................... 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 进一步............................................................................... 47Testbed 中文使用指南 源代码文件 一.源代码文件(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 可以有下面两种模式: Groupdefault System Group 这种模式下,Testbed 对一个 set 中的文件进行相互独立的分析, 这样对于一批文件就可以一次分析完,而不需要一个个的导入工具来进行分 析。
System 这种模式下,Testbed 将这个 set 中的所有文件是作为一个整体来 分析的,会给出这些文件内函数相互间的调用关系,变量引用等等结果,也 就是将这些文件作为一个工程来分析。
1.2 对源代码的要求 用 Testbed 进行分析的源代码要符合以下要求: 符合编程语言标准; 没有语法错误(编译能通过); 如果要做动态分析的话,需要用户的程序能够运行; 上海创景计算机系统有限公司 1Testbed 中文使用指南 Testbd 图形用户界面概述 二.Testbed 图形用户界面概述 2.1 图形用户界面 下面这个图将介绍 Testbed 图形用户界面分哪几个区域以及都包含那些 内容: 1 2 3 4 5 6 7 8 9 (图 2-1) 1. 标题栏 标题栏显示的是当前 Testbed 的版本信息和版权信息; 2. 菜单栏 通过菜单栏用户可以点击下拉菜单来完成文件选取,分析,以 及察看结果等个项功能; 3. 工具栏 工具栏中是 Testbed 的一些常用功能的快捷按钮; 4. 输入源文件 显示的是当前被选中的源文件或 set 的名字;如果正在 分析一个 set,则当前正在被分析的单个文件的名字将被显示; 5. Log 窗口 这个窗口告诉用户工具当前正在进行什么分析操作; 6. 选项窗口 这个窗口用来显示当前选择可哪些分析项; 7. 执行状态窗口 这个窗口显示的是已经被执行了的分析项; 8. 分析状态栏 这里显示的是当前正在执行的分析项; 9. 状态栏 这里显示的是当前选中的菜单项的功能,也包快捷键信息; 上海创景计算机系统有限公司 2Testbed 中文使用指南 Testbd 图形用户界面概述 2.2Testbed 菜单 Testbed 的大多数命令都包含在了 Testbed 的下拉菜单中了。
用户可以通 点击菜单的的方式完成期望的操作。
注意:菜单中的某些选项是要在完成了其他的一些分析后才可用的;如果菜 单中的某些选项始终是灰色的(不可用),这是由于您没有购买软件 相应的功能模块。
2.3 快捷键 Testbed 的一些菜单选项可以通过快捷键来访问。
相应的菜单的快捷键就 是菜单名字中带下划线的字母加 Alt 键,下拉菜单中的选项的快捷键是相应 的选项名字中带下划线的字母;如何我们要通过快捷键方式执行 select 命令 着操作如下: 先按 Alt+F 键 再按 S键 上海创景计算机系统有限公司 3Testbed 中文使用指南 Testbd 和编译器设置 三.Testbed 和编译器设置 Testbed 可以在自己的集成环境下编译插装之后的程序,但是要求编译器 能够在命令行模式下正常运行。
3.1 以命令行使用方式安装编译器 要正确的设置你的编译器,使其在 GUI 模式和命令行模式都能正常的使 用,具体的设置请查看编译器的相关文档。
下面我们将介绍如何设置 MSVC 和 Borland 的编译器。
3.1.1 在 Windows9x 上安装 VC 在 Windows95/98 的系统上设置 MSVC 编译器最好的办法是在你的 在 autoexec.bat 中加入一个调用。
“开始”菜单中点 , “运行” 然后输入 sysedit, 在 autoexec.bat 中加入如下内容: 对于 MSVC4.0: call c:msdevbinvcvars32.bat 对于 MSVC5.0: call C:PROGRA1DEVSTU1VCBINVCVARS32.BAT 对于 MSVC6.0: call C:PROGRA1MICROS3VC98BINVCVARS32.BAT 3.1.2 在 WindowsNT,2000 和 XP 上安装 VC Windows NT 系统的路径设置在系统环境变量中设置。
Windows2000 的 环境变量的设置为:开始-gt控制面板-gt系统-gt高级-gt环境变量。
上海创景计算机系统有限公司 4Testbed 中文使用指南 Testbd 和编译器设置 MSVC 编译器在安装的时候会有对话框询问是否添加编译器的路径设置 到系统环境变量,选择“是”就会自动完成系统环境变量的添加;如果没有 自动添加,那么就需要手动添加。
察看 vcvars32.bat 来确定需要添加哪些环 境变量,下面是一个例子: include C:Program FilesMicrosoft Visual StudioVC98atlincludeC:Program FilesMicrosoft Visual StudioVC98mfcincludeC:Program FilesMicrosoft Visual StudioVC98include lib C:Program FilesMicrosoft Visual StudioVC98mfclibC:Program FilesMicrosoft Visual StudioVC98lib MSDevDir C:Program FilesMicrosoft Visual StudioCommonMSDev98 path C:ProgramFilesMicrosoftVisualStudioCommonToolsWinNTC:ProgramFilesMicrosoft VisualStudioCommonMSDev98BinC:ProgramFilesMicrosoftVisualStudioCommonToolsC: Program FilesMicrosoft Visual StudioVC98bin 请根据您机器的相应路径进行设置。
3.2 测试编译器安装是否正确 打开一个 dos 窗口,输入编译命令,看能否得到正确的结果。
下面是一 个 VC 的例子: C:WINNTgtcl Microsoft 32-bit C/C Optimizing Compiler Version 11.00.7022 for 80x86 Copyright Microsoft Corp 1984-1997. All rights reserved. usage: cl option... filename... /link linkoption... 上面的结果说明 MSVC 编译器的路径设置正确,下面是设置不正确的情 况: C:WINNTgtcl Bad command or file name 同时,您还需要设置编译器的 lib 和 include 相应的环境变量,您可以用 set 命令察看您当前的设置: C:WINNTgtset TMPC:WIN95TEMP TEMPC:WIN95TEMP PROMPTpg winbootdirC:WIN95 COMSPECC:WIN95COMMAND.COM MSINPUTC:PROGRA1MSINPUT MSDEVDIRC:Program FilesMicrosoft Visual StudioC
上一篇:
【精品】应用程序上下文组件2011
下一篇:
布匹出口单管理系统[开题报告+论文+源代码+答辩ppt+外文翻译]