Тестирование на основе модели: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Интерактивная навигация по истории
[непроверенная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
← Отмена правки 13938707 участника Alexey Bulat (обс)
Нет описания правки
Строка 1: Строка 1:
'''Тестирование на основе модели''' ({{lang-en|Model-based testing}}) - это [[тестирование программного обеспечения]], в котором [[Вариант тестирования|варианты тестирования]] ({{lang-en|test case}}s) частично или целиком получаются из [[Концептуальная модель|модели]] описывающей некоторые аспекты (чаще функциональные) тестируемой системы ({{lang-en|system under test}}).
'''Тестирование на основе модели''' ({{lang-en|Model-based testing}}) - это [[тестирование программного обеспечения]], в котором [[Вариант тестирования|варианты тестирования]] ({{lang-en|test case}}s) частично или целиком получаются из [[Концептуальная модель|модели]] описывающей некоторые аспекты (чаще функциональные) тестируемой системы ({{lang-en|system under test}}).


== Инструменты ==
*[http://www.unitesk.ru/content/category/5/13/32/ CTESK]
*[http://www.unitesk.ru/content/category/5/25/60/ JavaTESK]
*[http://www.all4tec.net/index.php?option=com_content&task=blogcategory&id=5&Itemid=75&lang=en All4Tec - MaTeLo]
*[http://research.microsoft.com/fse/asml/ AsmL Test Tool]
*[http://www.atyoursideconsulting.com/ ATD-Automated Test Designer]
*[http://cs.unibg.it/gargantini/projects/atgt/ ATGT ASM Tests Generation Tool]
*[http://autofocus.informatik.tu-muenchen.de/ AutoFocus]
*[http://www.razorcat.com/frame_main/produkte/unterpunkte/cte_e.html Classification-Tree Editor for Embedded Systems (CTE/ES)]
*[http://www.conformiq.com/qtronic.php Conformiq Qtronic]
*[http://www.osc-es.de/index.php?lang=2&idcat=17 EmbeddedTester]
*[http://www.osc-es.de/index.php?lang=2&idcat=18 EmbeddedValidator]
*[http://code.google.com/p/errfix/ errfix]
*[http://www-list.cea.fr/labos/gb/LSL/test/gatel/index.html GATeL]
*[http://www.brucker.ch/projects/hol-testgen/ HOL-TestGen]
*[http://www.key-project.org/ KeY]
*[http://www-verimag.imag.fr/~synchron/index.php?page=lurette/lurette Lurette]
*[http://mbt.tigris.org/ mbt.tigris.org]
*[http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit ModelJUnit]
*[http://www.codeplex.com/NModel/ NModel]
*[http://www.osc-es.de/index.php?lang=2&idcat=22 Rhapsody TestConductor]
*[http://www.osc-es.de/index.php?lang=2&idcat=23 Rhapsody ATG]
*[http://www.reactive-systems.com/ Reactis Tester]
*[http://www.t-vec.com/solutions/simulink.php Simulink Tester]
*[http://www.smartesting.com/ Smartesting Test Designer]
*[http://research.microsoft.com/specexplorer/ Spec Explorer]
*[http://www.osc-es.de/index.php?lang=2&idcat=21 Statemate ATG]
*[http://www-verimag.imag.fr/~async/TGV/index.shtml.en TGV]
*[http://www.t-vec.com/solutions/ttm.php T-VEC Tabular Modeler]
*[http://fmt.cs.utwente.nl/tools/torx/introduction.html TorX]
== Ссылки ==
== Ссылки ==
* [http://www.osp.ru/os/2003/09/183388/ Тестирование на основе моделей, Открытые системы]
* [http://www.osp.ru/os/2003/09/183388/ Тестирование на основе моделей, Открытые системы]

Версия от 21:24, 22 февраля 2009

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

Инструменты

Ссылки

Источник — https://ru.wikipedia.org/w/index.php?title=Тестирование_на_основе_модели&oldid=13954352