Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
Подобные документы
Свойства и атрибуты качества функциональных возможностей программных средств. Оценивание корректности программных средств. Способности к взаимодействию программных средств и их компонентов. Разработка алгоритма оценки качества ПО в процессе тестирования.
дипломная работа, добавлен 10.06.2011Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Характеристика атак на глобальные компьютерные сети. Анализ проблем проверки и оценки механизмов защиты. Разработка методики настройки параметров защиты сетевых серверов на основе метода "flood-gate" в зависимости от технических характеристик аппаратуры.
статья, добавлен 30.05.2017Анализ сложности построения инженерных теорий как в научном, так и практическом направлении на основе использования нетрадиционного подхода к задачам эффективного мониторинга данных. Анализ взаимосвязей элементов этих объектов на основе известных методов.
статья, добавлен 24.05.2020- 30. Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
диссертация, добавлен 11.06.2018 Описание методологии мультиагентной системы для верификации времени, знаний, и стратегий, с помощью математического представления системы обработки знаний. Исследование содержания ATL и эпистемологические формулы для различных классов экспертных систем.
статья, добавлен 28.11.2016Программный комплекс QuickTest Professional как один из наиболее популярных программных комплексов для автоматизации тестирования приложений. Знакомство с особенностями разработки методики контроля качества печатных плат на основе автоматического скрипта.
статья, добавлен 28.08.2016Характеристика вопросов обеспечения высокой надежности электронной аппаратуры. Требования к программным модулям комплексной системы автоматизированного проектирования для расчета температур каждого из элементов электронной структуры и ее надежности.
статья, добавлен 27.03.2016Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
статья, добавлен 18.01.2018Разработка автоматизированных систем тестирования, способных выполнять объективный мониторинг процесса обучения студента. Исследование особенностей автоматизированной системы проверки знания формальных зависимостей. Технология проведения тестирования.
статья, добавлен 17.06.2018Тестирование программного обеспечения как средство выявления ошибок в работе программ. Исследование основных методов и принципы тестирования программных комплексов, применяемых в интересах оценивания и контроля безопасности автоматизированных систем.
статья, добавлен 07.03.2019Технология применения системно-когнитивного анализа и его инструментария – системы "Эйдос" для синтеза и верификации информационных семантических моделей временных рядов. Экранная форма системы с прогнозом времени завершения пакетного распознавания.
статья, добавлен 26.04.2017Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
статья, добавлен 28.02.2016Развитие теоретических основ создания автоматизированных информационных систем. Методы тестирования, отладки и верификации программ. Теории синтаксического анализа, синтеза и реинжиниринга бизнес-процессов. Формальные грамматики и языки программирования.
статья, добавлен 18.01.2018Разработка многоуровневой базы знаний на основе фактов. Разработка моделей и реализация многокритериальных задач сравнительного анализа сложных альтернатив на основе метода аналитических иерархий. Разработка модели нечеткого управления в среде MATLAB.
курсовая работа, добавлен 25.02.2016КАМАК как система, предназначенная для связи измерительных устройств с цифровой аппаратурой обработки данных. Структура измерительной системы на основе аппаратуры КАМАК. Логический стандарт системы: команды, операции, модули (счетчик и преобразователи).
реферат, добавлен 08.02.2009Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Управляющий модуль распорядительной или исполнительно-распределительной станции. Характеристика задач кластера. Процессорное управление модулями аналоговых и цифровых интерфейсов. Типы линейных комплектов аппаратуры МиниКОМ. Номинальный уровень передачи.
реферат, добавлен 06.12.2013Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
статья, добавлен 29.01.2016Разработка общего подхода к построению математической модели процесса генеза электрокардиограмм. Особенности регистрации электрокардиографических сигналов при использовании различных типов аппаратуры. Разработка формализованной модели генеза ЭКГ.
автореферат, добавлен 29.06.2018Ознакомление с историей появления первых компьютеров, которое отразилось на программном обеспечении. Определение сущности автоматизированного тестирования программного обеспечения, как одного из вариантов верификации продукта на стадии его разработки.
курсовая работа, добавлен 30.01.2016Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
автореферат, добавлен 31.07.2018Принципы работы и использования биометрических систем, оценка их современных возможностей. Решение проблем верификации и идентификации. Работа биометрических технологий на примере распознавания по отпечатку пальца. Применение биометрии в криминалистике.
реферат, добавлен 05.12.2013- 49. Прогнозирование сейсмической активности и климата на основе семантических информационных моделей
Исследование зависимости параметров сейсмической активности от гравитации небесных тел на основе семантических информационных моделей. Разработка региональной семантической информационной модели прогнозирования землетрясений по астрономическим данным.
статья, добавлен 26.04.2017 Использование метода анализа формальных понятий для данных с интервалами и графами. Сущность алгоритма Slope One, предназначение фильтрации содержимого и коллаборативной фильтрации. Характеристики и особенности подхода на основе узорных структур.
дипломная работа, добавлен 29.06.2016