Метод генерации тестовых сценариев в среде инсерционного моделирования

Метод генерации тестовых сценариев в среде инсерционного моделирования

Колчин, А.В. ; Котляров, В.П. ; Дробинцев, П.Д.

Інші назви: A Method of the Test Scenario Generation in the Insertion Modelling Environment
Метод генерації тестових сценаріїв у середовищі інсерційного моделювання

Тема: Технические приложения инсерционного моделирования

УДК: 004.4'24 + 004.415.5 + 004.415.28

URI: http://dspace.nbuv.gov.ua/handle/123456789/83106

Посилання: Метод генерации тестовых сценариев в среде инсерционного моделирования / А.В. Колчин, В.П. Котляров, П.Д. Дробинцев // Управляющие системы и машины. — 2012. — № 6. — С. 43-48, 63. — Бібліогр.: 30 назв. — рос.

Підтримка: Данная разработка поддержана грантом РФФИ 11-07-90412-Укр_ф_а (Россия), научно-исследовательской работой № Ф40\51-2011 (Украина) и ДФФД по проекту Ф40.1/004.

Дата: 2012

Завантажень: 335

Метод генерации тестовых сценариев в среде инсерционного моделирования

Анотація:

Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем.

A method of the search of specific behaviours of the formal models which uses an additional information about peculiarities of the progected system and its application to the automatic construction of test scenarious for program systems is desceibed.

Описано метод пошуку специфічних поведінок формальних моделей, за яким використовується задавана користувачем додаткова інформація про поведінкові особливості проектованої системи та його застосування у автоматичній побудові тестових сценаріїв для програмних систем.

Показати повний запис статті