基於模型的測試

基於模型的測試（英語：Model-based testing）屬於軟體測試領域的一種測試方法。按照此方法，測試用例可以完全或部分的利用模型自動產生。以上所說的模型通常是指對被測系統（SUT,system under test）某些（通常是功能性的）方面的描述。

模型一般都是對被測系統預期行為動作的抽象描述。這些測試用例的集合就是抽象測試套件（abstract test suite）。抽象測試套件不可以直接執行於需測試的系統，因為，他們不在同一抽象級別。

測試套件（test suites）是由模型生成，而不是由原始碼生成。因此，基於模型的測試又常常被當作黑盒測試的一種形式。但從某種層面來說，這並不十分準確。畢竟，基於模型的測試是與原始碼級的測試覆蓋率，以及對代碼的功能測試都有著很大的關係。

對於複雜的軟體系統中，如何應用基於模型的測試還在探索中。

模型

目前，模型大多數使用手工創建。但同時，有很多使用自動化方式創建模型的嘗試也在研究當中。建立新模型的一種重要方式是通過使用類似ATL（英語：ATLAS Transformation Language）的語言進行"模型轉換"。 目前也有很多工具是基於模型驅動的測試工具，使用模型驅動通過畫積木圖或者流程圖的方式自動生成測試代碼，可以直接進行自動化測試。

相關條目

• 軟體測試主題

• 基於模型的設計
• 模型在環
• 領域特定語言
• 特定域建模
• 模型驅動架構
• 模型驅動工程
• 物件導向的系統分析
• 時間分割測試

相關連結

• http://www.model-based-testing.org（英文）^{[永久失效連結]}
• http://www.goldpractices.com/practices/mbt/index.php （頁面存檔備份，存於網際網路檔案館） （關於基於模型測試的一個調查）（英文）
• http://www.mdqa.org/ （頁面存檔備份，存於網際網路檔案館） (also http://www.modelbasedtesting.info/ （頁面存檔備份，存於網際網路檔案館）) （一個關於基於模型測試 以及 模型驅動質量保證的站點)(英文)

延伸閱讀

• OMG UML 2 Testing Profile; [1] （頁面存檔備份，存於網際網路檔案館）
• Bringmann, E.; Krämer, A. Model-Based Testing of Automotive Systems (PDF). 2008 International Conference on Software Testing, Verification, and Validation. International Conference on Software Testing, Verification, and Validation (ICST): 485–493. 2008 [2020-07-20]. ISBN 978-0-7695-3127-4. doi:10.1109/ICST.2008.45. （原始內容存檔 (PDF)於2017-11-18）.
• Practical Model-Based Testing: A Tools Approach, Mark Utting and Bruno Legeard, ISBN 978-0-12-372501-1, Morgan-Kaufmann 2007.
• Model-Based Software Testing and Analysis with C# （頁面存檔備份，存於網際網路檔案館）, Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte, ISBN 978-0-521-68761-4, Cambridge University Press 2008.
• Model-Based Testing of Reactive Systems （頁面存檔備份，存於網際網路檔案館） Advanced Lecture Series, LNCS 3472, Springer-Verlag, 2005. ISBN 978-3-540-26278-7.
• Hong Zhu; et al. AST '08: Proceedings of the 3rd International Workshop on Automation of Software Test. ACM Press. 2008 [2020-07-20]. ISBN 978-1-60558-030-2. （原始內容存檔於2020-02-19）.
• Santos-Neto, P.; Resende, R.; Pádua, C. Requirements for information systems model-based testing. Proceedings of the 2007 ACM symposium on Applied computing - SAC '07. Symposium on Applied Computing: 1409–1415. 2007. ISBN 978-1-59593-480-2. doi:10.1145/1244002.1244306.
• Roodenrijs, E. Model-Based Testing Adds Value. Methods & Tools. Spring 2010, 18 (1): 33–39 [2020-07-20]. ISSN 1661-402X. （原始內容存檔於2020-11-08）.
• A Systematic Review of Model Based Testing Tool Support （頁面存檔備份，存於網際網路檔案館）, Muhammad Shafique, Yvan Labiche, Carleton University, Technical Report, May 2010.
• Zander, Justyna; Schieferdecker, Ina; Mosterman, Pieter J. (編). Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, and Design of Dynamic Systems 13. Boca Raton: CRC Press. 2011. ISBN 978-1-4398-1845-9.
• 2011/2012 Model-based Testing User Survey: Results and Analysis. Robert V. Binder. System Verification Associates, February 2012 （頁面存檔備份，存於網際網路檔案館）