10、深入解析MTCC测试模型与编辑器的应用

深入解析MTCC测试模型与编辑器的应用

1. 应用测试模型的组成

应用测试模型是由多个部分组合而成的，其目的是为被测系统（SUT）提供一种优化的表示形式，作为测试建模的基础，也就是使用MTCC编辑器创建测试步骤实例。

1.1 组合过程与应用测试模型的目的

组合过程的目的是实现特定的模型。该模型的动态部分描述了可用于测试和验证被测对象的操作序列，而结构部分则描述了每个测试步骤实例提供的接口。与创建它的模型不同，这个应用测试模型是一个临时的、自动创建的模型，仅作为测试建模期间编辑器的信息源。因此，它以最可行的简单方式为编辑器提供信息，但不追求良好的可维护性或避免冗余。

1.2 组合过程

在组合过程中，要将定义在某些模型中的所有测试步骤与定义在其他模型中的所有上下文实例进行兼容性测试。初始时，应用测试模型的动态部分是一个仅包含起始状态和结束状态的图。在组合过程中，所有可以从某个上下文执行的测试步骤实例都会被添加到有限状态机（FSM）中。对于每个添加的测试步骤实例，会向FSM添加以下转换：
1. 从测试步骤引用的上下文实例的上下文到该测试步骤实例的转换。
2. 对于表示测试步骤实例执行后被测对象可能状态的每个状态，添加一个转换来测试FSM。

组合过程的流程图如下：

graph TD;
    A[Check typ] -->|Type compatible| B[Check conditions];
    B -->|Conditions true| C[Instantiate test step instance];