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

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

廣告

發表迴響

Please log in using one of these methods to post your comment:

WordPress.com Logo

您的留言將使用 WordPress.com 帳號。 登出 / 變更 )

Twitter picture

您的留言將使用 Twitter 帳號。 登出 / 變更 )

Facebook照片

您的留言將使用 Facebook 帳號。 登出 / 變更 )

Google+ photo

您的留言將使用 Google+ 帳號。 登出 / 變更 )

連結到 %s