Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
Подобные документы
Тестирование стека программных продуктов, который создается из приложений и инструментов с открытым исходным кодом и функционально подобным инструментам платформы IBMWatson. Современная технология проведения тестирования разработанных лабораторных работ.
дипломная работа, добавлен 04.12.2019Экономический эффект от использования компьютерных технологий когнитивного моделирования. Проектирование программной системы. Разработка внешних спецификаций проекта. Проектирование внутренней логики каждого модуля. Перечень требований к алгоритмам.
контрольная работа, добавлен 28.05.2017Функциональные задачи интеллектуальных систем анализа изображений. Области применения, классификация систем распознавания лиц (2D-; 3D-(трехмерная) идентификация). Алгоритмизация верификации лиц по 68 "волшебным точкам", описание математического аппарата.
статья, добавлен 14.02.2022Изучение взвешенного метода наименьших квадратов. Разработка программного обеспечения. Анализ программных продуктов и методов решения проблемы оценки случайных ошибок взвешенной модели регрессии, дисперсии ошибок и коэффициента пропорциональности.
статья, добавлен 02.02.2019Типология методов распознавания образов и анализа изображений. Автоматизация процесса пополнения онтологии с применением процедуры верификации. Гибридная схема синтеза рисунков. Система статистического определения. Сущность способов машинного обучения.
статья, добавлен 09.01.2016Верификация как проверка соответствия программного обеспечения проектной спецификации и стандартам, технической документации, архитектурой, моделью предметной области. Характеристика типичных ошибок, которые обнаруживаются статическими анализаторами.
контрольная работа, добавлен 02.02.2021Методика сравнительной оценки конфигураций программных систем на основании данных об уязвимостях компонентов и связанных уязвимостей. Разработка архитектуры веб-сервиса для конфигурирования программной системы. Сущность динамической реконфигурации.
статья, добавлен 28.02.2016Исследование и характеристика автоматизированных систем научных исследований при автоматизации процессов оценки качества функционирования средств радиомониторинга. Ознакомление с устройством оценки качества с использованием микропроцессорной платы.
статья, добавлен 12.04.2016Разработка вариантов ведения лесного хозяйства и лесопользования для формирования лесных насаждений. Характеристика сценариев прогнозного моделирования. Верификации модели FORRUS-S. Динамика насаждений для разных сценариев ведения лесного хозяйства.
дипломная работа, добавлен 16.11.2013Подход к разработке и программной реализации инструментальной системы (среды) для проектирования, тестирования и реализации торговых алгоритмов. Способы получения и передачи данных от торгового терминала в среду и наоборот; обзор программных средств.
статья, добавлен 07.03.2019Исследование методов анализа и прогноза использования и состояния земель. Разработка принципов создания автоматизированной информационной системы на основе применения WEB-технологий. Описание схемы прогнозов, разрабатываемых для целей мониторинга земель.
автореферат, добавлен 02.03.2015Повышение качества и сложности создаваемых автоматизированных устройств и систем в различных областях науки и техники. Построение временного графика производственного процесса на основе нечеткого генетического алгоритма. Решение задачи коммивояжера.
статья, добавлен 19.01.2018Рассмотрение терминов верификация и валидация. Тестирование программного обеспечения. Установление разницы между валидацией и верификацией. Характеристика процесса выявления ошибок в программном обеспечении. Определение методики выявления дефектов.
реферат, добавлен 19.01.2017Способы ускорения процессов разработки и тестирования программного обеспечения с целью повышения качества выдаваемого продукта. Обнаружение разнообразных дефектов и слабых мест исходного кода. Исследование безопасности, поиск уязвимостей и ошибок.
статья, добавлен 03.05.2019Причина перекоса уточных нитей. Методы цифровой обработки изображений. Анализ эффективности использования программ для улучшения их качества. Компьютерное моделирование обработки изображений. Технология подавления шумов и повышения их контрастности.
дипломная работа, добавлен 01.10.2017Изучение общих принципов разработки автоматизированных систем конструкторского проектирования радиоэлектронной и электронно-вычислительной аппаратуры. Исследование методов и алгоритмов программных средств автоматизированного проектирования (САПР).
учебное пособие, добавлен 12.05.2014Система цифровых автоматов, их класификация. Способы задания автоматов. Применение вероятностных автоматов. Случайные величины и их распределения. Предмет теории вероятностей. Виды дискретных распределений и структура программы.
дипломная работа, добавлен 02.10.2015Исследование основных средств моделирования и системных программных средств. Разработка Windows-приложения, реализованного на основе шаблона проектирования "Прототип" и позволяющего создать копию графического документа для дальнейшего редактирования.
курсовая работа, добавлен 20.05.2017Исследование модифицированной модели процесса тестирования программных средств управления предприятием, которая показывает возможность значительно снизить затраты и время на их реализацию. Критерии выбора программного обеспечения для установки на сервер.
статья, добавлен 16.08.2018Разработка программного комплекса для распознавания жестового языка инвалидов с нарушением слуха на основе алгоритмов машинного обучения. Распознавание лиц на основе применения метода Виолы-Джонса, Вейвлет-преобразования и метода главных компонент.
статья, добавлен 14.03.2019Использование аппарата многофрагментного моделирования для учета изменения интенсивности отказов программных средств. Исследование моделей с накоплением в оперативной памяти и реестре ошибок и их устранением. Анализ характера поведения функции готовности.
статья, добавлен 28.02.2016Основы тестирования программного обеспечения, история его развития и основные определения в данной области. Классификация тестирования, ошибок и список вопросов для выявления ошибок в начале теста. Функции модульного тестирования и его оболочки JUnit.
курсовая работа, добавлен 17.04.2011Разработка устройства "последовательно-параллельного преобразователя" при помощи программной среды Quartus на языке описания аппаратуры Verilog. Схема двухступенчатого аналого-цифрового преобразователя. Преобразование сигнала в разряды выходного кода.
статья, добавлен 22.01.2021Синтез семантической информационной модели, ее структура и основные компоненты. Повышение ее эффективности и механизм верификации. Экранная форма отчета по достоверности разработанной модели, а также содержание отчета, формируемого системой "эйдос".
статья, добавлен 26.04.2017Исследование и разработка методов и программных средств поиска решения на основе аналогий и прецедентов, повышающих эффективность и расширяющих интеллектуальные возможности современных компьютерных систем типа ИСППР РВ. Алгоритм системы поиска решения.
автореферат, добавлен 10.12.2013