Методика генерации тестов для протоколов информационного обмена на основе недетерминированного конечного автомата с предикатами
Знакомство с основными характеристиками, определяющими выбор методов и средств аттестационного тестирования. Рассмотрение методики генерации тестов для протоколов информационного обмена на основе недетерминированного конечного автомата с предикатами.
Подобные документы
Несколько наиболее ярких примеров криптографических протоколов с дефектами и атаками, использующими эти дефекты. Классификация криптографических протоколов. Протокол ключевого обмена DH. Протокол шифрования и цифровой подписи по RSA на общем модуле.
статья, добавлен 15.09.2012Применение генетического программирования для генерации автоматов. Модификации эволюционных алгоритмов. Представление функции переходов автомата с помощью деревьев разбора. Определение значения функции по значениям переменных. Порождение дерева решений.
статья, добавлен 18.01.2018Современные тенденции развития систем телекоммуникаций, сетей и компьютерных технологий. Эффективность использования математического аппарата для статистического анализа на основе тестов "base data system" при исследовании свойств сетевого трафика.
статья, добавлен 25.03.2016Изучение протоколов Echo, Time, DayTime, WhoIs, Finger, RLogin, Telnet. Разработка программ клиент-серверного взаимодействия. Обработка команд запросов и ответов протоколов. Использование функций Windows API и других библиотек для работы с сокетами.
лабораторная работа, добавлен 28.04.2015Знакомство с типами данных, операторами цикла и присваивания в процессе разработки программ, описывающих методы эффективного и помехоустойчивого кодирования информации. Синтез конечного автомата в программной среде Visual Studio.Net. Листинг программы.
курсовая работа, добавлен 16.06.2016Табличное и ленточное задание автомата Мили. Кодированная таблица переходов и выходов для определения автомата Мили. Кодированная таблица переходов, получение и минимизация формул для расчета автомата Мура. Операционная часть автомата управления.
курсовая работа, добавлен 04.05.2014Классификация возможных путей и средств генерации инновационных решений на основе цифровых технологий. Декоративное оформление ряда изделий по мотивам изображений микроструктур. Фрактальная логика как генератор оригинальных художественных композиций.
статья, добавлен 20.04.2016Разработка устройства и программного обеспечения для безопасной коммуникации двух и более абонентов по открытому каналу связи внутри локальной сети. Реализация программной части древовидной машины четности. Выбор архитектуры сетевого взаимодействия.
дипломная работа, добавлен 28.11.2019Ознакомление с особенностями функционирования игрового автомата "Поймай светлячка". Изучение процесса подбора операционных элементов для реализации микроопераций и логических условий. Рассмотрение схемы алгоритма работы автомата и списка микроопераций.
контрольная работа, добавлен 29.12.2014Разработка модели программы подбора типичных грамматических, лексических, синтаксических и других ошибок и создания на их основе заданий с правильными и неправильными вариантами ответов для учебных тестов. Автоматическая генерация ответов на тесты.
статья, добавлен 02.02.2019Исследование существующих алгоритмов и программного обеспечения для генерации искусственных биометрических образов. Разработка алгоритма генерации искусственных отпечатков пальцев на основе преобразования Габора и его экономико-правовое обоснование.
дипломная работа, добавлен 22.07.2014Определение деструктивных воздействий на передаваемую в канале информацию. Разработка и внедрение новых информационных технологий в единой информационной образовательной среде. Описание механизмов повышения надежности процессов информационного обмена.
статья, добавлен 15.08.2020Определение понятия информационного общества. Характеристика преимуществ устной, книжной и письменной фазы информационного обмена. Рассмотрение процесса электронизации информационных ресурсов. Изучение основных компонентов информационной техносферы.
дипломная работа, добавлен 04.11.2015Исследование проблемы проверки конформности реализации сетевых протоколов. Моделирование сетевых протоколов с использованием теории конечных автоматов. Решение задачи построения автоматизированных диагностических систем проверки сетевых протоколов.
статья, добавлен 30.10.2016Формирование требований к подсистеме генерации тестовых заданий в системе дистанционного образования. Типы и формы тестовых заданий, этапы разработки компьютерных тестов. Виды дистанционного обучения. Проектирование и программная реализация подсистемы.
курсовая работа, добавлен 28.08.2012Проектирование алгоритма работы управляющего автомата. Составление граф-схемы алгоритма. Реализация алгоритма на языке программирования Assembler. Синтез функций возбуждения и выходов. Выбор варианта кодирования состояний автомата с жёсткой логикой.
курсовая работа, добавлен 12.02.2013Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Обзор распространённых атак, основанных на особенностях протоколов, с описанием причин, по которым они возможны, и описанием способов устранения уязвимостей. Особенности семейства протоколов TCP/IP и сетей на его основе. Классификация угроз безопасности.
реферат, добавлен 13.09.2011Разработка и построение структурного цифрового автомата, предназначенного для выполнения арифметической операции деления двоичных чисел. Описание функциональной схемы операционного автомата. Минимизация функций алгебры логики, метод Квайна-Мак-Класки.
курсовая работа, добавлен 19.04.2011Рассмотрение основных потоковых математических моделей обмена информацией, основанных на описании взаимодействующих процессов, различной тематики, которые позволяют описывать асинхронный обмен базовыми сообщениями, а также связанные с этим проблемы.
статья, добавлен 25.08.2020Разработка микропрограммы для управляющего автомата управления выполнением операции деления без восстановления. Составление алгоритма выполнения операции и непосредственно синтеза управляющего автомата. Кодирование микропрограммы на языке Ассемблер.
курсовая работа, добавлен 06.03.2010Ознакомление с методами максимального сжатия объёма тестового словаря в схеме bist. Рассмотрение и характеристика особенностей функциональной схемы встроенного самотестирования. Определение необходимости автоматизированной генерации входных наборов.
статья, добавлен 30.01.2016Процесс изучения способов задания клеточных автоматов, как частного случая конечного автомата. Приобретение практических навыков машинной реализации. Сущность правила Conway's Life и Parity, их использование. Таблицы паттернов и функции переходов.
лабораторная работа, добавлен 21.05.2013Автомат типа Мили, языки описания. Триггеры как элементы памяти. Процесс кодирования автомата в структурном алфавите. Главные особенности канонического синтеза. Структурная таблица переходов и выходов автомата. Программируемая логическая матрица.
курсовая работа, добавлен 29.01.2013Описание на языке высокого уровня программы управляющего автомата нового типа, который формирует код нового состояния автомата и адрес мультиплексора. Изучение свойств, динамики системы. Оценка возможности изменения условий. Составление листинга классов.
контрольная работа, добавлен 16.02.2016