Тестирование на основе модели (англ. Model-based testing) - это тестирование программного обеспечения, в котором варианты тестирования (англ. test cases) частично или целиком получаются из модели описывающей некоторые аспекты (чаще функциональные) тестируемой системы (англ. system under test).

Инструменты

• All4Tec - MaTeLo
• AsmL Test Tool
• ATGT ASM Tests Generation Tool
• AutoFocus
• Classification-Tree Editor for Embedded Systems (CTE/ES)
• Conformiq Tool Suite
• CTESK
• EmbeddedTester
• EmbeddedValidator
• errfix
• GATeL
• HOL-TestGen
• JavaTESK
• KeY
• Lurette
• mbt.tigris.org
• ModelJUnit
• NModel
• Rhapsody TestConductor
• Rhapsody ATG
• Reactis Tester
• Simulink Tester
• Smartesting Test Designer
• Spec Explorer
• Statemate ATG
• TGV
• T-VEC Tabular Modeler
• TorX

Ссылки

• Тестирование на основе моделей, Открытые системы