9、系统与测试表示的模型解析

系统与测试表示的模型解析

在系统测试领域，准确地对系统和测试进行建模至关重要。下面将详细介绍相关的模型及其特点。

1. 被测对象行为模型

被测对象的行为模型主要包含两部分：系统调用序列和实例序列。系统调用序列模型描述了系统可能的调用顺序，但不包含实例自身除可能后继之外的信息，也不模拟实例的内部状态。

而动态部分则描述了实例的可用序列，它是通过特定的组合过程创建的。在这个过程中，每个实例会被一组新的实例替换。定义的步骤会与实例进行兼容性测试，如果兼容，步骤会被实例化，即步骤对实例的引用会被展开，引用的特征节点会替换特征模型中的引用。

MTCC 在动态部分使用三种类型的实例：
- 动作实例（Action） ：与被测对象交互并操纵其内部状态，通常会使系统过渡到不同的上下文。例如，向数字图书馆发送查询的实例可能会将当前上下文更改为结果概述。
- 同状态动作实例（SameStateAction） ：代表用户与被测对象的交互，但不会导致当前上下文的改变。执行后，系统总是返回到初始上下文。比如在搜索表单中选择过滤值。
- 断言实例（Assertion） ：不操纵被测对象的状态，而是将被测对象的状态与预期进行比较，或者将状态的某些方面保存到变量中。执行断言后，有限状态机（FSM）总是返回到测试执行前的活动状态。

下面是一个动态部分 FSM 的示例：

begin test /
Context 1
«Context»
Test st