Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем

Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем

Предложен метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода поведения модели. Описаны стратегии управления поиском и техника ослабления эк...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2008
Автор: Колчин, А.В.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2008
Теми:
Теоретичні та методологічні основи програмування
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/2598
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем / А.В. Колчин // Проблеми програмування. — 2008. — № 4. — С. 3-12. — Бібліогр.: 23 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-2598
record_format dspace
spelling irk-123456789-25982009-12-10T15:10:55Z Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем Колчин, А.В. Теоретичні та методологічні основи програмування Предложен метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода поведения модели. Описаны стратегии управления поиском и техника ослабления эквивалентности трасс и состояний. Запропоновано метод спрямованого пошуку для автоматичної побудови тестових сценаріїв у процесі верифікації. Метод використовує цілі тестування та обмеження на обхід поведінки моделі, які визначає користувач у вигляді регулярних виразів. 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. 2008 Article Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем / А.В. Колчин // Проблеми програмування. — 2008. — № 4. — С. 3-12. — Бібліогр.: 23 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2598 519.686.2 ru Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Теоретичні та методологічні основи програмування
Теоретичні та методологічні основи програмування
spellingShingle Теоретичні та методологічні основи програмування
Теоретичні та методологічні основи програмування
Колчин, А.В.
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
description Предложен метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода поведения модели. Описаны стратегии управления поиском и техника ослабления эквивалентности трасс и состояний.
format Article
author Колчин, А.В.
author_facet Колчин, А.В.
author_sort Колчин, А.В.
title Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
title_short Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
title_full Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
title_fullStr Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
title_full_unstemmed Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
title_sort метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
publisher Інститут програмних систем НАН України
publishDate 2008
topic_facet Теоретичні та методологічні основи програмування
url http://dspace.nbuv.gov.ua/handle/123456789/2598
citation_txt Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем / А.В. Колчин // Проблеми програмування. — 2008. — № 4. — С. 3-12. — Бібліогр.: 23 назв. — рос.
work_keys_str_mv AT kolčinav metodnapravleniâpoiskaigeneraciitestovyhscenarievpriverifikaciiformalʹnyhmodelejasinhronnyhsistem
first_indexed 2023-03-24T08:25:22Z
last_indexed 2023-03-24T08:25:22Z
_version_ 1796139002186694656

Схожі ресурси