PyModel

PyModelはPythonで、オープンソースモデルベースの​​テストフレームワークです。
ユニットテストでは、プログラマのコードのテストケース、および各テストケースが合格したかどうかもチェックコードアサーション。モデルベースの​​テストにおいて、プログラマコード必要な数のテストケースを生成し、さらにケースをチェックするオラクルとして作用する「モデル」。
非常に多くのテストケースは、それが手でそれらすべてをコーディングすることは不可能であることが必要とされる場合、モデルベースの​​テストをお勧めします。この必要性は歴史依存性と非決定性を示す行動をテストする際に多くのバリエーション（データ値、インターリービングなど）が各シナリオでテストする必要がありますように、生じた（またはケースを使用します）。例としては、通信プロトコル、ウェブアプリケーション、制御システム、およびユーザインターフェースを含みます。
PyModelは、テスト実行の実行時に無限に長い非反復テストを生成することができますオンザフライのテストをサポートしています。 PyModelは、組成物により、目的のシナリオに共有アクションを同期して非共有アクションをインターリーブすることによってモデルを組み合わせた汎用性の高い技術をテストケースを集中することができます。 PyModelは、プログラマがコード化されたプログラム可能な戦略に応じてテストカバレッジを導くことができます。
PyModelは、3つのプログラムを提供しています。
- pma.py pymodelアナライザは：有限状態機械（FSM）を生成し、モデルプログラム、FSM、テストスイート、またはこれらの製品を探索することにより、特性を計算します。
- pmg.py pymodelグラフィック：FSMからグラフィックコマンドのファイルを生成します。
- pmt.py pymodelテスター：、トレースが表示され、オフラインテストを生成し、オフラインテストを実行し、または生成し、オンザフライでテストを実行します。
PMTの挙動を可視化してプレビューし、PMAとPMGを使用してください。 PMAによって作成されたグラフを通るすべてのパスが（とPMGによって描かれた）PMA及びPMTが同じ引数で呼び出されたとき、PMTによって生成することができるトレース（テスト実行）です。
PyModelはNModelの影響を受けますが、翻訳または再実装ではありませんされます。

要件：ます。

Pythonの