8、组合测试策略：验证与评估

组合测试策略：验证与评估

在软件测试领域，组合测试是一种重要的方法，用于验证系统在不同配置下的行为。本文将介绍几种组合测试策略，并通过实验评估它们的性能和故障检测能力。

组合测试面临的问题与目标

在构建组合交互测试（CIT）模型时，存在一些挑战。例如，过度约束模型可能导致发现故障的困难，这是过度规范问题的一种变体。同时，关键系统需要测试在配置不正确时能否安全失效，即系统应能检测到不可接受的参数并以安全的方式失效，避免崩溃和不可恢复的错误。此外，为大型真实世界软件系统创建 CIT 模型通常是一项繁琐且易出错的任务。因此，模型生成的无效配置可以帮助揭示被测系统内的约束，并有助于完善 CIT 模型。我们的研究不仅关注生成确认模型的有效测试（即有效配置），还关注能反驳或证伪模型的测试。由于无效配置的数量可能很大，需要根据一定标准选择这些配置，我们选择使用与标准 CIT 相同的 t 方式交互范式。

组合测试策略

我们提出使用基于搜索的组合交互测试技术来验证 CIT 模型的有效性。给定一个 CIT 模型，我们根据以下策略对其进行修改，然后使用 CASA 生成满足修改后 CIT 模型的测试套件。
- UC（无约束 CIT） ：在无约束 CIT 中，生成测试时忽略约束，仅在生成过程中选择配置后用于检查其有效性。其优点是简化了测试生成过程，可以使用无需处理约束的高效方法。原则上，它可以生成有效和无效配置，但对模型有效性没有控制。可能出现测试生成算法只生成有效组合的情况，这会降低测试套件的有效性，因为可能错过只有无效测试才能发现的故障。
- 测试生成步骤 ：
1. 从原始