软件运行分析（2）-基于模型的白盒测试

作者:刘利、俎涛（火龙果软件工程）

次浏览

次

2023-6-7

1.运行分析是什么

EA 中的执行分析器中由一组和代码相关的工具组成，可以进行构建、调试、记录执行、分析、仿真以及构建验证和测试，同时保持代码与模型紧密集成。 EA 对各种流行的编译器和平台都提供了支持，尤其是 Java ， .Net 和 C++ 等环境。在 EA 中可以进行白盒测试的单元测试 - 测试点测试，接下来主要介绍测试点。

2.什么是白盒测试的测试点

白盒测试中对于软件中的最小可测试单元进行检查和验证，通常进行单元测试，在 EA 中可以通过建立测试点的方式进行单元测试。

3.为什么使用测试点

在软件研发过程中，代码量通常都比较大，测试是软件研发过程中必不可少的活动。白盒测试中的测试点可以实现最小单位测试，例如：测试一个类中的函数。测试点测试代码可以实现敏捷开发、提高代码质量、消除未知隐患，顺利完成开发任务降低维护成本。

4.测试点有什么

测试点窗口信息介绍

名称	描述
Tests	显示选定的名称测试点对象及其下对象的层次结构。所选对象可以是： Class Operation Test Cut Test Set Test Suite
Id	对于 Operation ，此列显示测试点标记图标 ( ) 当分析器在目标应用程序中成功绑定了该操作时。如果没有这个图标出现，那么它表明模型和代码库可能没有同步。对于一个测试点，这个列显示了一个生成的 id 号。该 id 号在跟踪输出中用于指示引用了哪个约束。
Constraints	铅笔图标 ( ) 表示为此类或操作定义了一个或多个约束。
Status	在测试运行期间，指示这些可能的状态 : ( ) 失败 - 约束一次或多次被评估为 false 。 ( ) 无效语句 - 由于语法无效，约束无法解析。 ( ) 变量未找到 - 在计算约束的位置未找到引用的变量名。如果约束已通过，则不会显示图标。
Evals	在测试运行期间，指示执行分析器评估此约束的次数。
Passes	在测试运行期间，指示测试通过的次数。
Fails	在测试运行期间，指示测试失败的次数。
Last Run By	显示运行该测试的最后一个人的用户名。
Last Run Date	显示上次评估该测试的日期和时间。
Last Run Result	显示上次测试运行的结果。
Parent Collections Pane	列出在设计中包含选定对象的所有父集合。双击此集合，使其成为左窗格中的选定对象。

5.如何使用测试点

5.1 测试点

打开测试点窗口： Execute > Tools > Tester > Show Testpoint Window

当选择一个测试片断、测试集或测试套件时， Testpoints 窗口显示整个域结构，包括组成该域的所有类。

通过双击方法，可以添加或编辑现有的前置或后置条件。

双击一个测试点将会自动显示源代码。

最好使用代码编辑器的快捷菜单从代码编辑器中添加行条件。

该图像是测试域中的前置条件。

5.2 测试点跟踪语句

每个测试点可以有自己的 Trace 语句。 Trace 语句是一个动态消息，可以引用其对象或局部范围内的变量。它们是在测试评估期间输出的。可以将它们配置为在每次评估约束时输出，或者更常见的是在测试失败时输出。跟踪语句可以被定向到测试点选项卡系统输出窗口，或者保存到外部文件。您可以在任何 Analyzer 脚本中对此进行配置。

5.3 测试域组成

测试域是 测试点 组装起来测试用例。测试域图中的用例以三种不同的原型提供：测试片段、测试集和测试套件。域的管理就像在任何图上建模一样简单。工具箱和快捷菜单提供了对任何测试域工件的访问。简而言之，来自多个类的测试点被聚集成测试集。然后，测试集被链接以形成测试套件。测试用例集和测试用例集都是可重用的资产。将同一个测试集链接到一个或多个测试套件是一个绘制连接器的问题。

5.4 测试域和类模型

一个用例很少会包含一个类的所有方法，一般是使用协作类中的各种方法来实现。我们称这个方法子集为 “ 片段 ” ，测试片段工件是我们用来测试的工具。此图显示了选择测试片段时的测试点窗口。请注意复选框，它们仅对测试片段可见。它们表示对测试集有贡献的方法 ( 测试用例 ) 。在这个例子中，测试域是由执行分析器生成的，它为我们做了方法识别工作。