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


Локализация ошибок методом сокращенного воспроизведения трассы.

С.Г. Грошев.

Аннотация

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

Издание

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

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

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