Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 333,09 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.