Методика генерации тестов для протоколов информационного обмена на основе недетерминированного конечного автомата с предикатами
Описание метода генерации тестов для протоколов обмена информацией на основе критерия псевдоэквивалентности неопределенного конечного автомата. Рассмотрение поиска уникальной последовательности в NDFAD с целью оценки максимальной длины покрытия.
Подобные документы
Применение генетического программирования для генерации автоматов. Модификации эволюционных алгоритмов. Представление функции переходов автомата с помощью деревьев разбора. Определение значения функции по значениям переменных. Порождение дерева решений.
статья, добавлен 18.01.2018Современные тенденции развития систем телекоммуникаций, сетей и компьютерных технологий. Эффективность использования математического аппарата для статистического анализа на основе тестов "base data system" при исследовании свойств сетевого трафика.
статья, добавлен 25.03.2016Изучение протоколов Echo, Time, DayTime, WhoIs, Finger, RLogin, Telnet. Разработка программ клиент-серверного взаимодействия. Обработка команд запросов и ответов протоколов. Использование функций Windows API и других библиотек для работы с сокетами.
лабораторная работа, добавлен 28.04.2015Табличное и ленточное задание автомата Мили. Кодированная таблица переходов и выходов для определения автомата Мили. Кодированная таблица переходов, получение и минимизация формул для расчета автомата Мура. Операционная часть автомата управления.
курсовая работа, добавлен 04.05.2014Виды автоматов и содержание соответствующей теории, общая схема и базовые модели. Класс явно-минимальных и сократимых автоматов, их сравнительное описание и функциональные особенности, эквивалентные состояния и свойства. Результат работы программы.
курсовая работа, добавлен 10.03.2018Описание на языке высокого уровня программы управляющего автомата нового типа, который формирует код нового состояния автомата и адрес мультиплексора. Изучение свойств, динамики системы. Оценка возможности изменения условий. Составление листинга классов.
контрольная работа, добавлен 16.02.2016Ознакомление с особенностями функционирования игрового автомата "Поймай светлячка". Изучение процесса подбора операционных элементов для реализации микроопераций и логических условий. Рассмотрение схемы алгоритма работы автомата и списка микроопераций.
контрольная работа, добавлен 29.12.2014Разработка модели программы подбора типичных грамматических, лексических, синтаксических и других ошибок и создания на их основе заданий с правильными и неправильными вариантами ответов для учебных тестов. Автоматическая генерация ответов на тесты.
статья, добавлен 02.02.2019Разработка нового, теоретико-информационного критерия оптимальности решения задачи автоматического распознавания изображений на основе теоретико-вероятностной модели изображений. Реализация критерия в виде комплекса программ для проведения исследований.
автореферат, добавлен 01.05.2018Исследование существующих алгоритмов и программного обеспечения для генерации искусственных биометрических образов. Разработка алгоритма генерации искусственных отпечатков пальцев на основе преобразования Габора и его экономико-правовое обоснование.
дипломная работа, добавлен 22.07.2014Рассмотрение средств анализа, способных своевременно отслеживать и устранять возникающие коллизии процессов информационного обмена в распределенных управляющих системах. Задачи поиска угроз и своевременного информирования лиц, принимающих решения.
статья, добавлен 24.08.2020Проведение исследования программы, порождающей тестовые данные для демонстрации особенностей различных вариантов метода автоматического порождения гипотез. Существенная характеристика генерации примеров тестов для простого и обобщенного ДСМ-метода.
статья, добавлен 16.01.2018Описание модели особи в виде модифицированного конечного автомата. Функция ошибки, устанавливающая соответствие между входной и выходной последовательностями. Наследование благоприобретенных признаков. Определение термина "синтогенез", его примеры.
доклад, добавлен 17.01.2018- 64. Язык AHDL
Описание цифрового модуля на языке AHDL. Содержание конструкторского файла. Параметры и простые переменные в языках описания аппаратуры. Типы портов, узлов, групп, примитивы буферов и триггеров логического устройства. Создание конечного автомата.
реферат, добавлен 16.01.2018 Создание программного обеспечения автоматизированного обмена между программными продуктами. Разработка технического задания на создание системы файлового обмена в организации НПИ ИС "Криста"; внедрение обмена в систему "Бюджет", работа с базой данных.
дипломная работа, добавлен 11.02.2013Исследование проблемы проверки конформности реализации сетевых протоколов. Моделирование сетевых протоколов с использованием теории конечных автоматов. Решение задачи построения автоматизированных диагностических систем проверки сетевых протоколов.
статья, добавлен 30.10.2016Формирование требований к подсистеме генерации тестовых заданий в системе дистанционного образования. Типы и формы тестовых заданий, этапы разработки компьютерных тестов. Виды дистанционного обучения. Проектирование и программная реализация подсистемы.
курсовая работа, добавлен 28.08.2012Рассмотрение основных потоковых математических моделей обмена информацией, основанных на описании взаимодействующих процессов, различной тематики, которые позволяют описывать асинхронный обмен базовыми сообщениями, а также связанные с этим проблемы.
статья, добавлен 25.08.2020Понятие компьютерной сети, ее применение для обеспечения обмена информацией и совместного использования ресурсов. Разработка схемы сети и обоснование выбора сетевого оборудования, топологии, способа связи и используемых протоколов канального уровня.
курсовая работа, добавлен 21.02.2016Определение погрешностей представления операндов в разрядной сетке операционного автомата и погрешности выполнения заданной математической операции. Построение микропрограммы реализации операции деления с восстановлением остатка. Описание автомата.
курсовая работа, добавлен 12.12.2015Информационный поток как совокупность технологий передачи операндов, управления и синхронизации параллельных процессов. Маркированный граф - инструмент выражения информационного обмена, который образовывается двумя параллельно выполняемыми потоками.
статья, добавлен 24.08.2020Актуальные программные инструменты формального анализа протоколов аутентификации и авторизации. Возможность повышении уровня достоверности оценки безопасности протоколов аутентификации и авторизации распределенных систем путем применения БАН-логики.
статья, добавлен 01.02.2019Основные требования к проектируемой информационной системе. Осуществление обмена информацией на основе открытых форматов обмена данными. Изучение объектно-ориентированной модели информационной системы. Перечень функций и задач подсистемы приложений.
курсовая работа, добавлен 22.12.2020Обзор распространённых атак, основанных на особенностях протоколов, с описанием причин, по которым они возможны, и описанием способов устранения уязвимостей. Особенности семейства протоколов TCP/IP и сетей на его основе. Классификация угроз безопасности.
реферат, добавлен 13.09.2011Технология разработки экспертных систем. Реализация ЭС для мобильных приложений. Описание библиотеки Fysom, используемой для реализации данных, в виде конечного автомата. Работа коллбэков в Fysom. Интерфейс и тестирование Telegram бота "Робот-Юрист".
дипломная работа, добавлен 29.03.2022