Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
Подобные документы
Ознакомление с особенностями эволюции микропроцессоров. Общие требования к микропроцессорной системе. Классификация систем параллельной обработки данных. Модели связей и архитектуры памяти. Каналы передачи информации в микропроцессорных системах.
реферат, добавлен 20.05.2015- 27. Микропроцессоры
Этапы эволюции вычислительной техники. Общая характеристика микропроцессоров. Арифметико-логическое устройство и микропроцессорная память. Специальные регистры для хранения различных адресов. Сравнительная характеристика современных микропроцессоров.
реферат, добавлен 10.01.2012 Представление данных в памяти, типов данных, идентификаторов, переменных, массивов. Определение структуры программ на VBA, операторы описания, операторы присваивания. Оценка понятия макроса, создания, отладки, использования среды для отладки программ.
дипломная работа, добавлен 27.09.2017- 29. Виды памяти
Объем и исполнение оперативной памяти для временного хранения данных и программ. Базовая система ввода-вывода. Сохранение настроек, необходимых для работы программ BIOS на CMOS-памяти. Назначение Кэш-памяти процессора. Устройство современной видеокарты.
реферат, добавлен 08.04.2014 Форма и порядок заполнения спецификаций изделий всех отраслей промышленности. Создание сложных выносок спецификации с использованием номера позиций в универсальных выносках nanoCAD Механика. Настройка спецификации, функциональная панель Менеджер проекта.
контрольная работа, добавлен 29.09.2019Рассмотрение понятия архитектуры вычислительной системы на основе микроЭВМ, базовой структуры микропроцессоров, их типов и устройства управления. Классификация способов адресации памяти. Изучение особенностей программного и микропрограммного управления.
реферат, добавлен 10.06.2014Создания высококачественных программ кодирования-декодирования для построения трактов передачи данных на базе микропроцессоров в распределенных вычислительных системах. Разработка и внедрение алгоритмов аппаратной (схемной) реализации кодеков в программу.
статья, добавлен 27.11.2018История развития микропроцессоров. Их внутренняя организация. Работа микропроцессора с памятью. Методы адресации и форматы данных. Работа микропроцессора с внешними устройствами. Описание модели IBM PC как базовой модели персонального компьютера.
реферат, добавлен 11.05.2014Обзор архитектуры процессоров. Файл регистров общего назначения. Гарвардская архитектура с раздельными областями памяти программ и данных. Арифметико-логическое устройство. Время выполнения команд. Программа обработки сброса и векторов прерываний.
реферат, добавлен 11.04.2013Обзор среды разработки Beremiz. Структура прикладной программы, отладка и управления ею с помощью элементов человеко-машинного интерфейса. Использование кросс-компилятора архитектуры SPARC из среды Windows. Управление прикладной программой из браузера.
доклад, добавлен 27.11.2018История создания первых микропроцессоров фирмой Intel от i4004 до Pentium. Технические инновации, позволившие увеличить быстродействие компьютера, разрядность шины данных и объем памяти. Преимущества конвейерной архитектуры, присущей RISC-процессорам.
реферат, добавлен 27.03.2014Организация режимов работы микропроцессоров высокого быстродействия с параллельно-векторной структурой. Организация параллельно различных арифметических операций по обработке и обмене данных. Анализ повышения производительности микропроцессорных систем.
статья, добавлен 22.12.2016- 38. Этапы проектирования и жизненный цикл программ. Тестирование и отладка. Документирование программ
Характеристика этапов проектирования, модели жизненного цикла программ. Особенности тестирования и отладки программ, совместное тестирование модулей. Разработка приложения для Windows, представляющего собой модель базы данных по успеваемости студентов.
курсовая работа, добавлен 01.04.2014 Формирование требований к подсистеме анализа ответов в открытой форме тестовых заданий, технология проектирования компьютерных тестов предметной области, определение архитектуры подсистемы и анализ способов ее внедрение в образовательный процесс.
курсовая работа, добавлен 16.08.2012Разработка архитектуры системы CAD-Architecture, предназначенной для моделирования процессов автоматизированного проектирования и оценки конфигурации САПР. Формирование библиотеки типовых проектных процедур автоматизированного конструирования изделий.
автореферат, добавлен 31.07.2018Создание системы, включающей в себя функции моделирования трехмерного виртуального пространства для игровых программ. Обзор игровых движков: Unity, Unreal Engine, Source. Выбор используемого программного обеспечения и библиотеки трехмерной графики.
дипломная работа, добавлен 30.07.2016Проведение исследования теоремы о NP-полноте задачи деобфускации при добавлении к запутываемой программе дополнительных входных и выходных данных. Разработка алгоритма перевода машинного кода в промежуточное представление на основе частичной эмуляции.
автореферат, добавлен 31.03.2018Ускорение программ с помощью перехода к блочным вычислениям. Разработка методов и средств ускорения параллельных программ на основе оптимизации размещения массивов в общей памяти. Использование нестандартных размещений данных для построения алгоритма.
автореферат, добавлен 02.12.2018Разработка технологии автоматизации тестирования учащихся, которая основана на использовании шаблонов тестов. Унифицированный язык моделирования UML - один из удобных инструментов проектирования сложных объектно-ориентированных программных приложений.
автореферат, добавлен 30.04.2018Анализ программ, реализующих реляционную базу данных. Системы управления базами данных. Реляционные таблицы. Язык описания данных, средства описания данных в БД и связей между ними. Безопасность баз данных. Создание таблицы Дневник в режиме конструктора.
курсовая работа, добавлен 25.04.2013История развития средств вычислительной техники. Увеличение возможностей компьютера при создании микропроцессоров. Применение принципа открытой архитектуры. Основные типы компьютеров. Требования к программным средствам. Назначение серверов и мейнфреймов.
реферат, добавлен 12.03.2010- 47. Об использовании контрольных данных в системе обеспечения качества сложных информационных систем
Характеристика современных методов управления и контроля тестовых данных, выявление их преимуществ и недостатков. Описание проблемы управления тестовыми данными. Применение методов контроля тестовых данных при тестировании сложных информационных систем.
статья, добавлен 07.11.2018 Разработка теста для проверки знаний языка программирования Си, предназначенного для автоматизации работы в ВУЗах по оценке знаний учащихся. Основные требования к программе. Выбор и обоснование выбора среды разработки. Описания тестовых случаев.
курсовая работа, добавлен 15.06.2012База данных как сведение данных по интересующим объектам, созданная с использованием команд в виде специальной таблицы. Приёмы графики в программе Си и её функции. Структура и интерфейс программы Си++, разработки алгоритмов подпрограмм и программ.
курсовая работа, добавлен 14.08.2011Особенности платформы JavaFX2. Приобретение практических навыков создания насыщенных пользовательских интерфейсов Java-программ. Добавление данных в таблицу с одновременным изменением диаграммы. Сохранение данных в файл. Описание тестовых примеров.
лабораторная работа, добавлен 17.05.2015