Новости
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Локализация ошибок методом сокращенного воспроизведения трассы.
Аннотация
В статье предложен метод построения на основе существующего теста UniTESK, находящего ошибку в тестируемой системе, минимального теста, обнаруживающего ту же ошибку. Полученный минимальный тест может использоваться для локализации ошибки в реализации тестируемой системы. Приведено математическое обоснование предложенного метода. Предложен алгоритм, реализующий его, и доказана корректность алгоритма. Описана реализация предложенного метода для инструментария тестирования CTESK.
Издание
Труды Института системного программирования РАН, том 14, часть 1, 2008, стр. 137-160.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).