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