29、图转换的系统测试：基于图模式的实用方法

图转换的系统测试：基于图模式的实用方法

1. 引言

软件工程的目标之一是开发高质量的软件。测试是确保和维护软件质量的实用、有效且高效的方法，它有助于发现缺陷并增强对实现的信心。模型转换（MT）是模型驱动工程（MDE）的核心组成部分，因此和其他软件一样需要进行测试。然而，众多的转换语言及其特性（如声明式、基于规则）阻碍了将通用编程语言中成熟的测试技术直接应用于模型转换测试。

测试通常无法证明程序的正确性，因为进行全面测试是不可行的，所以需要方法来推导具有代表性的测试套件。因此，MT 测试的一个重要问题是通过客观的停止标准来限制测试工作。这个标准必须确保测试套件包含足够的测试，以充分触发转换，从而增加发现故障的机会。

现有的 MT 测试文献列出了不同的覆盖标准，主要用于基于规范的（黑盒）测试。在这种情况下，抽象规范（用例、典型输入值等）用于根据输入 - 输出行为测试正确性。这种覆盖标准相对容易理解，可以应用现有的技术（如输入分区），并且实现语言的选择无关紧要。

我们专注于基于结构的（白盒）测试，旨在为编程图转换（PGT）开发一种特定的技术，该技术必须能够全面考虑和测试模式匹配和控制流方面。白盒覆盖标准是通过实现结构的属性（控制流、条件等）来定义的。对于图转换（GT），此类方法很少，而且尽管它们非常复杂，但在此处无法应用。

变异分析是评估测试套件质量或（相对）充分性的强大技术。被测系统会被反复修改/变异，每个生成的变体都包含一个典型的故障。如果测试套件能够揭示相应的错误，则称其杀死了该变体，并且揭示的变体越多，测试套件越好。变异测试是一种有前途但成本高昂的方法。据我们所知，尚未有人对 PGT 进行过相关研究。虽然有一些工作对 MT 或 GT 的典