Тестирование на основе модели
Материал из Seo Wiki - Поисковая Оптимизация и Программирование
Перейти к навигацииПерейти к поиску
Тестирование на основе модели (англ. Model-based testing) - это тестирование программного обеспечения, в котором варианты тестирования (англ. test cases) частично или целиком получаются из модели описывающей некоторые аспекты (чаще функциональные) тестируемой системы (англ. system under test).
Инструменты
- ATGT ASM Tests Generation Tool
- AutoFocus
- Classification-Tree Editor for Embedded Systems (CTE/ES)
- Conformiq Qtronic
- EmbeddedTester
- EmbeddedValidator
- errfix
- GATeL
- HOL-TestGen
- 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
Ссылки
als:Modellbasiertes Testen de:Modellbasiertes Testen en:Model-based testing ja:モデルベーステスト pt:Teste baseado em modelo zh:基于模型的测试
Если вам нравится SbUP.com Сайт, вы можете поддержать его - BTC: bc1qppjcl3c2cyjazy6lepmrv3fh6ke9mxs7zpfky0 , TRC20 и ещё....
→