输入受限下Mealy机器的一致性测试
形式语言与自动机理论
2022-06-16 v1
摘要
我们提出一种针对互联Mealy机器网络的灰盒一致性测试方法。该方法处理如下场景:被测组件的所有接口均可观测,但其输入受其他白盒组件控制。我们证明了利用复合机器分支执行中重复性的全新方式的故障完全检测新条件。最后,我们在多达千状态的级联组合上对所提方法进行了实验评估,结果表明其显著优于现有黑盒测试技术。
引用
@article{arxiv.2206.07441,
title = {Conformance Testing of Mealy Machines Under Input Restrictions},
author = {Alberto Larrauri and Roderick Bloem},
journal= {arXiv preprint arXiv:2206.07441},
year = {2022}
}