PyModel

PyModel在Python一個開源的基於模型的測試框架。
在單元測試中，程序員的代碼測試的情況下，也代碼斷言檢查每個測試用例是否通過。在基於模型的測試，編程代碼的“模式”，產生盡可能多的測試用例，根據需要，也充當了檢查情況的神諭。
基於模型的測試，建議在需要那麼多的測試用例，它不是用手工編碼它們所有可行的。測試顯示出歷史的依賴性和確定性，使很多變化（數據值的交錯等）的行為時，每個場景應該測試（或用例），這就需要出現。實例包括通信協議，網絡應用程序，控制系統，和用戶界面。
PyModel支持在即時檢測，可產生無限長的非重複試驗的測試運行的執行方式。 PyModel可以專注測試用例對由組成，一個通用的技術，通過同步共享的行動和非共享的交織融合行動車型感興趣的場景。 PyModel可以根據由程序員編碼可編程策略指導測試覆蓋率。
PyModel提供了三個方案：
- pma.py pymodel分析：生成一個有限狀態機（FSM），並通過探索模型程序計算性能，密克羅尼西亞聯邦，測試套件，或它們的產品。
- pmg.py pymodel顯卡：圖形生成命令的文件從一個FSM。
- pmt.py pymodel儀：顯示跡線，離線生成的測試中，執行離線測試，或產生和即時執行測試。
使用PMA和PMG來可視化和預覽PMT的行為。通過PMA創建（和由PMG畫）圖中每個路徑是一個跟踪（測試運行），其可以由PMT產生，當PMA和PMT使用相同參數調用。
PyModel由NModel的影響，但不是翻譯或重新實施

要求：

• 在Python的