论文标题
在输入限制下对Mealy机器的一致性测试
Conformance Testing of Mealy Machines Under Input Restrictions
论文作者
论文摘要
我们为互连机器网络引入了一种灰色框一致性测试方法。这种方法解决了可观察到的下组件的所有接口，但其输入在其他白盒组件的控制之下。我们证明了全故障检测的新条件，这些条件以新颖的方式利用了复合机的分支执行的重复。在本文中，我们提供了对多达一千个州级联反应组成的方法的实验评估，并表明它表现出了现有的黑盒测试技术的表现。
We introduce a grey-box conformance testing method for networks of interconnected Mealy Machines. This approach addresses the scenario where all interfaces of the component under test are observable, but its inputs are under the control of other white-box components. We prove new conditions for full fault detection that exploit repetitions across branching executions of the composite machine in a novel way.Finally, we provide experimental evaluation of our approach on cascade compositions of up to a thousand states, and show that it notably out-performs existing black-box testing techniques.
