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

dc.contributor.authorКолчин, А.В.
dc.contributor.authorПотиенко, С.В.
dc.date.accessioned2020-01-07T18:28:16Z
dc.date.available2020-01-07T18:28:16Z
dc.date.issued2018
dc.description.abstractПредложен интерактивный метод для упрощения отладки и повышения производительности построения тестовых сценариев для обеспечения покрытия требований высокого уровня. Метод реализует полуавтома-тическую генерацию тестов, используя задаваемую пользователем дополнительную информацию об искомых поведениях проектируемой системы. В основу положен эффективный алгоритм сокращения обхода поведения модели, способный оперативно оценивать перспективы достижения непокрытых элементов и приостанавливать рассмотрение ветвей поведения, которые гарантированно не приведут к увеличению покрытия.uk_UA
dc.description.abstractInteractive 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.issn1561-5359
dc.identifier.udc004.415.53+004.416.2
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/162373
dc.language.isoruuk_UA
dc.publisherІнститут проблем штучного інтелекту МОН України та НАН Україниuk_UA
dc.relation.ispartofШтучний інтелект
dc.statuspublished earlieruk_UA
dc.subjectПрограмно-технічні засоби інтелектуальних системuk_UA
dc.titleИнтерактивный метод автоматизированного создания тестового набора для формальных моделей программных системuk_UA
dc.title.alternativeInteractive method for automated test suit development for formal models of software systemsuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
06-Kolchin.pdf
Розмір:
730.6 KB
Формат:
Adobe Portable Document Format

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис: