プログラム sttc.sf.net

状態遷移テスト作成者は、ステートマシンの動作をテストするためのテストケースのセットを作成します。ステートマシンと派生テストの両方が、整合性と完全性についてチェックされます。結果はクリップボードまたは HTML にエクスポートされます。