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