Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
Подобные документы
- 1. Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
диссертация, добавлен 11.06.2018 Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
автореферат, добавлен 02.05.2018Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
автореферат, добавлен 02.05.2018Анализ основных семейств современных универсальных микропроцессоров, применяемых в микропроцессорных системах, персональных компьютерах, серверах. Классификация, назначение и характеристики микропроцессоров. Стандартизация архитектур микропроцессоров.
учебное пособие, добавлен 25.04.2014- 5. Создание базы спецификаций форматов данных и их уточнение на основе анализа набора трасс программ
Разработка методов и компонентов модуля среды анализа бинарного кода, осуществляющий автоматизированное восстановление спецификаций формата данных по бинарным трассам программ, с возможностью выгрузки промежуточных результатов в хранилище форматов.
дипломная работа, добавлен 14.08.2020 История развития микропроцессоров, архитектура Фон Неймана и суперскалярная архитектура. Основные характеристики микропроцессоров: тактовая частота, кэш память, разрядность, количество ядер. Энергопотребление и производительность современных процессоров.
реферат, добавлен 16.03.2019Роль классической архитектуры i8080 в развитии однокристальных микропроцессоров. Промышленный стандарт для микропроцессорной техники. Возможности n-канальной МОП-технологии для создания высокопроизводительных систем. Современная 64-х битная архитектура.
реферат, добавлен 17.01.2015Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.2018Изучение структуры, характеристики и архитектуры 32-разрядных микропроцессоров, выбор показателей для их оценки. Сравнительная оценка структур и архитектур совместимых 32-разрядных микропроцессоров, анализ перспектив развития персональных компьютеров.
курсовая работа, добавлен 16.01.2010Формирование требований к подсистеме генерации тестовых заданий в системе дистанционного образования. Типы и формы тестовых заданий, этапы разработки компьютерных тестов. Виды дистанционного обучения. Проектирование и программная реализация подсистемы.
курсовая работа, добавлен 28.08.2012Основные составные части микропроцессора. Виды архитектуры построения компьютеров. Оценка параметров микропроцессора и выбор микропроцессорной серии. Главные характеристики компьютерных микропроцессоров, особенности их поколений и дальнейшая перспектива.
реферат, добавлен 03.05.2013История и этапы развития радиоэлектроники. Рассмотрение особенностей современных микропроцессоров. Перспективы развития вычислительной техники. Характеристика микропроцессоров разных производителей. Повышение производительности персонального компьютера.
контрольная работа, добавлен 25.02.2020Технико-эксплуатационные характеристики и архитектурное построение последних моделей микропроцессоров фирмы Intel. Особенности микропроцессоров с архитектурой RISC. Тенденции в развитии производства персональных ЭВМ. Функции и виды вычислительных систем.
реферат, добавлен 27.01.2018История развития микропроцессоров. Их внутренняя организация. Работа микропроцессора с памятью. Методы адресации и форматы данных. Работа микропроцессора с внешними устройствами. Описание модели IBM PC как базовой модели персонального компьютера.
реферат, добавлен 11.05.2014Характеристики микропроцессоров и их составляющие. Обзор крупнейших фирм производителей микропроцессоров. История разработки микропроцессоров фирм Intel. Создание базы данных в MS Access и Excel, форм для ввода информации в базу, формирование отчетов.
курсовая работа, добавлен 13.07.2010- 16. Микропроцессоры
Этапы эволюции вычислительной техники. Общая характеристика микропроцессоров. Арифметико-логическое устройство и микропроцессорная память. Специальные регистры для хранения различных адресов. Сравнительная характеристика современных микропроцессоров.
реферат, добавлен 10.01.2012 История развития технологии производства процессоров. Принципы Джона фон Неймана. Архитектура процессоров, ведущие производители на рынке микропроцессоров. Сфера применения микропроцессоров, тенденции развития современных информационных технологий.
курсовая работа, добавлен 25.12.2017Анализ способов хранения и передачи контрольно-измерительных материалов. Проектирование и разработка редактора тестовых заданий. Предназначение и сущность системы дистанционного тестирования. Описание архитектуры студии компетентностных деловых игр.
дипломная работа, добавлен 01.10.2016Исследование целей и основных принципов организации тестирования программ. Рассмотрение технических требований к тестированию программного обеспечения. Характеристика объектов, методов и средств тестовых проверок, определение особенностей их видов.
реферат, добавлен 25.04.2014Особенность функционирования цифрового автомата. Отличие цифровых систем от дискретных. Микропроцессоры и узлы микропроцессорных устройств. Режим загрузки и верификации прикладных программ. Проектирование автоматических систем на базе микропроцессоров.
курсовая работа, добавлен 09.12.2015Общие понятия и режимы работы в PowerPoint, автоматизация работы при создании презентации. Разновидность компьютерных программ и их классификация, правовая защита программ, анализ вредоносных программ и антивирусных средств, средств архивирования.
курсовая работа, добавлен 18.01.2014Тестирование с применением средств автоматической генерации тестов, входящие в состав современных САПР, которые используются при проектировании цифровых устройств на основе элементной базы. Требования к временным характеристикам тестовых сигналов.
статья, добавлен 08.12.2018Разработка веб-приложения, позволяющего автоматизировать процесс формирования навыков построения предложений на английском языке. Проектирование архитектуры приложения и базы данных. Разработка графического интерфейса. Создание тестовых заданий.
курсовая работа, добавлен 30.06.2017Комплекс компьютерных программ "Автоматизация проведения контрольно-проверочных и итоговых занятий по определению уровня профессиональной подготовленности сотрудников ОВД" - АСК "Контроль", разработанный на Delphe. Практика применения тестовых баз.
статья, добавлен 26.05.2017История развития средств вычислительной техники. Увеличение возможностей компьютера при создании микропроцессоров. Применение принципа открытой архитектуры. Основные типы компьютеров. Требования к программным средствам. Назначение серверов и мейнфреймов.
реферат, добавлен 12.03.2010