Генерация тестовых сценариев на основе формальной модели
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Генерация тестовых сценариев на основе формальной модели
|
|
| Creator |
Летичевский, А.А.
Колчин, А.В. |
|
| Subject |
Методи та засоби програмної інженерії
|
|
| Description |
Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными спецификациями к системе. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода поведения модели.
A guided search method for automatic test scenario building during verification described. The main goal is to achieve semantic correspondence between obtained test scenarios and functional specifications of a system. The method uses user-defined regular expressions as test purposes and for model behavior traversal bounding. |
|
| Date |
2010-12-27T17:04:01Z
2010-12-27T17:04:01Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Генерация тестовых сценариев на основе формальной модели/ А.А. Летичевский, А.В. Колчин// Пробл. програмув. — 2010. — № 2-3. — С. 209-215. — Бібліогр.: 40 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14692 519.686.2 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|