Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем
Предложен интерактивный метод для упрощения отладки и повышения производительности построения тестовых сценариев для обеспечения покрытия требований высокого уровня. Метод реализует полуавтома-тическую генерацию тестов, используя задаваемую пользователем дополнительную информацию об искомых поведени...
Збережено в:
| Опубліковано в: : | Штучний інтелект |
|---|---|
| Дата: | 2018 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2018
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/162373 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2018. — № 2 (80). — С. 51-58. — Бібліогр.: 26 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-162373 |
|---|---|
| record_format |
dspace |
| spelling |
Колчин, А.В. Потиенко, С.В. 2020-01-07T18:28:16Z 2020-01-07T18:28:16Z 2018 Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2018. — № 2 (80). — С. 51-58. — Бібліогр.: 26 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/162373 004.415.53+004.416.2 Предложен интерактивный метод для упрощения отладки и повышения производительности построения тестовых сценариев для обеспечения покрытия требований высокого уровня. Метод реализует полуавтома-тическую генерацию тестов, используя задаваемую пользователем дополнительную информацию об искомых поведениях проектируемой системы. В основу положен эффективный алгоритм сокращения обхода поведения модели, способный оперативно оценивать перспективы достижения непокрытых элементов и приостанавливать рассмотрение ветвей поведения, которые гарантированно не приведут к увеличению покрытия. Interactive method for simplification and efficiency improvement of test scenario development to satisfy high-level requirements coverage is proposed. The method implements semiautomatic generation of tests on a basis of points-of-interest of desired behavior of a system under development. It is based on efficient algorithm for state space reducing, which makes on-the-fly assessment of the prospects of achieving elements yet uncovered. The algorithm will suspend consideration of the behavior branches that will provably not be able contribute to coverage. ru Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Програмно-технічні засоби інтелектуальних систем Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем Interactive method for automated test suit development for formal models of software 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 |
2018 |
| language |
Russian |
| container_title |
Штучний інтелект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Interactive method for automated test suit development for formal models of software systems |
| description |
Предложен интерактивный метод для упрощения отладки и повышения производительности построения тестовых сценариев для обеспечения покрытия требований высокого уровня. Метод реализует полуавтома-тическую генерацию тестов, используя задаваемую пользователем дополнительную информацию об искомых поведениях проектируемой системы. В основу положен эффективный алгоритм сокращения обхода поведения модели, способный оперативно оценивать перспективы достижения непокрытых элементов и приостанавливать рассмотрение ветвей поведения, которые гарантированно не приведут к увеличению покрытия.
Interactive method for simplification and efficiency improvement of test scenario development to satisfy high-level requirements coverage is proposed. The method implements semiautomatic generation of tests on a basis of points-of-interest of desired behavior of a system under development. It is based on efficient algorithm for state space reducing, which makes on-the-fly assessment of the prospects of achieving elements yet uncovered. The algorithm will suspend consideration of the behavior branches that will provably not be able contribute to coverage.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/162373 |
| citation_txt |
Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2018. — № 2 (80). — С. 51-58. — Бібліогр.: 26 назв. — рос. |
| work_keys_str_mv |
AT kolčinav interaktivnyimetodavtomatizirovannogosozdaniâtestovogonaboradlâformalʹnyhmodeleiprogrammnyhsistem AT potienkosv interaktivnyimetodavtomatizirovannogosozdaniâtestovogonaboradlâformalʹnyhmodeleiprogrammnyhsistem AT kolčinav interactivemethodforautomatedtestsuitdevelopmentforformalmodelsofsoftwaresystems AT potienkosv interactivemethodforautomatedtestsuitdevelopmentforformalmodelsofsoftwaresystems |
| first_indexed |
2025-12-07T16:00:37Z |
| last_indexed |
2025-12-07T16:00:37Z |
| _version_ |
1850865864274870272 |