部分可观测随机系统的黑盒测试活性属性
摘要：针对随机系统和任意的ω-正则规范进行黑盒测试。给定一个有限状态的概率系统，只能从初始状态执行。我们对可达状态数量或概率一无所知，并且只能部分观察状态。我们的唯一操作是重启系统。我们设计了重启策略，保证如果规范以非零概率被违反，则在最后一次重启之后，无限运行将违反规范的概率为1。这比以前的工作需要完全可观测性要好。我们对最后一次重启前的预期步数得到了渐近最优的上界。我们在多个基准测试上进行实验，并展示了我们的策略能够在比以前的工作考虑的马尔可夫链更大的系统中找到违反规范的情况。
作者：Javier Esparza and Vincent Grande
论文ID：2303.03292
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-03-07