QESAT/C++软件分析与测试工具

　　QESat/C++ 是北京航空航天大学软件工程研究所自主研制的C++软件分析与测试工具。它采用静态分析技术帮助您快捷地分析和理解源程序，并采用插装技术支持对程序进行语句覆盖、分支覆盖、方法覆盖、类覆盖等白盒测试。QESat/C++不仅是软件开发人员必备工具，同时也是软件维护人员的得力助手。

• 程序基本信息的提取：QESat/C++通过分析源代码自动提取程序中的各种基本信息，包括程序中定义的文件和类，类中的成员变量和成员函数，以简洁的树形目录形式完整地显示给用户。用户可以在目录的引导下，便捷地选择和展示这些程序元素的详细信息和结构特点。
• 类图模型的可视化：QESat/C++可以自动地逆向生成程序的类图模型，并采用多种视图来展示程序中的类及其相互之间的各种关系，包括类的继承、关联和聚集关系。QESat/C++采用UML标准的类图模型表示法，使用自主设计的层次型自动布图算法来绘制类图。QESat/C++还提供了对类图布局的编辑、相关信息的交叉显示等功能。
• 方法的控制流程的可视化：QESat/C++可以自动地逆向生成方法的控制流程图，清晰展示方法内部控制结构。同时，根据被测程序动态执行结果，控制流程图中被执行过的分支将被自动着色，从而向测试者直观地展示出测试的进程。
• 六种复杂性度量的提取：根据静态分析的结果，QESat/C++提供了可执行语句数、McCabe圈复杂度、Halstead科学复杂度、类的DIT、NOC、RFC等六种度量。作为国际上通行的衡量程序复杂度的指标，它们成为软件人员评价软件质量的重要参考依据。复杂度越高的程序意味着内藏错误的危险性越高，程序难于理解和维护，测试工作量也会随之成倍增加。
• 软件覆盖率测试：QESat/C++支持传统的语句覆盖率测试和分支覆盖率测试，以及针对面向对象的类覆盖测试和方法覆盖测试。QESat/C++除了根据语句覆盖和分支覆盖的结果分别在源代码和控制流程图上对已经执行过的部分进行着色，还提供关于各种覆盖测试结果的统计报表。
• 程序执行频度分析：QESat/C++自动统计在程序中每个类的实例化次数和每个方法被动态调用次数，从而找出程序中被频繁执行的“核心”代码，确定测试的重点，并指导对程序结构或算法的改进和优化，以提高程序的执行效率。

　　QESat/C++提供了一个支持多窗口、菜单驱动的用户工作环境。在这个操作简明的工作环境中，用户可以方便地分析程序结构，编译和运行程序，以及察看分析和测试结果。

1. 类关系视图：

2. 类聚集关系视图：

3. 类视图：

4. 方法控制流程图：

5. 信息视图：

　　　　　
6. 报表：