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

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

Bibliografske podrobnosti
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 318, № 5 : Управление, вычислительная техника и информатика.— 2011.— [С. 81-84]
Drugi avtorji:	Жигулин М. В., Коломеец А. В., Кушик Н. Г., Шабалдин А. В.
Izvleček:	Заглавие с титульного листа Электронная версия печатной публикации Рассматривается тестирование программной реализации ngIRCd телекоммуникационного протокола IRC на основе теста, построенного по модели расширенного автомата. Компьютерные эксперименты иллюстрируют эффективность предложенного подхода.
Izdano:	2011
Serija:	Управление, вычислительная техника и информатика
Teme:	IRC протокол IRC расширенные автоматы конечные автоматы тесты электронный ресурс
Online dostop:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2011/v318/i5/17.pdf
Format:	Elektronski Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=199176

Podobne knjige/članki

Программирование скоординированных перемещений двух роботов-манипуляторов на базе коллаборативного робота IRB14000 (YuMi) учебное пособие
od: Серебренный В. В.
Izdano: (Москва, МГТУ им. Н.Э. Баумана, 2019)

Аськи, Ирки, чаты и другие пейджинговые программы Интернета
od: Ломакин П. А. Павел Александрович
Izdano: (Москва, Майор, 2003)

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

Оценка полноты проверки при пассивном тестировании на основе автоматной модели
od: Жигулин М. В.
Izdano: (2009)

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

Технологии сети интернет: протоколы и сервисы учебное пособие
od: Комагоров В. П. Владимир Петрович
Izdano: (Томск, Изд-во ТПУ, 2009)

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

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

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

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

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

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

Т. 3
Izdano: (2014)

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

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

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

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

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

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

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

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

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

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

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

Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических наук спец. 05.13.01
od: Дорофеева М. Ю. Маргарита Юрьевна
Izdano: (Томск, 2007)

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

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

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

Анализ работы автомата-перекоса вертолёта
od: Бугаёва А. Н.
Izdano: (2019)

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

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

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

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

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

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

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

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

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

Построение конечных автоматов в StateFlow для управления технологическим процессом
od: Чжоу Яньчэнь
Izdano: (2022)

Особенности архитектуры виртуальных агентов, основанных на планировании в режиме реального о времени
od: Аксёнов С. В. Сергей Владимирович
Izdano: (2021)