Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
Подобные документы
Программа как формализованное описание процесса обработки данных. Интерпретация стандартных схем программ. Синтаксические и семантические свойства программ. Функции и графы. Свойства и виды стандартных схем программ. Языки формальной спецификации.
курс лекций, добавлен 03.03.2012Разработка веб-приложения, позволяющего автоматизировать процесс формирования навыков построения предложений на английском языке. Проектирование архитектуры приложения и базы данных. Разработка графического интерфейса. Создание тестовых заданий.
курсовая работа, добавлен 30.06.2017Связь эволюции операционных систем с развитием вычислительных машин. Программирование и отладка программ. Использование полупроводников. Разработка интегральных микросхем. Операционные системы MS-DOS, работающие на базе микропроцессоров Intel, и UNIX.
доклад, добавлен 06.12.2021Особенности составления тестовых заданий для оценки вспоминания, интерпретации имеющихся сведений, понимания и аргументации. Вопросы типа "снизу вверх" и "сверху вниз". Алгоритм составления задания в тестовой форме. Технические дефекты тестовых заданий.
презентация, добавлен 26.06.2017Исследование назначения и классификации устройств ввода текстовой и графической информации. Изучение основных видов и характеристик сканеров. Описания тестовых редакторов и программ распознавания образов: Microsoft Word, WordPerfect, FineReader, Tiger.
курсовая работа, добавлен 12.10.2012Устройство и классификация микропроцессоров. Преимущества использования гарвардской архитектуры. Параметры аналого-цифрового преобразователя. Организация и размер оперативной памяти. Назначение периферийного интерфейса. Особенности режима холостого хода.
курсовая работа, добавлен 02.06.2015Создание текстового описания модуля проекта на языке VHDL. Создание тестирующей программы (Test Bench). Функциональная верификация (Behavioral simulation). Полученная диаграмма и ее характеристика. Назначение основных выводов микросхемы К573РФ5.
лабораторная работа, добавлен 18.10.2017Рассмотрение основных компьютерных программ, используемых электриками в профессиональной деятельности, основные возможности и функции данных программ. Использование компьютерных программ для моделирования электрических схем различной сложности.
статья, добавлен 21.02.2018Двоично-десятичное кодирование. Стандарты кодирования текстов. Разработка алгоритма преобразования форматов двоичных данных, его программной реализации. Распределение памяти и листинг программы. Описание использованных средств вычислительной техники.
контрольная работа, добавлен 16.10.2017- 60. Использование библиотеки классов пакета "Sage" для анализа программ, написанных на языке Фортран
Использование библиотеки классов Си++ пакета SAGE для анализа больших последовательных программ, написанных на языке ФОРТРАН 77, для превращения их в параллельные программы. Структура данных, используемых пакетом для внутреннего представления программы.
статья, добавлен 28.10.2018 Исследование предпосылок создания и развития электронно-вычислительных машин. Назначение вычислительной техники. Характеристика основных особенностей архитектуры фон Неймана. Изучение принципа совместного хранения команд и данных в памяти компьютера.
презентация, добавлен 18.12.2015Распознавание максимально большого количества существующих вредоносных программ при помощи антивирусов. Необходимость регулярного и частого обновления антивирусных программ. Корректное удаление вирусного кода и последствий заражения файлов и программ.
реферат, добавлен 17.11.2014Инструменты для профессиональной разработки программ. Основные арифметические операторы MPASM. Используемые по умолчанию назначения расширений файлов. Абсолютный код программы. Моделирование внешних тестовых событий. Программирование учебных задач.
лекция, добавлен 25.06.2013Тенденции развития организации ЭВМ. Классификация ВТ по способу комплексирования. Элементы архитектуры и организация памяти параллельных ВС. Параллелизм на уровне прикладного программирования. Методы оценки реальной производительности микропроцессоров.
курс лекций, добавлен 26.08.2015Определение понятия и изучение истории развития языков программирования как формальных знаковых систем, предназначенных для записи компьютерных программ. Запросы, графика и генераторы языков четвертого поколения. Преимущества и недостатки языков 4GL.
реферат, добавлен 13.11.2012Описание предметной области, обзор программ-аналогов и разработка технического задания для создания программы для отдела кадров ЗАО "Арно". Разработка архитектуры программной системы, структуры данных, конструирование пользовательского интерфейса.
дипломная работа, добавлен 20.06.2017Способы и этапы реализации базы данных для библиотеки: этап системного анализа предметной области, инфологического моделирования, даталогического проектирования, физического моделирования, реализации базы данных, а также создания интерфейса приложения.
курсовая работа, добавлен 11.03.2011Основные приемы работы с автоматизированной контролирующей системой "Контроль". Обзор алгоритмов создания и редактирования тестовых баз, настроек программных приложений, технологий использования в тестах текстовых, графических и мультимедийных данных.
статья, добавлен 20.05.2017Принципы совместного хранения программ и данных в памяти компьютера, разработанные фон Нейманом. Особенности последовательного программного управления, адресуемости и однородности памяти и архитектуры. Компьютеры, построенные на принципах фон Неймана.
реферат, добавлен 08.06.2015Исследование архитектуры современных микропроцессоров и вычислительных систем. Раскрытие понятий "микроархитектурный уровень" и "мультитредовые системы". Описание организации внутрикристальной памяти, мультимедийных расширений, систем на одном кристалле.
реферат, добавлен 11.05.2017Программирование на языке ассемблера для компьютеров на базе микропроцессоров фирмы Intel. Двоичная, десятичная системы счисления и арифметические операции. Директивы управления файлом листинга. Создание Windows-приложений. Система команд сопроцессора.
учебное пособие, добавлен 14.03.2014- 72. Характеристика основных параметров определяющих производительность компьютерных микропроцессоров
Тактовая частота как характеристика процессора. Сниженное энергопотребление - преимущество многоядерной процессорной архитектуры. Кэш – сверхскоростное запоминающее устройство, являющееся буфером между контроллером системной памяти и процессором.
контрольная работа, добавлен 25.12.2014 Технико-эксплуатационные характеристики и архитектурное построение последних моделей микропроцессоров фирмы Intel. Особенности микропроцессоров с архитектурой RISC. Тенденции в развитии производства персональных ЭВМ. Функции и виды вычислительных систем.
реферат, добавлен 27.01.2018Исследование спецификации диаграммы прецедентов. Характеристика особенностей клиент-серверной архитектуры информационной системы. Описание элементов наиболее важных интерфейсных окон программного приложения. Разработка физической модели базы данных.
дипломная работа, добавлен 04.02.2016Классификация систем управления базами данных (СУБД), характеристика их основных функциональных возможностей. Виды архитектуры базы данных. Этапы работы с СУБД, их реализация с помощью команд. Типы моделей описания баз данных, их достоинства и недостатки.
реферат, добавлен 30.01.2013