Генерация тестовых сценариев на основе формальной модели
Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными спецификациями к системе. Метод использует определяемые пользователем в виде рег...
Saved in:
| Date: | 2010 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/14692 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Генерация тестовых сценариев на основе формальной модели/ А.А. Летичевский, А.В. Колчин// Пробл. програмув. — 2010. — № 2-3. — С. 209-215. — Бібліогр.: 40 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-14692 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Генерация тестовых сценариев на основе формальной модели |
| spellingShingle |
Генерация тестовых сценариев на основе формальной модели Летичевский, А.А. Колчин, А.В. Методи та засоби програмної інженерії |
| title_short |
Генерация тестовых сценариев на основе формальной модели |
| title_full |
Генерация тестовых сценариев на основе формальной модели |
| title_fullStr |
Генерация тестовых сценариев на основе формальной модели |
| title_full_unstemmed |
Генерация тестовых сценариев на основе формальной модели |
| title_sort |
генерация тестовых сценариев на основе формальной модели |
| author |
Летичевский, А.А. Колчин, А.В. |
| author_facet |
Летичевский, А.А. Колчин, А.В. |
| topic |
Методи та засоби програмної інженерії |
| topic_facet |
Методи та засоби програмної інженерії |
| publishDate |
2010 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Test scenarios generation based on formal model |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/14692 |
| citation_txt |
Генерация тестовых сценариев на основе формальной модели/ А.А. Летичевский, А.В. Колчин// Пробл. програмув. — 2010. — № 2-3. — С. 209-215. — Бібліогр.: 40 назв. — рос. |
| work_keys_str_mv |
AT letičevskiiaa generaciâtestovyhscenarievnaosnoveformalʹnoimodeli AT kolčinav generaciâtestovyhscenarievnaosnoveformalʹnoimodeli AT letičevskiiaa testscenariosgenerationbasedonformalmodel AT kolčinav testscenariosgenerationbasedonformalmodel |
| first_indexed |
2025-12-02T09:26:00Z |
| last_indexed |
2025-12-02T09:26:00Z |
| _version_ |
1850862098285854720 |