Model-based testing tools

From Wikipedia, the free encyclopedia

Merge arrow
 It has been suggested that this article or section be merged into Model-based testing. (Discuss)

This page lists tools for model-based testing in alphabetic 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.
  • ATGT ASM Tests Generation Tool generates tests from ASM models according to structural, fault, and combinatorial criteria
  • AutoFocus (in German) is a graphical tool for developing and modeling distributed systems with integrated testing facilities
  • Classification-Tree Editor for Embedded Systems (CTE/ES) is a test-design tool based on the Classification-Tree Method for Embedded Systems
  • Conformiq Qtronic is a design model driven automatic on-the-fly testing tool employing UML and Java models
  • EmbeddedTester is an automatic test generator and test execution tool for the Matlab/Simulink/TargetLink Environment
  • GATeL is a tool that automatically generates test sequences from SCADE/Lustre models, according to a user defined test objective
  • HOL-TestGen is a test case generation tool based on the interactive theorem prover Isabelle.
  • KeY is a software verification tool for Java that can generate model-based white box tests.
  • LEIRIOS Test Designer is a model-based testing tool based on UML 2 for Enterprise IT applications.
  • LEIRIOS Test Generator is a model-based testing tool dedicated to e-Transaction industry (Smart cards, Hosts, Devices)
  • Lurette is an automated testing tool of reactive programs written in Lustre
  • MaTeLo is a tool for scenario-based frequential testing based on Markov chains
  • mbt.tigris.org is an open-source model-based testing tool that uses .graphml models to generate test sequence files
  • ModelJUnit is an open-source model-based testing tool that uses models written as annotated Java classes.
  • Rhapsody TestConductor is a UML™ (Unified Modeling Language) compliant scenario-based test and validation suite for real-time embedded applications
  • Rhapsody ATG automatic test sequences generator tool from Rhapsody UML models
  • Reactis Tester is another model-based testing tool that focuses on control systems
  • Simulink Tester is a tool that translates Simulink and Stateflow model for model analysis and test generation by the T-VEC Vector Generation System
  • Spec Explorer is a model exploration and test suite generation tool from Microsoft that uses Spec#, C#, or AsmL to describe models
  • Statemate ATG automatic test vectors generator tool from Statemate models
  • TGV is a tool for the generation of conformance test suites for protocols
  • T-VEC Tabular Modeler is a tool that supports requirement modeling and test generation through the T-VEC Vector Generation System
  • TorX is also a prototype testing tool for conformance testing of reactive software