Оценка полноты проверки при пассивном тестировании на основе автоматной модели

Оценка полноты проверки при пассивном тестировании на основе автоматной модели

Bibliografski detalji
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 314, № 5: Управление, вычислительная техника и информатика.— 2009.— [С. 225-228]
Glavni autor:	Жигулин М. В.
Daljnji autori:	Коломеец А. В.
Sažetak:	Заглавие с титульного листа Электронная версия печатной публикации Предложен алгоритм расчета полноты проверки системы при пассивном тестировании, основанный на вырезании из мутационного автомата всех переходов, не отвечающих вход-выходной последовательности. Приведены оценки полноты пассивного тестирования протокола Simple Connection для различных длин входных последовательностей.
Jezik:	ruski
Izdano:	2009
Serija:	Управление, вычислительная техника и информатика
Teme:	конечные автоматы мутационные автоматы полнота проверки диагностические последовательности пассивное тестирование электронный ресурс
Online pristup:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2009/v314/i5/48.pdf
Format:	Elektronički Poglavlje knjige
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=175741

Slični predmeti

Использование свойств мутационных автоматов для минимизации проверяющих тестов
od: Эль-Факи К.
Izdano: (2012)

Тестирование программной реализации протокола IRC на основе модели расширенного автомата
Izdano: (2011)

Конечноавтоматные системы управления (принципы построения и анализ поведения)
od: Новорусский В. В. Валерий Владимирович
Izdano: (Новосибирск, Наука, 1982)

Математические модели автоматов и формальных языков в сфере искусственного интеллекта учебное пособие для вузов
od: Золкин А. Л.
Izdano: (Санкт-Петербург, Лань, 2025)

Применение автоматной парадигмы к синтезу программы управления станком наплавки пятников железнодорожных вагонов
od: Афанасьев Н. А.
Izdano: (2019)

Логические эксперименты с автоматами
od: Твердохлебов В. А. Владимир Александрович
Izdano: (Саратов, Изд-во Саратовского ун-та, 1988)

Теория автоматов учебник для бакалавриата и магистратуры
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2019)

Синтез и тестирование дискретных устройств учебное пособие
od: Буркатовская Ю. Б. Юлия Борисовна
Izdano: (Томск, Изд-во ТПУ, 2012)

Аналитические методы в задачах контроля и анализа дискретных устройств
od: Богомолов А. М. Анатолий Михайлович
Izdano: (Саратов, Изд-во Саратовского ун-та, 1986)

Генерация кода на основе детерминированного конечного автомата
od: Гительман В. С.
Izdano: (2022)

Введение в методы трансляции учебное пособие
od: Двоенко С. Д.
Izdano: (Тула, ТулГУ, 2024)

Современная прикладная алгебра пер. с англ.
od: Биркгоф Г.
Izdano: (Москва, Мир, 1976)

Т. 3
Izdano: (2014)

Создание игровой логики. Практикум учебное пособие для вузов
od: Капанов А. А.
Izdano: (Санкт-Петербург, Лань, 2023)

Современная прикладная алгебра учебное пособие пер. с англ.
od: Биркгоф Г. Гаррет
Izdano: (СПб. [и др.], Лань, 2005)

Лекции по теории экспериментов с конечными автоматами учебное пособие
od: Сперанский Д. В. Дмитрий Васильевич
Izdano: (Москва, Интернет-Университет информационных технологий, 2010)

Апериодические автоматы
Izdano: (Москва, Наука, 1976)

Проектирование автоматизированных систем учеб. пособие
od: Петров А. М.
Izdano: (Норильск, ЗГУ им. Н.М. Федоровского, 2023)

Логические устройства и их применение в автоматике учебное пособие
od: Громаков Е. И. Евгений Иванович
Izdano: (Томск, Изд-во ТПИ, 1982)

Дискретная математика: теория автоматов
od: Овчаренко А. Ю.
Izdano: (Новосибирск, СибГУТИ, 2021)

Основы логических методов проверки автоматов [монография]
od: Скляревич А. Н. Акива Нухимович
Izdano: (Рига, Зинатне, 1979)

Эквивалентные представления дискретных устройств
od: Аскеров Ч. И. Чингиз Исфендияр
Izdano: (Москва, Энергия, 1978)

Задачник по курсу "Математическая лингвистика и теория автоматов учебное пособие для вузов
od: Короткова М. А.
Izdano: (Москва, НИЯУ МИФИ, 2012)

Автоматная теория случайного поиска монография
od: Растригин Л. А. Леонард Андреевич
Izdano: (Рига, Зинатне, 1973)

Основы логического проектирования учебное пособие
od: Колдаев В. Д. Виктор Дмитриевич
Izdano: (Москва, Форум, 2011)

Конечные автоматы: эквивалентность и поведение
Izdano: (Москва, Наука, 1984)

Алгебраические основы криптографии учебное пособие для вузов
od: Применко Э. А. Эдуард Андреевич
Izdano: (Москва, Либроком, 2013)

Синтез и тестирование дискретных систем учебное пособие
od: Буркатовская Ю. Б. Юлия Борисовна
Izdano: (Томск, Изд-во ТПУ, 2012)

Введение в теорию абстрактных автоматов учебное пособие для университетов
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Изд-во МГУ, 1985)

Вероятностные автоматы
od: Бухараев Р. Г. Раис Гатич
Izdano: (Казань, Казанский университет, 1977)

Комбинаторно-алгебраические методы в прикладной математике межвузовский сборник
Izdano: (Горький, Изд-во ГГУ, 1983)

Лекции по конструированию компиляторов учебное пособие
od: Серебряков В. А.
Izdano: (Москва, Вычислительный центр РАН, 1994)

Теория цифроаналогового синтеза частот с помощью конечных автоматов
od: Никитин Ю. А.
Izdano: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2024)

Функциональная и структурная организация операционных автоматов конспект лекций
od: Голембиовский Ю. М. Юрий Мичеславович
Izdano: (Саратов, Изд-во СГИ, 1980)

[Сб.] 17 : Расчет и проектирование приборов, устройств и систем технической кибернетики
Izdano: (1980)

Введение в теорию конечных автоматов пер. с англ.
od: Гилл А. Артур
Izdano: (Москва, Наука, 1966)

Введение в теорию автоматов, языков и вычислений пер. с англ.
od: Хопкрофт Дж. Джон
Izdano: (Москва, Вильямс, 2002)

Модели параллельного программирования
od: Федотов И. Е. Илья Евгеньевич
Izdano: (Москва, Солон-Пресс, 2012)

Классика программирования: алгоритмы, языки, автоматы, компиляторы практический подход
od: Мозговой М. В.
Izdano: (СПб., Наука и техника, 2006)

Управление сетями связи и синтез управляющих устройств [сборник статей]
Izdano: (Москва, Наука, 1969)