Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
Подобные документы
Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
автореферат, добавлен 02.05.2018Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
автореферат, добавлен 02.05.2018Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
автореферат, добавлен 02.05.2018Анализ основных семейств современных универсальных микропроцессоров, применяемых в микропроцессорных системах, персональных компьютерах, серверах. Классификация, назначение и характеристики микропроцессоров. Стандартизация архитектур микропроцессоров.
учебное пособие, добавлен 25.04.2014- 5. Создание базы спецификаций форматов данных и их уточнение на основе анализа набора трасс программ
Разработка методов и компонентов модуля среды анализа бинарного кода, осуществляющий автоматизированное восстановление спецификаций формата данных по бинарным трассам программ, с возможностью выгрузки промежуточных результатов в хранилище форматов.
дипломная работа, добавлен 14.08.2020 Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.2018Повышение производительности процессора. Команды с прямой адресацией данных. Адрес ячейки памяти. Возможности однокристальных микропроцессоров. Реализации в виде многокристальных, секционных многокристальных микропроцессоров. Регистры и ячейки памяти.
реферат, добавлен 29.04.2013Роль классической архитектуры i8080 в развитии однокристальных микропроцессоров. Промышленный стандарт для микропроцессорной техники. Возможности n-канальной МОП-технологии для создания высокопроизводительных систем. Современная 64-х битная архитектура.
реферат, добавлен 17.01.2015Формирование требований к подсистеме генерации тестовых заданий в системе дистанционного образования. Типы и формы тестовых заданий, этапы разработки компьютерных тестов. Виды дистанционного обучения. Проектирование и программная реализация подсистемы.
курсовая работа, добавлен 28.08.2012Характеристики микропроцессоров и их составляющие. Обзор крупнейших фирм производителей микропроцессоров. История разработки микропроцессоров фирм Intel. Создание базы данных в MS Access и Excel, форм для ввода информации в базу, формирование отчетов.
курсовая работа, добавлен 13.07.2010Общее понятие и классификация машинных программ и команд, которые используются в компьютерных системах. Влияние на них архитектуры процессора. Языки ассемблера и их особенности. Примеры написания машинных программ для выполнения конкретных задач.
курсовая работа, добавлен 03.05.2023Изучение структуры, характеристики и архитектуры 32-разрядных микропроцессоров, выбор показателей для их оценки. Сравнительная оценка структур и архитектур совместимых 32-разрядных микропроцессоров, анализ перспектив развития персональных компьютеров.
курсовая работа, добавлен 16.01.2010Схемотехнологические направления производства микропроцессоров, их характеристики и поколения. Организация внутренней памяти данных. Внутрисхемные эмуляторы и логические анализаторы. Структура и архитектура микро-ЭВМ. Функции контроллера прерываний.
курс лекций, добавлен 30.04.2014Описание предметной области и постановка задачи. Разработка функциональной, концептуальной, логической и физической модели базы данных. Спецификации программных модулей. Алгоритм и графический интерфейс программ. Диаграмма потоков данных и фрагмент кода.
курсовая работа, добавлен 22.12.2014Анализ способов хранения и передачи контрольно-измерительных материалов. Проектирование и разработка редактора тестовых заданий. Предназначение и сущность системы дистанционного тестирования. Описание архитектуры студии компетентностных деловых игр.
дипломная работа, добавлен 01.10.2016Разработка программы реализации устройства передачи данных по шине PCI Express. Функциональная схема передачи данных по протоколу. Технические характеристики ПЛИСС. Разработка программного обеспечения, результаты тестовых испытаний и моделирования.
курсовая работа, добавлен 05.05.2015Искусственные нейронные сети, основы описания многомерных тестовых данных. Построение области допустимых изменений параметров однородных групп, модели регрессии. Определение компонент дискретного конечного множества элементов. Нейронная сеть Хопфильда.
учебное пособие, добавлен 15.01.2018История развития микропроцессоров, архитектура Фон Неймана и суперскалярная архитектура. Основные характеристики микропроцессоров: тактовая частота, кэш память, разрядность, количество ядер. Энергопотребление и производительность современных процессоров.
реферат, добавлен 16.03.2019Изучение метаэвристических методов генерации парных тестовых наборов, которые имитируют природные явления или интеллектуальное поведение, такие как эволюционные алгоритмы, роевой интеллект, имитированный отжиг. Преимущества и недостатки их применения.
статья, добавлен 25.10.2024Основные составные части микропроцессора. Виды архитектуры построения компьютеров. Оценка параметров микропроцессора и выбор микропроцессорной серии. Главные характеристики компьютерных микропроцессоров, особенности их поколений и дальнейшая перспектива.
реферат, добавлен 03.05.2013Жизненный цикл программного обеспечения компьютерных систем. Технологическая и эксплуатационная безопасность программ. Доказательства правильности программ и их спецификаций. Анализ безопасности программного обеспечения, целостности программного кода.
книга, добавлен 15.09.2012Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
статья, добавлен 29.01.2016Организация рабочего места и требования техники безопасности на предприятии. Анализ структуры предприятия и круга задач, решаемых с помощью вычислительной техники. Разработка базы данных в СУБД Microsoft Access и программ на языке программировании Pascal.
отчет по практике, добавлен 20.06.2012История и этапы развития радиоэлектроники. Рассмотрение особенностей современных микропроцессоров. Перспективы развития вычислительной техники. Характеристика микропроцессоров разных производителей. Повышение производительности персонального компьютера.
контрольная работа, добавлен 25.02.2020