Please use this identifier to cite or link to this item: http://earchive.tpu.ru/handle/11683/2709
Title: Оценка полноты проверки при пассивном тестировании на основе автоматной модели
Authors: Жигулин, М. В.
Коломеец, А. В.
Keywords: конечные автоматы; мутационные автоматы; полнота проверки; диагностические последовательности; пассивное тестирование
Issue Date: 2009
Publisher: Томский политехнический университет
Citation: Жигулин М. В. Оценка полноты проверки при пассивном тестировании на основе автоматной модели / М. В. Жигулин, А. В. Коломеец // Известия Томского политехнического университета [Известия ТПУ]. — 2009. — Т. 314, № 5: Управление, вычислительная техника и информатика. — [С. 225-228].
Abstract: Предложен алгоритм расчета полноты проверки системы при пассивном тестировании, основанный на вырезании из мутационного автомата всех переходов, не отвечающих вход-выходной последовательности. Приведены оценки полноты пассивного тестирования протокола Simple Connection для различных длин входных последовательностей.
URI: http://earchive.tpu.ru/handle/11683/2709
ISSN: 1684-8519
Appears in Collections:Известия ТПУ

Files in This Item:
File Description SizeFormat 
bulletin_tpu-2009-314-5-48.pdf333,09 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.