Задача разработки SAT-решателя для поиска верификационных наборов в тестирования программного обеспечения

Аннотация

Богданов Д.С., Ляпунова И.А., Тетруашвили Е.В.

Дата поступления статьи: 25.10.2017

Данная работа посвящена автоматической генерации верификационных наборов тестовых процедур; предложен и разработан алгоритм нахождения тестовых наборов посредством трансляции программ в логические формулы и их преобразования для решения задачи выполнимости булевых формул.

Ключевые слова: тестовые наборы, автоматическая генерация, решатель, булевы ограничения

05.13.01 - Системный анализ, управление и обработка информации (по отраслям)

05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Читать статью в формате PDF