ivdon3@bk.ru
Данная работа посвящена автоматической генерации верификационных наборов тестовых процедур; предложен и разработан алгоритм нахождения тестовых наборов посредством трансляции программ в логические формулы и их преобразования для решения задачи выполнимости булевых формул.
Ключевые слова: тестовые наборы, автоматическая генерация, решатель, булевы ограничения
05.13.01 - Системный анализ, управление и обработка информации (по отраслям) , 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей