15、基于预序关系的测试生成算法解析

基于预序关系的测试生成算法解析

在系统测试领域，有限状态机（FSM）和标记迁移系统（LTS）是常用的建模工具。本文将深入探讨基于预序关系的测试生成算法，介绍不同的测试生成方法及其原理。

1. 基本概念

• FSM 等价性 ：两个 FSM（I 和 S）等价（记为 I ∼ S），当且仅当 I ≤ S 且 S ≤ I。同样，两个 FSM 状态 i 和 s 等价（记为 i ∼ s），当且仅当 i ≤ s 且 s ≤ i。等价的 FSM 具有相同的轨迹（即相同的输入序列）。
• 测试生成算法分类 ：主要分为两类，一类直接受以往 FSM 测试生成研究的启发，另一类基于 conf 关系和规范测试器的概念。

2. 类 FSM 方法

这类方法试图利用 FSM 测试多年的研究成果，主要有两种方式：将 LTS 模型转换为 FSM 模型，以及将 FSM 测试生成技术适配到 LTS。

2.1 将模型转换为 FSM

这一方法主要由 Tan、Petrenko 和 Bochmann 提出，核心步骤如下：
1. 将规范模型转换为 FSM ：根据考虑的 LTS 等价性（轨迹等价或测试等价），将 LTS 转换为对应的 FSM。
2. 在得到的 FSM 上进行经典测试生成 ：例如使用 W - 方法生成完整的测试套件。
3. 将测试用例转换回 LTS ：为测试用例添加状态判定。