Оценка полноты проверки при пассивном тестировании на основе автоматной модели; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика

Оценка полноты проверки при пассивном тестировании на основе автоматной модели; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика

Λεπτομέρειες βιβλιογραφικής εγγραφής
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 314, № 5: Управление, вычислительная техника и информатика.— 2009.— [С. 225-228]
Κύριος συγγραφέας:	Жигулин М. В.
Άλλοι συγγραφείς:	Коломеец А. В.
Περίληψη:	Заглавие с титульного листа Электронная версия печатной публикации Предложен алгоритм расчета полноты проверки системы при пассивном тестировании, основанный на вырезании из мутационного автомата всех переходов, не отвечающих вход-выходной последовательности. Приведены оценки полноты пассивного тестирования протокола Simple Connection для различных длин входных последовательностей.
Γλώσσα:	Ρωσικά
Έκδοση:	2009
Σειρά:	Управление, вычислительная техника и информатика
Θέματα:	конечные автоматы мутационные автоматы полнота проверки диагностические последовательности пассивное тестирование электронный ресурс
Διαθέσιμο Online:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2009/v314/i5/48.pdf
Μορφή:	Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=175741

Παρόμοια τεκμήρια

Использование свойств мутационных автоматов для минимизации проверяющих тестов; Программирование; Т. 38, № 4
από: Эль-Факи К.
Έκδοση: (2012)

Тестирование программной реализации протокола IRC на основе модели расширенного автомата; Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 5 : Управление, вычислительная техника и информатика
Έκδοση: (2011)

Конечноавтоматные системы управления (принципы построения и анализ поведения)
από: Новорусский В. В. Валерий Владимирович
Έκδοση: (Новосибирск, Наука, 1982)

Теоретические основы проектирования компиляторов: пер. с англ.
από: Льюис Ф. Филип
Έκδοση: (Москва, Мир, 1979)

Вычислительная и микропроцессорная техника учебное пособие
από: Неелова О. Л.
Έκδοση: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2020)

Теория автоматов: учебник для бакалавриата и магистратуры
από: Кудрявцев В. Б. Валерий Борисович
Έκδοση: (Москва, Юрайт, 2019)

Логические эксперименты с автоматами
από: Твердохлебов В. А. Владимир Александрович
Έκδοση: (Саратов, Изд-во Саратовского ун-та, 1988)

Математические модели автоматов и формальных языков в сфере искусственного интеллекта учебное пособие для вузов
από: Золкин А. Л.
Έκδοση: (Санкт-Петербург, Лань, 2025)

Применение автоматной парадигмы к синтезу программы управления станком наплавки пятников железнодорожных вагонов; Информационные технологии в науке, управлении, социальной сфере и медицине
από: Афанасьев Н. А.
Έκδοση: (2019)

Совершенствование алгоритма OSTIA для обучения трансдукторов; Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 5 : Управление, вычислительная техника и информатика
από: Малахов Э. В. Эдуард Владимирович
Έκδοση: (2011)

Аналитические методы в задачах контроля и анализа дискретных устройств
από: Богомолов А. М. Анатолий Михайлович
Έκδοση: (Саратов, Изд-во Саратовского ун-та, 1986)

Генерация кода на основе детерминированного конечного автомата; Молодежь и современные информационные технологии
από: Гительман В. С.
Έκδοση: (2022)

Введение в методы трансляции учебное пособие
από: Двоенко С. Д.
Έκδοση: (Тула, ТулГУ, 2024)

Вып. 25: Проблемы оптимизации дискретных систем; Вычислительная техника и вопросы кибернетики
Έκδοση: (1990)

Современная прикладная алгебра: пер. с англ.
από: Биркгоф Г.
Έκδοση: (Москва, Мир, 1976)

Теория автоматов: учебник
από: Карпов Ю. Г. Юрий Глебович
Έκδοση: (СПб., Питер, 2003)

Т. 3; Криптографические методы защиты информации
Έκδοση: (2014)

Ориентированные графы и конечные автоматы
από: Мелихов А. Н. Аскольд Николаевич
Έκδοση: (Москва, Наука, 1971)

Основы логических методов проверки автоматов: [монография]
από: Скляревич А. Н. Акива Нухимович
Έκδοση: (Рига, Зинатне, 1979)

Создание игровой логики. Практикум учебное пособие для вузов
από: Капанов А. А.
Έκδοση: (Санкт-Петербург, Лань, 2023)

Лекции по теории экспериментов с конечными автоматами: учебное пособие
από: Сперанский Д. В. Дмитрий Васильевич
Έκδοση: (Москва, Интернет-Университет информационных технологий, 2010)

Апериодические автоматы
Έκδοση: (Москва, Наука, 1976)

Проектирование автоматизированных систем учеб. пособие
από: Петров А. М.
Έκδοση: (Норильск, ЗГУ им. Н.М. Федоровского, 2023)

Современная прикладная алгебра: учебное пособие; пер. с англ.
από: Биркгоф Г. Гаррет
Έκδοση: (СПб. [и др.], Лань, 2005)

Логические устройства и их применение в автоматике: учебное пособие
από: Громаков Е. И. Евгений Иванович
Έκδοση: (Томск, Изд-во ТПИ, 1982)

Дискретная математика: теория автоматов
από: Овчаренко А. Ю.
Έκδοση: (Новосибирск, СибГУТИ, 2021)

Эквивалентные представления дискретных устройств
από: Аскеров Ч. И. Чингиз Исфендияр
Έκδοση: (Москва, Энергия, 1978)

Задачник по курсу "Математическая лингвистика и теория автоматов учебное пособие для вузов
από: Короткова М. А.
Έκδοση: (Москва, НИЯУ МИФИ, 2012)

Автоматная теория случайного поиска: монография
από: Растригин Л. А. Леонард Андреевич
Έκδοση: (Рига, Зинатне, 1973)

Основы логического проектирования: учебное пособие
από: Колдаев В. Д. Виктор Дмитриевич
Έκδοση: (Москва, Форум, 2011)

Конечные автоматы: эквивалентность и поведение
Έκδοση: (Москва, Наука, 1984)

Синтез и тестирование дискретных систем: учебное пособие
από: Буркатовская Ю. Б. Юлия Борисовна
Έκδοση: (Томск, Изд-во ТПУ, 2012)

Алгебраические основы криптографии: учебное пособие для вузов
από: Применко Э. А. Эдуард Андреевич
Έκδοση: (Москва, Либроком, 2013)

Вероятностные автоматы
από: Бухараев Р. Г. Раис Гатич
Έκδοση: (Казань, Казанский университет, 1977)

Введение в теорию абстрактных автоматов: учебное пособие для университетов
από: Кудрявцев В. Б. Валерий Борисович
Έκδοση: (Москва, Изд-во МГУ, 1985)

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

Лекции по конструированию компиляторов: учебное пособие
από: Серебряков В. А.
Έκδοση: (Москва, Вычислительный центр РАН, 1994)

Теория цифроаналогового синтеза частот с помощью конечных автоматов
από: Никитин Ю. А.
Έκδοση: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2024)

Вып. 24: Математические проблемы информатики; Вычислительная техника и вопросы кибернетики
Έκδοση: (1987)

[Сб.] 17 : Расчет и проектирование приборов, устройств и систем технической кибернетики; Электротехника и автоматика
Έκδοση: (1980)