Методика генерации тестов для протоколов информационного обмена на основе недетерминированного конечного автомата с предикатами
Описание метода генерации тестов для протоколов обмена информацией на основе критерия псевдоэквивалентности неопределенного конечного автомата. Рассмотрение поиска уникальной последовательности в NDFAD с целью оценки максимальной длины покрытия.
Подобные документы
Сравнительная характеристика транспортных протоколов передачи данных TCP, UDP и XTP. Анализ пропускной способности канала для коммутируемой сети при использовании данных протоколов. Процедура обработки и синхронизации пакетов в системе обмена информацией.
контрольная работа, добавлен 27.11.2015Создание системы протоколов на предприятии. Повышение надежности процессов информационного обмена в среде автоматизированной системы управления радиоэлектронной промышленности. Обнаружение, коррекция логических ошибок протоколов электронной документации.
статья, добавлен 15.08.2020Условия применения для существующих стандартов криптографических преобразований метода конечного автомата на основе "жесткой" логики, который не использует ресурсы центрального процессора и увеличивает скорость обработки данных. Оценка его преимуществ.
статья, добавлен 28.02.2019Характеристика протоколов обмена ключами Диффи-Хэллмана, Kerberos и других протоколов аутентификации с помощью центра распространения ключей, которые позволяют решить проблему распространения ключей в сети. Криптографическая стойкость алгоритма.
курсовая работа, добавлен 13.01.2013Бизнес-процессы системы автоматической генерации онтологических моделей на основе структурированного текста. Описание программной разработки системы в виде скриншотов и результаты оценки эффективности реализованных методов автоматического построения.
статья, добавлен 18.07.2018- 31. Протокол IPSec
IPsec как набор протоколов для обеспечения защиты данных, передаваемых по межсетевому протоколу IP, его значение и функции. Kerberos для аутентификации участников соединения. Протокол определения ключей Оакли для генерации и обмена секретными ключами.
презентация, добавлен 20.09.2013 Общая характеристика автомата для поиска подстрок, знакомство с основными возможностями и преимуществами. Особенности применения построенного автомата, предназначенного для поиска абзаца в тексте, анализ примеров. Рассмотрение методов поиска полстроки.
контрольная работа, добавлен 14.05.2013Существенный анализ выполнения быстрой рекурсивной сортировки. Реализация поиска подстрок с помощью конечного автомата. Особенность создания объектов на языке Java. Создание улучшенного линейного поиска. Характеристика построения сортировки выбором.
контрольная работа, добавлен 13.01.2020Понятие компьютерной сети и протоколов обмена информацией. Организационное становление информационного обслуживания в Internet, сущность электронной почты, телеконференции, передачи файлов и реального общения. Особенности поисковой системы WAIS.
курсовая работа, добавлен 19.01.2012Создание сетевых протоколов на основе концепции многоуровневой системы. Процедура определения пути следования пакета из одной сети в другую. Спецификации сети коммутации пакетов. Иерархия протоколов TCP/IP. Характеристика пользовательского интерфейса.
контрольная работа, добавлен 07.12.2013Обзор подходов для генерации ассоциативных правил. Характеристика методов генерации рекомендаций. Анализ процесса разработки метода определения закономерностей с ассоциативными правилами для генерации рекомендаций пользователем информационного портала.
дипломная работа, добавлен 27.05.2013Использование новых информационных и телекоммуникационных технологий и электронной доставки учебного материала. Создание и использование технологических систем в образовании. Стандарты для протоколов обмена информацией с целью обеспечения мобильности.
статья, добавлен 29.03.2019Разработка информационно-логической структуры модели файлового обмена для ТОО "Караганда Связь Плюс". Реализация модели системы передачи информации, выбор программных и технических средств. Семейство протоколов обмена, интерфейсы и модемные установки.
дипломная работа, добавлен 05.05.2016Анализ основ грамматики по регулярным выражениям. Сущность способов, с помощью которых можно задавать формальные языки. Построение конечного автомата на основе леволинейной грамматической концепции. Стройная система для распознавания идентификаторов.
курсовая работа, добавлен 15.01.2016Разработка способа решения задачи поиска новых идей и проектных решений. Разработка способа решения задачи генерации идей на основе модифицированного метода гирлянд ассоциаций, его применение для решения различных классов задач веб-дизайна и статистики.
статья, добавлен 23.03.2018Основы применения мультиэвристического подхода для решения задач минимизации недетерминированного конечного автомата (НКА), основанного на сочетании комбинаторных и эвристических методов оптимизации. Применение НКА для моделирования дискретных объектов.
статья, добавлен 29.06.2016Использование реконфигурируемых вычислительных систем для решения задач поиска шаблонов в потоке данных. Эффективная разработка цифрового автомата, решающего задачу поиска шаблонов с масками "*" и "?". Основная идея метода векторизации состояний автомата.
статья, добавлен 30.05.2017Обзор наиболее используемых подходов для формального анализа криптографических протоколов и программных инструментов, реализованных на основе данных подходов. Сделан вывод об актуальности использования БАН-логики для анализа протоколов аутентификации.
статья, добавлен 01.02.2019Обзор стратегий поиска информации в Internet: поисковые каталоги, машины и системы. Сравнительный обзор популярных поисковых систем. Основные преимущества Google. Особенности обмена данными в Internet, программное обеспечение для обмена информации.
дипломная работа, добавлен 04.04.2014Современные принципы организации микропроцессорных систем. Принципы обмена информацией, шины микропроцессорной системы. Циклы программного обмена, обмена по прерываниям и в режиме прямого доступа к памяти. Особенности прохождения сигналов по магистрали.
контрольная работа, добавлен 17.11.2010Тестирование с применением средств автоматической генерации тестов, входящие в состав современных САПР, которые используются при проектировании цифровых устройств на основе элементной базы. Требования к временным характеристикам тестовых сигналов.
статья, добавлен 08.12.2018Необходимость изменения и подстройки алгоритмов управления при изменяющихся условиях функционирования автоматизированных систем. Построение управляющих устройств на основе моделей теории графов. Формализм конечного автомата для устройств управления.
статья, добавлен 08.03.2019Разработка и построение структурного цифрового автомата, предназначенного для выполнения арифметической операции деления двоичных чисел. Описание функциональной схемы операционного автомата. Минимизация функций алгебры логики, метод Квайна-Мак-Класки.
курсовая работа, добавлен 19.04.2011TCP/IP (Transmission Control Protocol/Internet Protocol) - средство для обмена информацией между компьютерами, объединенными в сеть. Программное обеспечение для TCP/IP и архитектура. Краткое описание протоколов семейства с расшифровкой аббревиатур.
статья, добавлен 23.11.2009Несколько наиболее ярких примеров криптографических протоколов с дефектами и атаками, использующими эти дефекты. Классификация криптографических протоколов. Протокол ключевого обмена DH. Протокол шифрования и цифровой подписи по RSA на общем модуле.
статья, добавлен 15.09.2012