30、图变换的系统测试：需求模式与覆盖度分析

图变换的系统测试：需求模式与覆盖度分析

在软件开发过程中，图变换（Graph Transformations）是一种强大的工具，用于对图形化模型进行操作和转换。然而，确保图变换的正确性和完整性是一项具有挑战性的任务。本文将介绍一种基于需求模式（Requirement Patterns，RPs）的系统测试方法，旨在提高图变换的质量和可靠性。

开发与测试流程概述

整个开发和测试过程包含两个相互交织的循环，分别是“代码 - 测试 - 修复”和“测试 - 测量 - 优化”。以下是该过程的主要步骤：
1. 分析SDMs（Story Diagrams） ：收集图变换中的所有图模式。
2. 创建需求模式（RPs） ：使用RP - licator组件，基于元模型和相关模式生成RPs，并过滤掉无效的模式。
3. 对原始SDMs进行插桩 ：确保在运行时评估RPs。
4. 代码生成 ：生成两部分代码，一部分是表示原始插桩变换的代码，另一部分是从需求模式和简单容器元模型派生的用于覆盖度测量的代码。
5. 编写测试用例 ：执行代码集（a）并由测试输入触发，进而调用代码集（b）。
6. 运行测试 ：执行测试用例并计算覆盖度。
7. 比较覆盖度与阈值 ：如果测试未发现意外行为，则将测量的覆盖度与预定义的阈值进行比较。

下面是该过程的mermaid流程图：

<