26、模型转换测试中的完全规范覆盖与部分测试预言机

模型转换测试中的完全规范覆盖与部分测试预言机

1. 规则依赖图（RDG）与简化

在模型转换测试中，规则依赖图（RDG）是一个重要的概念。从示例TGG生成的RDG展示了规则之间的依赖关系，例如：
| RDG类型 | 规则及对应节点 |
| ---- | ---- |
| RDG – Axiom | Axiom |
| RDG – Rule 1 | ca2, Axiom, Rule 1 |
| RDG – Rule 2 | ca3, cb3 |
| RDG – Rule 2 (a) | Axiom, Rule 1, ca2, ca3, cb3 |
| RDG – Rule 2 (b) | Axiom, Rule 2, ca3, ca3, cb3 |

在生成测试用例描述之前，需要对RDG进行简化，确保每个对应节点只存储一个依赖（即一条出边）。例如，RDG - Rule 2中cb3有两个依赖，会被拆分为RDG - Rule 2 (a)和(b)。如果有多个对应节点有多个依赖，就需要构建所有组合，简单RDG的数量会相应增加。

下面是一个简单的mermaid流程图，展示RDG简化的过程：

graph LR
    A[初始RDG] --> B{是否有节点多依赖}
    B -- 是 --> C[拆分节点依赖]
    B -- 否 --> D[完成简化]
    C --> D

2. 从规则依赖推导测试用例

测试用例描述（TCD）是TGG规则的序列，它指定