QESat使用说明.doc

QESat使用说明 QESat/C自述文件目录产品概述安装与卸载实例展示产品概述QESAT/C(Quality Easy Software Analysis and Test tool / C) ，是由北京航空航天大学软件工程研究所开发的 C软件分析与测试工具。它是您在软件开发过程中为确保软件质量而不可缺少的一个重要工具。它帮助分析和测试程序，使您更快捷有效地理解程序结构，及早地发现程序中暗藏的错误，提高程序的质量。 安装与卸载C 软件分析与测试工具在 Windows 环境下的安装十分简单。您只需将您的光盘放入 CD-ROM 驱动器中，然后自动运行即可，也可以打开光盘，点击setup.exe进行 。如果您的机器上没有安装Java虚拟机，请先安装光盘上提供的Java虚拟机软件。如果您的机器上已经安装了 Java 虚拟机 1.4 以上版本，不需要再安装虚拟机。运行 setup.exe 后，系统弹出图 2.1安装准备画面所示画面，弹出安装准备进度；在图 2.2 安装程序之简介中点击“下一步”，安装程序进入。图 2.3用户许可证议，用户选择接受协议，然后点击“下一步”进入图2.4 ， 图 2.4用户信息修改中用户填写用户名和单位名称，选择本软件的使用权限，然后点击“下一步”。在 图 2.5安装路径选择系统默认安装到 C:Program FilesQESAT 目录下，您也可以点击“更改”按钮更改安装路径。 路径选择完毕，点击 “下一步”； 图 2.6安装类型选择您可以选择需要安装的软件类型包括：典型安装，最小化安装和自定义安装，这里我们推荐默认的典型安装；点击“下一步”进入最后一步； 图 2.7安装信息汇总这是您在以上步骤中所进行的配置信息的汇总，确认无误后，点击“安装”，QESat将自动安装到您的机器上。当您想要卸载本系统时，只需运行开始程序QESATUninstall QESAT，并在弹出的对话框中选择“确定”，即可自动卸载本软件。图 2.1安装准备画面 安装流程图 2.2安装程序介绍安装流程图 2.3用户许可证协议安装流程图 2.4用户信息修改安装流程图 2.5安装路径选择安装流程图 2.6安装类型选择安装流程图 2.7安装信息汇总安装流程实例展示创建及配置新项目分析和测试流程我们将介绍使用本系统对简单的helloworld程序进行测试，来向用户展示本系统的配置及使用方法。待测的源程序如图3.1所示：图3.1 待测源程序双击启动QESAT后，系统如图3.2所示：图3.2 启动后的系统界面创建及配置一个新项目l 选择项目路径选择菜单“项目 / 新建项目 ”，工具会打开一个对话窗口 图3.3 选择项目路径对话框，由用户选择新建项目所在的路径并输入一个自定义项目名，系统会为项目名自动加上.pjt 后缀。 我们在这里为被测项目取名为 test。选择保存在D:QESatQESat_C目录下。系统会自动在指定路径下生成一个项目文件 test.pjt ，然后由用户来配置该项目文件。图3.3 选择项目路径对话框 单击“下一步”进行项目模板选择l 选择项目模板本系统是一个集成的测试系统，能对不同类型的 C应用进行测试，所以要选择相应的支持模板。 由于单机版仅提供基本的C项目测试，因此在这一步中用户仅需要选择唯一的C项目类型，并点击下一步即可。图3.4选择项目模板对话框 l 设置附加头文件路径所谓附加头文件路径，就是指除了编译器提供的系统头文件以外，用户自定义的、或选自其他库的第三方头文件。 由于本例子只是简单的helloworld演示程序并没有自定义的头文件，所以我们保持系统的默认值就可以。图 3.5 设置头文件路径 单击“下一步”设置源文件与编译参数。l 设置源文件与编译参数 这里要设置的是整个被测项目所涉及到的所有源文件的列表,如图3.5所示。本示例中的源文件存放在C盘的跟目录下，命名为hello.c。如果有一些源文件对于最后的链接和运行是必须的，但您并不想对它们进行静态分析，也请添加在这里。如果没有单独指定，源文件列表里的所有源文件将使用“项目预处理参数”和“项目编译参数”来进行预处理和编译。如果有个别源文件，它有一些特殊的预处理参数和编译参数，您可以在列表理双击它，然后在“被选中文件的完整参数”中进行指定。图 3.6设置源文件与编译参数 最后，设置静态库和链接参数。 l 设置链接参数 这里所要设置的库文件，就是链接所需的静态库文件。至于项目运行所需要的动态库文件，请用户自行添加在操作系统的环境变量里。当然，对 GCC 项目来说，链接的时候也要指明动态库的名称，这就需要用户自己在“链接参数”中写明了。本示例中并无对此的要求，只要保持系统默认值即可。图 3.7配置链接函数 点击“完成”完成了建立项目的所有步骤。l 完成建立项目完成建立项目以后，系统会自动进入主界面如图图3.8系统主界面l 项目配置 如果需要对项目的配置做出改变，单击“项目”中的“项目配置”按钮在 图 3.9 项目配置窗口 中对配置属性进行修改。图3.9项目配置分析和测试流程如图3.10所示，我们可以通过依次选择“过程”菜单中的各个选项或者顺序点击红框中的快捷按钮来完成对hello.c的分析和测试。图3.10系统主界面l 静态分析 l 在点击“静态分析”后，系统会弹出对话框，如图3.11所示，我们选中待测的源程序：E:testhello.c 然后点击“确定”，系统就会自动完成对源程序的静态分析。图3.11文件选择静态分析之后系统界面如图3.12所示：系统将静态分析得到的信息展示在各个视图中，我们可以通过手动的选择去查看不同的信息。图3.12静态分析完毕界面 l 动态插装 静态分析结束后，点击 “动态插装”对源程序进行插装。会弹出图3.13所示的对话框，我们选择我们需要插装的方法：main，并选择默认记录的覆盖信息：分支覆盖和函数覆盖，然后点击“确定”，系统自动完成动态插装。图3.13选择需要插装的方法对话框 l 动态运行 之后，我们点击“动态运行”来运行待测的源程序，系统会弹出对话框让我们设置运行参数。如图3.14这里由于我们的程序有控制台输出，所以我们选择第三项“控制台程序（手动关闭）”；点击“确定”系统会将