Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
|
|
| Creator |
Колчин, А.В.
|
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| 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. |
|
| Date |
2008-12-15T13:20:30Z
2008-12-15T13:20:30Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем / А.В. Колчин // Проблеми програмування. — 2008. — № 4. — С. 3-12. — Бібліогр.: 23 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2598 519.686.2 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|