Методика генерации тестов для протоколов информационного обмена на основе недетерминированного конечного автомата с предикатами
Описание метода генерации тестов для протоколов обмена информацией на основе критерия псевдоэквивалентности неопределенного конечного автомата. Рассмотрение поиска уникальной последовательности в NDFAD с целью оценки максимальной длины покрытия.
Подобные документы
Эффективности протоколов маршрутизации в ad-hoc сетях, привидение результатов сравнительного анализа различных протоколов маршрутизации и результаты моделирования ad-hoc сетей в среде NetworkSimulator 2. Использование вектора расстояния по запросу.
статья, добавлен 14.07.2016Характеристики системной магистрали ISA, назначение сигналов и протоколах обмена информацией на магистрали, принципы распределения ресурсов ПК. Циклы ввода-вывода программного обмена информацией и регенерации динамической памяти на магистрали ISA.
лекция, добавлен 25.06.2013Определение понятия и основные черты криптографических протоколов. Сущность распределения ролей. Описание протоколов с судейством и самоутверждающегося. Разновидности атак на протоколы. Доказательство с нулевым разглашением конфиденциальной информации.
курсовая работа, добавлен 20.05.2014Обмен информацией по шинам микропроцессорных систем. Циклы программного обмена, замена по прерываниям и в режиме прямого доступа к памяти. Принципы синхронизации обмена, организации прерываний и ПДП. Особенности прохождения сигналов по магистрали.
лекция, добавлен 25.06.2013Анализ специфики программирования параллельных систем. Характеристика реализации метода генерации Блюма-Блюма-Шуба на графическом процессоре. Описание метода Вихрь-Мерсена и анализ статистических свойств генератора псевдослучайных последовательностей.
статья, добавлен 14.08.2016Проектирование алгоритма работы управляющего автомата. Составление граф-схемы алгоритма. Реализация алгоритма на языке программирования Assembler. Синтез функций возбуждения и выходов. Выбор варианта кодирования состояний автомата с жёсткой логикой.
курсовая работа, добавлен 12.02.2013Исследование теории формальных языков. Характеристика объектно-атрибутной архитектуры для реализации абстрактного автомата и транслятора языка. Особенность создания архитектуры автомата. Разработка виртуальных устройств и их программная реализация.
дипломная работа, добавлен 04.12.2019Исследование существующих возможностей реализации сокетов в unix системах, надежности и основ обмена данными через сокеты. Описание различных способов организации параллельного обслуживания клиентов. Использование стандартных протоколов Internet.
статья, добавлен 17.06.2020Разработка схемы автомата управления дверью кабины лифта в соответствии с приведенным алгоритмом и модели реле времени. Обеспечение задержки на закрывание двери при моделировании схемы автомата. Разметка алгоритма способом Мили, таблица переходов-выходов.
курсовая работа, добавлен 20.05.2019Создание интерактивных тестов, сущностью которых является непосредственное взаимодействие учащихся и процесса тестирования с дальнейшим автоматическим подсчетом результатов. Расчет валидности и надежности как устойчивости для интерактивных тестов.
статья, добавлен 14.01.2017Выбор фрагмента микропрограммы. Описание закона функционирования и построение структурной таблицы переходов. Структурный метод синтеза. Минимизация функций возбуждения путем выделения общих частей. Синтез управляющего автомата с программируемой логикой.
курсовая работа, добавлен 21.12.2008Описание реализованного автомата разбора. Анализ особенностей использования Graphviz – программного обеспечения визуализации графа, позволяющего представлять различную информацию как диаграммы абстрактных графов и сетей. Программная реализация автомата.
курсовая работа, добавлен 19.01.2020Определение деструктивных воздействий на передаваемую в канале информацию. Разработка и внедрение новых информационных технологий в единой информационной образовательной среде. Описание механизмов повышения надежности процессов информационного обмена.
статья, добавлен 15.08.2020Internet как глобальная компьютерная сеть, охватывающая весь мир. Рассмотрение технологии и основных служб сети. Изучение принципов поиска информации, обзор современных интернет браузеров. Различные программы для дистанционного общения и обмена данным.
реферат, добавлен 16.12.2013Детерменированный конечный автомат. Минимизация конечных автоматов. Вопросы кодирования и представления, обработки и минимизации конечного автомата. Разработка программы на языке C#, которая демонстрирует все алгоритмы обработки конечных автоматов.
курсовая работа, добавлен 17.05.2015Структура и методика проектирования цифровых автоматов. Синтез автомата Мура с памятью на D-триггерах и комбинационной схемой на мультиплексоре; на регистре и комбинационной схемой на логических элементах; на ПЗУ. Формирование выходных сигналов автомата.
реферат, добавлен 24.03.2009- 117. Редактор тестов
Функциональное назначение программы, область ее применение и ограничения. Система для подготовки тестов и проведения тестового контроля знаний по любым дисциплинам. Используемые технические средства. Описание интерфейса и использования экранных форм.
реферат, добавлен 06.01.2020 - 118. Основы информатики
Виды локальных сетей и аппаратных средств. Конфигурации локальных сетей и организация обмена информацией. Протоколы обмена информацией. Адресация и виды информации в Internet. Язык разметки гипертекстов html. Программа-оболочка Internet Explorer.
курс лекций, добавлен 17.06.2013 Принципы обмена информацией по магистрали, разработка аппаратных средств микропроцессорной системы. Чтение кодов команд, шины микропроцессорной системы. Прохождение сигналов по магистрали, схема управления выборкой команд, значение регистров процессора.
презентация, добавлен 19.12.2016Метод оптимального кодирования на основе разложения бернуллиевского вероятностного источника, генерирующего сообщения конечной длины, на два взаимосвязанных, в сумме обладающих энтропией исходного; возможность разработки универсального оптимального кода.
статья, добавлен 26.10.2010Особенности использование автоматной модели смешанного типа при проектировании протоколов распределенных технических систем. Применение метода структурной декомпозиции первичной спецификации протокола. Способы соединения компонентных автоматов.
статья, добавлен 15.07.2013Экспертная оценка качества инновационных программных продуктов, обоснование управленческих решений. Критерии комбинаторного покрытия для получения набора тестов и экспертных оценок. Правомерность использования возможностей метода модульного тестирования.
статья, добавлен 22.05.2017Применение автоматизированного системно-когнитивного анализа и его программного инструментария интеллектуальной технологи "Эйдос" для реализации ветеринарных и медицинских диагностических тестов. Объединение ветеринарных тестов в один супертест.
научная работа, добавлен 18.03.2018Устройство компьютера, структура его системного блока. Базовые топологии компьютерных сетей. Механизм взаимодействия компьютеров. Нарушение целостности сети. Режимы обмена информацией. Сущность беспроводной технологии Wi-Fi, ее преимущества и недостатки.
реферат, добавлен 11.06.2012Рассмотрение стандартов технологий магистральных сетей и их протоколов. Изучение особенностей взаимодействия протоколов различных уровней, инкапсуляции информации, маршрутизации, конвергенции, а также принципов коммутации пакетов и коммутации каналов.
курс лекций, добавлен 28.05.2015