Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
Предложен метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода поведения модели. Описаны стратегии управления поиском и техника ослабления эк...
Saved in:
| Date: | 2008 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2598 |
| 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: | Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем / А.В. Колчин // Проблеми програмування. — 2008. — № 4. — С. 3-12. — Бібліогр.: 23 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-2598 |
|---|---|
| record_format |
dspace |
| spelling |
Колчин, А.В. 2008-12-15T13:20:30Z 2008-12-15T13:20:30Z 2008 Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем / А.В. Колчин // Проблеми програмування. — 2008. — № 4. — С. 3-12. — Бібліогр.: 23 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2598 519.686.2 Предложен метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода поведения модели. Описаны стратегии управления поиском и техника ослабления эквивалентности трасс и состояний. Запропоновано метод спрямованого пошуку для автоматичної побудови тестових сценаріїв у процесі верифікації. Метод використовує цілі тестування та обмеження на обхід поведінки моделі, які визначає користувач у вигляді регулярних виразів. A guided search method for automatic test scenario building during verification proposed. The method uses user-defined regular expressions as test purposes and for model behavior traversal bounding. Search managing strategies together with trace and state equivalence weakening described. ru Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем A method for guided search and test scenarios generation in verification of formal models of asynchronous systems 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 |
2008 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
A method for guided search and test scenarios generation in verification of formal models of asynchronous systems |
| description |
Предложен метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода поведения модели. Описаны стратегии управления поиском и техника ослабления эквивалентности трасс и состояний.
Запропоновано метод спрямованого пошуку для автоматичної побудови тестових сценаріїв у процесі верифікації. Метод використовує цілі тестування та обмеження на обхід поведінки моделі, які визначає користувач у вигляді регулярних виразів.
A guided search method for automatic test scenario building during verification proposed. The method uses user-defined regular expressions as test purposes and for model behavior traversal bounding. Search managing strategies together with trace and state equivalence weakening described.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2598 |
| citation_txt |
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем / А.В. Колчин // Проблеми програмування. — 2008. — № 4. — С. 3-12. — Бібліогр.: 23 назв. — рос. |
| work_keys_str_mv |
AT kolčinav metodnapravleniâpoiskaigeneraciitestovyhscenarievpriverifikaciiformalʹnyhmodeleiasinhronnyhsistem AT kolčinav amethodforguidedsearchandtestscenariosgenerationinverificationofformalmodelsofasynchronoussystems |
| first_indexed |
2025-12-07T17:34:12Z |
| last_indexed |
2025-12-07T17:34:12Z |
| _version_ |
1850871751572979712 |