Сборники трудов ИСП РАН


Алгоритм генерации тестов работоспособности на основе расширенной базы данных LSB.

А.В. Пономаренко, Е.С. Чернов.

Аннотация

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

Издание

Труды Института системного программирования РАН, том 14, часть 2, 2008, стр. 129-142.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома