Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning

概要

論文の詳細を見る
In this paper, we propose a new method of testing concurrent systems by using an artificial intelligence technique, namely reinforcement learning. In particular, the method verifies the liveness properties given in temporal logic formulas and dynamically controls a target system in runtime monitoring to efficiently reveal a possible error against the specification. In this control, the learning method accumulates necessary information by monitoring the running system. We built a simulator to evaluate this idea, and conducted experiments with simple examples. As a result we could show the effectiveness of this approach in solving a difficult problem of testing the liveness properties of concurrent systems.
社団法人電子情報通信学会の論文
2005-10-14