Markov chains are an efficient way to handle Model-based Testing.
マルコフ連鎖はモデルベーステストの効率的方法となる。