MBT 結合 Event-B 模型的自動化測試

• Benefits of Model-Based Test Automation
• SPARDL 模型的 Event-B 解釋

此文介紹 MBT 結合 Event-B 模型的自動化測試
其中帶到 MBT 限制，他說對於正確的塑模的能力和正確的設計驗證機制，以及使用的工具會影響 MBT 的成效。
如果我們想要應用 MBT 在測試上，還需要培養更豐富的測試領域的能力，才能做出邏輯正確、表達清楚的模型。

• Testing