9、配置参数约束验证与过程式程序搜索测试方法对比

配置参数约束验证与过程式程序搜索测试方法对比

配置参数约束验证相关研究

在复杂系统的可配置性建模与测试领域，这是一个极具挑战性的问题。过往有诸多研究聚焦于从实际系统中提取参数配置间的约束条件，并对系统的可配置性进行建模。

例如，部分研究着重探讨拥有可变性模型以及使模型中的约束与实现保持一致的重要性，不过它们主要致力于识别配置约束的来源并自动提取可变性模型，且目标多为基于 C 语言的系统，借助构建系统和 C 预处理器来实现可配置性。还有研究从各种实现源中提取编译时的可配置性，并检查其中的不一致性，像死特性和不可行选项等。

而在测试可配置系统时，组合交互测试（CIT）被认为是一种高效的技术。在考虑参数间约束的情况下，使用 CIT 能够仅生成有效的配置，从而降低测试成本。也有研究展示了如何通过约束求解器（如布尔可满足性求解器 SAT）来处理约束，但这些研究更侧重于最终系统的测试，而非可配置性模型的测试。

在软件产品线（SPL）测试中，通常使用特征模型（FMs）来验证和提取特征间的约束。FMs 的合成可通过识别产品和无效配置中的特征模式，以及构建它们之间的层次结构和约束来实现。一些研究采用基于搜索的技术，通常能取得较好的效果，但检查和维护 SPL 与其特征模型之间的一致性仍是一个待解决的问题。

过程式程序搜索测试方法

在面向对象（OO）软件系统测试中，研究人员提出了基于搜索的方法来自动生成整个测试套件，即多目标方法，旨在克服迭代单目标方法在遇到不可行目标时浪费搜索预算的问题。然而，这些多目标方法尚未在过程式程序中得到实现和实验。

为此，研究人员开发了 OCELOT（Optimal Coverage sEa