Рекомендуемые тестовые инструменты на основе моделей

Question

Есть ли у кого-нибудь предложения по использованию инструментов тестирования на основе моделей? Является ли Spec Explorer/SPEC# достойным весом в обучении тестировщиков?

Что я традиционно сделал, это создать модель Visio, где я вызываю состояния и связанные переменные, выходы и ожидаемые результаты от каждого состояния. Затем, полностью отключенный, я передаю свои тестовые скрипты с этими переменными на основе этой модели. Но они не связаны. Я хочу, чтобы создать модель, сопоставить переменные деловым способом, а затем построить параметры данных для скриптов.

Я не могу быть первым, кому это нужно. Есть ли там инструмент, который будет делать в основном это? Короче, развивая его сам.

Answer 1

Я думаю, что обновленная версия электроинструмента «Spec Explorer для Visual Studio» должна быть выпущена в ближайшее время - гораздо проще увеличить скорость, чем current version, но все же требуется некоторое время для изучения.

Если вы хотите начать меньше, nmodel (также от Microsoft) - хорошее место для начала.

Answer 2

Вы должны попробовать инструмент «MaTeLo» от All4Tec. www.all4tec.net

«MaTeLo - это генератор тестовых ящиков для функциональных и системных тестов черного ящика. В соответствии с методом тестирования на основе модели MaTeLo использует цепочки Markov для моделирования теста. Этот статистический addin позволяет проверять продукцию в Systematic Эффективность достигается за счет сокращения необходимых человеческих ресурсов, увеличения повторного использования модели и повышения релевантности тестовой стратегии (из-за цели надежности). MaTeLo независима и удобна для пользователя, предлагает проверку чтобы перейти от тестовых сценариев к реальной инженерной инженерии и сосредоточиться на реальной добавленной стоимости тестирования: планы испытаний «

Вы можете запросить оценочную лицензию и попробовать самостоятельно.

Вы можете найти некоторые exemples здесь: http://www.all4tec.net/wiki/index.php?title=Tutorials

Answer 3

Мой коллега сделал этот инструмент, http://mbt.tigris.org/ и его использования в больших средах масштаба тестирования в течение многих лет. Это Open Source и все ..

Обновление: Вот короткие Whitepaper: http://www.prolore.se/filer/whitepaper/MBT-Agile.pdf

Этот инструмент отлично с МВТ, Yed бесплатное программное обеспечение для моделирования.

Answer 4

Вы могли бы найти следующий ответ на подобный вопрос полезным:

http://testing.stackexchange.com/questions/92/how-to-get-started-with-model-based-testing

В этом я напоминаю:

UML Pad http://web.tiscali.it/ggbhome/umlpad/umlpad.htm список свободных UML Инструменты: http://en.wikipedia.org/wiki/Category:Free_UML_tools Наша Попарный и генератор комбинаторных тестов (который автоматически генерирует тесты для вас на основе создаваемой модели - даже если вы не создаете модель UML): http://hexawise.com

Кстати, как объясняется в ответе, который я ссылаюсь на выше, я сосредотачиваю свои силы (исследования, фокусировку на инструментах, страсть и т. Д.) На второй части вашего вопроса - создание эффективных и эффективных наборов тестов, которые максимизируют охват в минимальное количество тестовых случаев.

Джастин (основатель Hexawise)

Answer 5

Заканчивать TestOptimal. Он предлагает полномасштабное тестирование на основе моделей со встроенным тестированием на основе данных и комбинаторным тестированием прямо в модели. Он имеет графическое моделирование и отладки, которые вы можете воспроизвести в модели, и графически имитирует выполнение модели. Вы можете связать состояние/переход с требованиями. Модели могут быть повторно настроены для тестирования нагрузки без каких-либо изменений. Он может даже создать полный автоматизированный MBT для веб-приложений без какого-либо кодирования/сценариев. Ознакомьтесь с этой короткой презентацией слайдов: http://TestOptimal.com/tutorials/Overview.htm

Answer 6

Я могу сказать вам, что версия Spec Explorer 2010, для которой требуется версия Professional Professional, является отличным инструментом, если у вас уже есть Visual Studio. Более старая версия spec explorer была хорошей, но ограничение заключалось в том, что если бы вы закончили моделирование системы, которая была не-конечной, вам не повезло.

В новой версии улучшены методы поиска «срезов» модели до точки, в которой вы имеете конечные состояния. Когда у вас есть конечные состояния, вы можете сгенерировать тестовые примеры.

Главное, что при изменении модели и повторной нарезке вашей модели просто произвести повторное создание тестов и повторное выполнение их. Это, безусловно, превосходит ручную процедуру в любой день.

Я не могу сравнить этот инструмент с другими инструментами, но интеграция с Visual Studio неоценима. Если вы не используете Visual Studio, у вас может быть ограниченный успех.