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

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

Full description

Bibliographic Details
Main Author:	С.Г. Грошев
Format:	Article
Language:	English
Published:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2008-01-01
Series:	Труды Института системного программирования РАН
Online Access:	https://www.ispras.ru/en/proceedings/isp_2008_14_1/isp_2008_14_1_137/

id	doaj-ee1a3d62f858475fbccbc53dd063f7fd
record_format	Article
spelling	doaj-ee1a3d62f858475fbccbc53dd063f7fd2020-11-25T02:36:53Zeng Ivannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262008-01-01141137160Локализация ошибок методом сокращенного воспроизведения трассыС.Г. ГрошевВ статье предложен метод построения на основе существующего теста UniTESK, находящего ошибку в тестируемой системе, минимального теста, обнаруживающего ту же ошибку. Полученный минимальный тест может использоваться для локализации ошибки в реализации тестируемой системы. Приведено математическое обоснование предложенного метода. Предложен алгоритм, реализующий его, и доказана корректность алгоритма. Описана реализация предложенного метода для инструментария тестирования CTESK.https://www.ispras.ru/en/proceedings/isp_2008_14_1/isp_2008_14_1_137/
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	С.Г. Грошев
spellingShingle	С.Г. Грошев Локализация ошибок методом сокращенного воспроизведения трассы Труды Института системного программирования РАН
author_facet	С.Г. Грошев
author_sort	С.Г. Грошев
title	Локализация ошибок методом сокращенного воспроизведения трассы
title_short	Локализация ошибок методом сокращенного воспроизведения трассы
title_full	Локализация ошибок методом сокращенного воспроизведения трассы
title_fullStr	Локализация ошибок методом сокращенного воспроизведения трассы
title_full_unstemmed	Локализация ошибок методом сокращенного воспроизведения трассы
title_sort	локализация ошибок методом сокращенного воспроизведения трассы
publisher	Ivannikov Institute for System Programming of the Russian Academy of Sciences
series	Труды Института системного программирования РАН
issn	2079-8156 2220-6426
publishDate	2008-01-01
description	В статье предложен метод построения на основе существующего теста UniTESK, находящего ошибку в тестируемой системе, минимального теста, обнаруживающего ту же ошибку. Полученный минимальный тест может использоваться для локализации ошибки в реализации тестируемой системы. Приведено математическое обоснование предложенного метода. Предложен алгоритм, реализующий его, и доказана корректность алгоритма. Описана реализация предложенного метода для инструментария тестирования CTESK.
url	https://www.ispras.ru/en/proceedings/isp_2008_14_1/isp_2008_14_1_137/
work_keys_str_mv	AT sggrošev lokalizaciâošibokmetodomsokraŝennogovosproizvedeniâtrassy
_version_	1724798112590987264

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

Similar Items