Генерация тестовых сценариев на основе формальной модели
Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными спецификациями к системе. Метод использует определяемые пользователем в виде рег...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/14692 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Генерация тестовых сценариев на основе формальной модели/ А.А. Летичевский, А.В. Колчин// Пробл. програмув. — 2010. — № 2-3. — С. 209-215. — Бібліогр.: 40 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862659332786618368 |
|---|---|
| author | Летичевский, А.А. Колчин, А.В. |
| author_facet | Летичевский, А.А. Колчин, А.В. |
| citation_txt | Генерация тестовых сценариев на основе формальной модели/ А.А. Летичевский, А.В. Колчин// Пробл. програмув. — 2010. — № 2-3. — С. 209-215. — Бібліогр.: 40 назв. — рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-02T09:26:00Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-14692 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-02T09:26:00Z |
| publishDate | 2010 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Летичевский, А.А. Колчин, А.В. 2010-12-27T17:04:01Z 2010-12-27T17:04:01Z 2010 Генерация тестовых сценариев на основе формальной модели/ А.А. Летичевский, А.В. Колчин// Пробл. програмув. — 2010. — № 2-3. — С. 209-215. — Бібліогр.: 40 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/14692 519.686.2 Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными спецификациями к системе. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода поведения модели. 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. ru Інститут програмних систем НАН України Методи та засоби програмної інженерії Генерация тестовых сценариев на основе формальной модели Test scenarios generation based on formal model Article published earlier |
| spellingShingle | Генерация тестовых сценариев на основе формальной модели Летичевский, А.А. Колчин, А.В. Методи та засоби програмної інженерії |
| title | Генерация тестовых сценариев на основе формальной модели |
| title_alt | Test scenarios generation based on formal model |
| title_full | Генерация тестовых сценариев на основе формальной модели |
| title_fullStr | Генерация тестовых сценариев на основе формальной модели |
| title_full_unstemmed | Генерация тестовых сценариев на основе формальной модели |
| title_short | Генерация тестовых сценариев на основе формальной модели |
| title_sort | генерация тестовых сценариев на основе формальной модели |
| topic | Методи та засоби програмної інженерії |
| topic_facet | Методи та засоби програмної інженерії |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/14692 |
| work_keys_str_mv | AT letičevskiiaa generaciâtestovyhscenarievnaosnoveformalʹnoimodeli AT kolčinav generaciâtestovyhscenarievnaosnoveformalʹnoimodeli AT letičevskiiaa testscenariosgenerationbasedonformalmodel AT kolčinav testscenariosgenerationbasedonformalmodel |