Proceedings of ISP RAS


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

С.Г. Грошев.

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 14, issue 1 (in Russian), 2008, Стр. 137-160.

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

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