Model-based testing tools

From Wikipedia, the free encyclopedia

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