为 ioco 生成完备且有限的测试套件：是否可能？

基于输入/输出转换系统（Input/Output Transition Systems）的测试已得到深入研究。实现与规范之间的一致性通常由所谓的 ioco 关系来确定。然而，ioco 的测试生成通常受到输入与输出之间冲突问题的阻碍。此外，生成主要基于非确定性方法，这些方法虽能交付完备的测试套件，但需要无界次数的执行。在本文中，我们研究了即使在存在输入/输出冲突的情况下，是否仍能为经典 ioco 关系在预定义的故障域中构建一个完备的有限测试套件。我们证明，在对规范和实现做出某些假设的前提下，这是可能的；为此，我们提出了一种基于为有限状态机（FSM）开发的传统方法的完备测试生成方法。