Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем
Предложен интерактивный метод для упрощения отладки и повышения производительности построения тестовых сценариев для обеспечения покрытия требований высокого уровня. Метод реализует полуавтома-тическую генерацию тестов, используя задаваемую пользователем дополнительную информацию об искомых поведени...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2018 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/162373 |
| 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: | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2018. — № 2 (80). — С. 51-58. — Бібліогр.: 26 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862685542642089984 |
|---|---|
| author | Колчин, А.В. Потиенко, С.В. |
| author_facet | Колчин, А.В. Потиенко, С.В. |
| citation_txt | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2018. — № 2 (80). — С. 51-58. — Бібліогр.: 26 назв. — рос. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| 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.
|
| first_indexed | 2025-12-07T16:00:37Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-162373 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-12-07T16:00:37Z |
| publishDate | 2018 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| 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 |
| spellingShingle | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем Колчин, А.В. Потиенко, С.В. Програмно-технічні засоби інтелектуальних систем |
| title | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем |
| title_alt | Interactive method for automated test suit development for formal models of software systems |
| title_full | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем |
| title_fullStr | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем |
| title_full_unstemmed | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем |
| title_short | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем |
| title_sort | интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем |
| topic | Програмно-технічні засоби інтелектуальних систем |
| topic_facet | Програмно-технічні засоби інтелектуальних систем |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/162373 |
| work_keys_str_mv | AT kolčinav interaktivnyimetodavtomatizirovannogosozdaniâtestovogonaboradlâformalʹnyhmodeleiprogrammnyhsistem AT potienkosv interaktivnyimetodavtomatizirovannogosozdaniâtestovogonaboradlâformalʹnyhmodeleiprogrammnyhsistem AT kolčinav interactivemethodforautomatedtestsuitdevelopmentforformalmodelsofsoftwaresystems AT potienkosv interactivemethodforautomatedtestsuitdevelopmentforformalmodelsofsoftwaresystems |