Алгоритм генерации тестов работоспособности на основе расширенной базы данных LSB.
Аннотация
В статье рассматривается алгоритм автоматической генерации тестов на основе базы данных LSB, содержащей описания сигнатур функций и системы типов, и ее расширения, представляющего собой описание некоторых ограничений стандарта для этих функций и служащее для корректной инициализации параметров и проверки ряда требований к корректности результатов.
Издание
Труды Института системного программирования РАН, том 14, часть 2, 2008, стр. 129-142.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).