モデルベーステスト
モデルベーステストの使い方はいくつかあり、「オンラインテスト」、「オフラインの実行可能テスト生成」、「オフラインの手動実行可能なテスト生成」などがある。
オンラインテストとは、対象システムとモデルベーステストのツールを直接接続し、動的にテストを行うものである。
オフラインの実行可能テスト生成とは、後で自動実行可能な形のテストケースを生成することをいう。例えば、生成されたテストロジックをPythonのクラス群で実装する。
オフラインの手動実行可能なテスト生成とは、人間が読める形のテストを生成し、後でそれに従って人手でテストを行う。例えば、PDFなどの形式で人間が読める(自然言語で書かれた)テスト仕様書を生成する。