Given a deterministic finite automaton and its implementation with at most one single fault, that we can test on a set of inputs, we provide an algorithm to find a test set that guarantees finding whether the fault exists.
翻译：鉴于一个决定性的有限自动图及其实施最多只存在一个错误, 我们可以测试一组输入, 我们提供一种算法来找到一个测试集, 来保证找到是否存在错误。
相关内容
Arxiv
0+阅读 · 2021年7月23日
Arxiv
0+阅读 · 2021年7月22日
Arxiv
0+阅读 · 2021年7月22日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2021年7月23日
Arxiv
0+阅读 · 2021年7月22日
Arxiv
0+阅读 · 2021年7月22日
微信扫码咨询专知VIP会员