Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/2709
Название: Оценка полноты проверки при пассивном тестировании на основе автоматной модели
Авторы: Жигулин, М. В.
Коломеец, А. В.
Ключевые слова: конечные автоматы; мутационные автоматы; полнота проверки; диагностические последовательности; пассивное тестирование
Дата публикации: 2009
Издатель: Томский политехнический университет
Библиографическое описание: Жигулин М. В. Оценка полноты проверки при пассивном тестировании на основе автоматной модели / М. В. Жигулин, А. В. Коломеец // Известия Томского политехнического университета [Известия ТПУ]. — 2009. — Т. 314, № 5: Управление, вычислительная техника и информатика. — [С. 225-228].
Аннотация: Предложен алгоритм расчета полноты проверки системы при пассивном тестировании, основанный на вырезании из мутационного автомата всех переходов, не отвечающих вход-выходной последовательности. Приведены оценки полноты пассивного тестирования протокола Simple Connection для различных длин входных последовательностей.
URI: http://earchive.tpu.ru/handle/11683/2709
ISSN: 1684-8519
Располагается в коллекциях:Известия ТПУ

Файлы этого ресурса:
Файл Описание РазмерФормат 
bulletin_tpu-2009-314-5-48.pdf333,09 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.