基于模型的测试 (英語:Model-based testing )属于软件测试 领域的一种测试方法。按照此方法,测试用例 可以完全或部分的利用模型自动产生。以上所说的模型通常是指对被测系统 (SUT,system under test)某些(通常是功能性的)方面的描述。
模型一般都是对被测系统 预期行为动作的抽象描述。这些测试用例的集合就是抽象测试套件(abstract test suite)。抽象测试套件不可以直接执行于需测试的系统,因为,他们不在同一抽象级别。
测试套件 (test suites)是由模型生成,而不是由源代码生成。因此,基于模型的测试又常常被当作黑盒测试 的一种形式。但从某种层面来说,这并不十分准确。毕竟,基于模型的测试是与源代码级的测试覆盖率,以及对代码的功能测试都有着很大的关系。
对于复杂的软件系统中,如何应用基于模型的测试还在探索中。
模型
目前,模型大多数使用手工创建。但同时,有很多使用自动化方式创建模型的尝试也在研究当中。建立新模型的一种重要方式是通过使用类似ATL 的语言进行"模型转换"。
目前也有很多工具是基于模型驱动的测试工具,使用模型驱动通过画积木图或者流程图的方式自动生成测试代码,可以直接进行自动化测试。
相關條目
相关链接
延伸閱讀
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 (页面存档备份 ,存于互联网档案馆 )