Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ

• Published in: Штучний інтелект
• Date: 2017
• Main Authors: Волков, В.А., Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
• Format: Article
• Language: Russian
• Published: Інститут проблем штучного інтелекту МОН України та НАН України 2017
• Subjects: Програмно-технічні засоби інтелектуальних систем
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/133665
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ / В.А. Волков, А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2017. — № 2. — С. 71-84. — Бібліогр.: 47 назв. — рос.

Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. Обсуждаются преимущества различных подходов и недостатки автоматического порождения...