一种用于 I/O 系统的符合关系与完备测试套件

基于模型的测试是验证由 I/O 标记转移系统（IOLTSs）建模的实现的一种成熟方法。基于模型的测试所带来的挑战之一是符合性检查与测试套件的生成，特别是当完备性是一项必需属性时。为了检查被测实现是否与其相应规约一致，人们借助某种形式的符合关系，在给定规约行为的前提下保证实现的预期行为。ioco 符合关系即是此类关系的一个例子，特别适用于异步模型。在本文中，我们研究了一种更一般的符合关系，展示了如何生成有限且完备的测试套件，并讨论了在该更一般符合关系下测试生成机制的复杂度。我们还表明 ioco 符合是这一新符合关系的特例，并研究了经典 ioco 完备测试套件的复杂度。此外，我们将我们的贡献与近期工作相联系，将其故障模型类的限制作为特例纳入我们更一般的方法中，并揭示了生成必须满足其限制的任何完备测试套件的复杂度。