QESat使用说明.doc

QESat使用说明 QESat/C自述文件 目录 产品概述 安装与卸载 实例展示 产品概述 QESAT/C(Quality Easy － Software Analysis and Test tool / C) ，是由北京航空航天大学软件工程研究所开发的 C软件分析与测试工具。它是您在软件开发过程中为确保软件质量而不可缺少的一个重要工具。它帮助分析和测试程序，使您更快捷有效地理解程序结构，及早地发现程序中暗藏的错误，提高程序的质量。 图 2.1所示画面，弹出图 2.2 安装程序之简介图 2.，用户选择接受协议，然后点击“下一步”进入图2.4 ， 图 2.中用户填写用户名和单位名称，选择本软件的使用权限，然后点击“下一步”。在 图 2.系统默认安装到 C:\Program Files\QESAT 目录下，您也可以点击“”按钮更改安装路径。 图 2.您可以选择需要安装的软件类型包括：典型安装，最小化安装和自定义安装，这里我们推荐默认的典型安装；点击“下一步”进入最后一步； 图 2.这是您在以上步骤中所进行的配置信息的汇总，确认无误后，点击“安装”，QESat将自动安装到您的机器上。 当您想要卸载本系统时，只需运行开始—程序－QESAT—Uninstall QESAT，并在弹出的对话框中选择“确定”，即可自动卸载本软件。 图 2.1安装流程 图 2.安装流程 图 2.安装流程 图 2.安装流程 图 2.安装流程 图 2.安装流程 图 2.安装流程 实例展示 创建及配置新项目 分析和测试流程 我们将介绍使用本系统对简单的helloworld程序进行测试，来向用户展示本系统的配置及使用方法。待测的源程序如图3.1所示： 图3.1 待测源程序 双击启动QESAT后，系统如图3.2所示： 图3.2 启动后的系统界面 创建及配置一个新项目 选择项目路径 选择菜单“项目 / 新建项目 … ”，工具会打开一个对话窗口 图3.3 选择项目路径对话框，由用户选择新建项目所在的路径并输入一个自定义项目名，系统会为项目名自动加上.pjt 后缀。 我们在这里为被测项目取名为 test。选择保存在D:\QESat\QESat_C目录下。系统会自动在指定路径下生成一个项目文件 test.pjt ，然后由用户来配置该项目文件。 图 选择项目路径对话框 图选择项目模板对话框 附加头文件路径，就是指除了编译器提供的系统头文件以外，用户自定义的、或选自其他库的第三方头文件。 图 设置路径 设置源文件与编译参数 图 设置源文件与编译参数 最后，设置静态库和链接参数。 设置链接参数 图 配置链接函数 图3.8系统主界面 项目配置 ”中的“项目配置”按钮在 图 3.9 项目配置窗口 中对配置属性进行修改。 图3.9项目配置 分析和测试流程 如图3.10所示，我们可以通过依次选择“过程”菜单中的各个选项或者顺序点击红框中的快捷按钮来完成对hello.c的分析和测试。 图3.10系统主界面 静态分析 E:\test\hello.c 然后点击“确定”，系统就会自动完成对源程序的静态分析。 图3.11文件选择 静态分析之后系统界面如图3.12所示：系统将静态分析得到的信息展示在各个视图中，我们可以通过手动的选择去查看不同的信息。 图3.12静态分析完毕界面 动态插装 图3.13选择需要插装的方法对话框 运行 动态合并被测程序执行完毕后，单击菜单“动态合并”，把系统收集的动态结果汇总。窗口中自动显示多次测试的统计覆盖情况动态运行结果示例