Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем
dc.contributor.author | Колчин, А.В. | |
dc.contributor.author | Потиенко, С.В. | |
dc.date.accessioned | 2020-01-07T18:28:16Z | |
dc.date.available | 2020-01-07T18:28:16Z | |
dc.date.issued | 2018 | |
dc.description.abstract | Предложен интерактивный метод для упрощения отладки и повышения производительности построения тестовых сценариев для обеспечения покрытия требований высокого уровня. Метод реализует полуавтома-тическую генерацию тестов, используя задаваемую пользователем дополнительную информацию об искомых поведениях проектируемой системы. В основу положен эффективный алгоритм сокращения обхода поведения модели, способный оперативно оценивать перспективы достижения непокрытых элементов и приостанавливать рассмотрение ветвей поведения, которые гарантированно не приведут к увеличению покрытия. | uk_UA |
dc.description.abstract | 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. | uk_UA |
dc.identifier.citation | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2018. — № 2 (80). — С. 51-58. — Бібліогр.: 26 назв. — рос. | uk_UA |
dc.identifier.issn | 1561-5359 | |
dc.identifier.udc | 004.415.53+004.416.2 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/162373 | |
dc.language.iso | ru | uk_UA |
dc.publisher | Інститут проблем штучного інтелекту МОН України та НАН України | uk_UA |
dc.relation.ispartof | Штучний інтелект | |
dc.status | published earlier | uk_UA |
dc.subject | Програмно-технічні засоби інтелектуальних систем | uk_UA |
dc.title | Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем | uk_UA |
dc.title.alternative | Interactive method for automated test suit development for formal models of software systems | uk_UA |
dc.type | Article | uk_UA |
Файли
Оригінальний контейнер
1 - 1 з 1
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 817 B
- Формат:
- Item-specific license agreed upon to submission
- Опис: