Proceedings of ISP RAS


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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 14, issue 2 (in Russian), 2008, Стр. 129-142.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume