プログラム tcgtool.sf.net

TCGToolは有限状態機械からのテストケースの生成のためのツールである。このツールを使用すると、ユーザーは Mealy マシンを指定し、ユーザーが選択した方法を使用してテスト ケースを生成できます。現時点では、Wp メソッドのみが実装されています。