Тестирование на основе модели: различия между версиями
Перейти к навигации
Перейти к поиску
| [непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Kduru (обсуждение | вклад) м Удалены лишние запятые. |
Alexej67 (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Тестирование на основе модели''' ({{lang-en|Model-based testing}}) |
'''Тестирование на основе модели''' ({{lang-en|Model-based testing}}) — это [[тестирование программного обеспечения]], в котором [[Вариант тестирования|варианты тестирования]] ({{lang-en|test case}}s) частично или целиком получаются из [[Концептуальная модель|модели]], описывающей некоторые аспекты (чаще функциональные) тестируемой системы ({{lang-en|system under test}}). Модели могут отображать желаемое поведение системы или использоваться для создания тестовых стратегий или среды тестирования. |
||
Модель, описывающая тестируемый объект, как правило, абстрактная и описывает лишь часть функциональности объекта. Тесты, сгенерированные из подобных моделей, тоже абстрактны и не могут напрямую |
Модель, описывающая тестируемый объект, как правило, абстрактная и описывает лишь часть функциональности объекта. Тесты, сгенерированные из подобных моделей, тоже абстрактны и не могут напрямую использоваться для тестирования объекта. На основе сценариев абстрактных тестов необходимо выполнить их реализацию для тестируемого объекта. Такую реализацию можно использовать для непосредственного тестирования. В некоторых средах для моделирования модели могут содержать достаточное количество информации для генерации исполняемых тестов. |
||
Поскольку модели обычно строятся на основе требований или ожидаемого поведения устройства, то такое тестирование обычно рассматривается как одна из форм тестирования по методу [[Тестирование по стратегии чёрного ящика|черного ящика]]. |
Поскольку модели обычно строятся на основе требований или ожидаемого поведения устройства, то такое тестирование обычно рассматривается как одна из форм тестирования по методу [[Тестирование по стратегии чёрного ящика|черного ящика]]. |
||
== Инструменты == |
|||
*[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://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/products.php Conformiq Tool Suite] |
|||
*[http://www.unitesk.ru/content/category/5/13/32/ CTESK] |
|||
*[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.unitesk.ru/content/category/5/25/60/ JavaTESK] |
|||
*[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] |
|||
*[https://01.org/fmbt/ The fMBT (free Model-Based Testing)] |
|||
== Ссылки == |
== Ссылки == |
||
* [http://www.osp.ru/os/2003/09/183388/ Тестирование на основе моделей, Открытые системы] |
* [http://www.osp.ru/os/2003/09/183388/ Тестирование на основе моделей, Открытые системы] |
||
Версия от 09:50, 21 февраля 2017
Тестирование на основе модели (англ. Model-based testing) — это тестирование программного обеспечения, в котором варианты тестирования (англ. test cases) частично или целиком получаются из модели, описывающей некоторые аспекты (чаще функциональные) тестируемой системы (англ. system under test). Модели могут отображать желаемое поведение системы или использоваться для создания тестовых стратегий или среды тестирования.
Модель, описывающая тестируемый объект, как правило, абстрактная и описывает лишь часть функциональности объекта. Тесты, сгенерированные из подобных моделей, тоже абстрактны и не могут напрямую использоваться для тестирования объекта. На основе сценариев абстрактных тестов необходимо выполнить их реализацию для тестируемого объекта. Такую реализацию можно использовать для непосредственного тестирования. В некоторых средах для моделирования модели могут содержать достаточное количество информации для генерации исполняемых тестов.
Поскольку модели обычно строятся на основе требований или ожидаемого поведения устройства, то такое тестирование обычно рассматривается как одна из форм тестирования по методу черного ящика.