[测试]QESatJava白盒测试工具

Java软件分析与测试工具是一个通用的软件分析和测试工具，适用于分析和测试各种类型
的应用软件和系统软件。被处理的软件可以是一个完整的程序、一个方法库、程序的一部分或
者是单一的方法模块。

Java软件分析与测试工具，是在基于Java技术开发过程中为确保软件质量而不可缺少的一
个重要工具。它帮助分析和测试程序，使开发人员更快捷有效地理解程序结构，及早地发现程
序中暗藏的错误，提高程序的质量。

QESAT-Java

Java软件分析与测试工具，是一个分析与测试的支持工具，也可以说是一个质量保证工
具，同时还是一个Java软件理解工具。它通过对Java软件的源代码进行分析和运行程序，提供
下列服务：

◆ 项目基本信息的提取功能：通过对源代码的分析，提取被测项目的基本信息，包括项目中
所含的包、类等，以及它们的相关信息（例如修饰符、所在行号等）。将这些通过逆向分析所
得的信息，组织成树的形式显示出来，既方便查看，又可作为浏览其它图或表时的导航。

◆ 项目中类的可视化分析功能：提供了整个项目中类之间的关系图（包括关联、聚集、继承
三种关系）。关系图均以类为结点、有向线段反映类之间的关系，采用层次型的布图方式反映
了软件粗粒度的结构。这些关系图支持测试信息的交叉显示，支持图的编辑和保存，还支持在
整体视图中显示单个类的个体行为。

◆ 方法内控制流程的分析功能：提供了项目中每个方法的控制流程图，是软件中粒度的结构
反映。静态分析出的控制流程，以图的方式显示出来，既反映了方法内部的结构信息，又表明
了每个控制流的可能走向。动态分析出的结果，以染色的方式标志在图上，反映了某次运行的
实际执行轨迹。

◆ 六种复杂性度量：这六种度量是国际上通行的衡量程序复杂度的指标。复杂度越高的程序
意味着内藏错误的危险性越高，测试工作也会成倍增加，程序难于理解和维护。

◆ 软件覆盖率测试：支持软件测试充分性的两种国际标准，语句覆盖率测试和分支覆盖率测
试，同时还支持基于面向对象的两种覆盖测试，类覆盖测试和方法覆盖测试。覆盖率测试的结
果，以两种方式直观显示。语句、分支覆盖的结果以在函数控制流程图及源代码上着色的形式
表示；另外，所有覆盖结果还提供可打印的表单。

◆ 程序执行频度分析：统计类被实例化的次数以及类中的方法被动态调用次数。结合程序的
动态执行频度和复杂度，有效指导改善程序的结构或算法以提高程序的执行效率。

Java软件分析与测试工具提供了一个支持多窗口、菜单驱动的用户工作环境。在这个操作
简明的工作环境中，用户可以方便地编译和运行程序，分析和检查程序结构及测试结果。