基于模型的测试

维基百科,自由的百科全书
跳转至: 导航搜索

基于模型的测试属于软件测试领域的一种测试方法。按照此方法,测试用例可以完全或部分的利用模型自动产生。以上所说的模型通常是指对被测系统(SUT,system under test)某些(通常是功能性的)方面的描述。

模型一般都是对被测系统预期行为动作的抽象描述。 这些测试用例的集合就是我们平时所称的抽象测试套件(abstract test suite). 抽象测试套件不可以直接执行于需测试的系统,因为,他们不在同一抽象级别。

测试套件(test suites)是由模型生成,而不是由源代码生成。因此,基于模型的测试又常常被当作黑盒测试的一种形式。但从某种层面来说, 这并不十分准确。毕竟,基于模型的测试是与源代码级的测试覆盖率,以及对代码的功能测试都有着很大的关系。

对于复杂的软件系统中,如何应用基于模型的测试还在探索中。

模型[编辑]

E目前,模型大多数使用手工创建。但同时,有很多使用自动化方式创建模型的尝试也在研究当中。建立新模型的一种重要方式是通过使用类似ATL的语言进行"模型转换"。

测试产生方法学[编辑]

“证明法”产生测试用例[编辑]

依靠检查模型产生测试用例[编辑]

相关链接[编辑]

Tools (in alphabetical order)
  • AsmL Test Tool can generate tests directly from an AsmL model
  • ATD-Automated Test Designer is a model-based testing tool that generates automatically test cases, test data and test automation scripts from requirement specifications
  • AutoFocus (in German) is a graphical tool for developing and modeling distributed systems with integrated testing facilities
  • Conformiq Qtronic is a design model driven automatic on-the-fly testing tool employing UML and Java models
  • Conformiq Test Generator is a tool that executes tests from UML state charts that represent testing strategies
  • Leirios Test Generator is a model-based testing tool that generates tests automatically from UML 2.0 system specifications
  • Lurette is an automated testing tool of reactive programs written in Lustre
  • Reactis Tester is another model-based testing tool that focuses on control systems
  • Spec Explorer is a model exploration and test suite generation tool from Microsoft that uses Spec#, C#, or AsmL to describe models
  • TGV is a tool for the generation of conformance test suites for protocols
  • TorX is also a prototype testing tool for conformance testing of reactive software

相关概念[编辑]