Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
Подобные документы
Анализ школьных пособий по изучению информатики. Организация внутренней и внешней памяти компьютера, её виды и функции. Методы распределения данных с использованием дискового пространства. Моделирование системы уроков по мультиплексированию программ.
курсовая работа, добавлен 21.03.2014Рассмотрение особенностей и способов создания тестовых заданий для учебных пособий на языке JavaScript. Знакомство с наиболее популярной классификацией современных тестовых заданий. Общая характеристика основных преимуществ электронных учебных пособий.
статья, добавлен 24.02.2019Проведение исследования программы, порождающей тестовые данные для демонстрации особенностей различных вариантов метода автоматического порождения гипотез. Существенная характеристика генерации примеров тестов для простого и обобщенного ДСМ-метода.
статья, добавлен 16.01.2018Программная модель микропроцессора. Общая характеристика и структура программы на ассемблере. Описание системы команд микропроцессоров Intel. Опции транслятора и редактора связей. Команды пересылки данных и передачи управления. Цепочечные команды.
курс лекций, добавлен 26.04.2015Понятие микропроцессор как устройства ЭВМ, вычислительной системы, которое выполняет арифметические и логические операции. Сравнительный анализ технических характеристик микропроцессоров Intel Pentium 4 3,2 ГГц, Intel Pentium 4 Extreme Edition 3,2 ГГц.
курсовая работа, добавлен 13.01.2014История развития технологии производства процессоров. Принципы Джона фон Неймана. Архитектура процессоров, ведущие производители на рынке микропроцессоров. Сфера применения микропроцессоров, тенденции развития современных информационных технологий.
курсовая работа, добавлен 25.12.2017Понятие программирования и виды языков программирования. История развития ассемблера, формирования машинного кода. Обзор языков ассемблера и акроассемблера. Примеры программ MASM, TASM и NASM. Сводные программные характеристики данных ассемблеров.
курсовая работа, добавлен 25.05.2014Корреляционный и регрессионный анализ, выявление наличия взаимосвязи между признаками, определение силы (тесноты) и направления связи. Языки программирования, применяемые для разработки программ компьютерного моделирования и математических расчетов.
реферат, добавлен 09.12.2009- 84. Методы адресации
Распространенность различных видов адресации, способы адресации в командах управления потоком команд. Возможности микропроцессоров по адресации. Методы адресации операндов, которые используются для доступа к конкретному элементу сложного типа данных.
практическая работа, добавлен 27.12.2022 Исследование истории становления формальных знаковых систем для записи текстов программ. Анализ принципов описания действий компьютера. Рассмотрение языков: машинного, высокого уровня, алгоритмических, объектно-ориентированных и на платформе .net.
реферат, добавлен 13.02.2016Разновидности компьютерных программ или вредоносного кода, отличительной особенностью которых является способность к размножению (саморепликация). Троянские программы и утилиты скрытого администрирования. Описание и преимущества антивирусных программ.
реферат, добавлен 16.03.2015Определение понятия и особенностей Интернет-маркетинга. Описание программ для прогнозирования рядов данных, автоматизации учета, организации планирования. Рассмотрение основных функций, возможностей, области применения, достоинств данных программ.
курсовая работа, добавлен 22.07.2014Анализ основных принципов создания сервиса передачи данных с использованием шаблонов, основанных на формате XML-документов. Исследование архитектуры экспериментального образца программного обеспечения сервиса передачи данных с использованием шаблонов.
статья, добавлен 29.04.2017Создание микропроцессорных наборов. Высокая производительность, малые габаритные размеры и энергопотребление, эргономичность микропроцессоров. Выбор микропроцессора, схема подключения памяти к шинам, ввод-вывод данных, цикл записи во внешнее устройство.
курсовая работа, добавлен 16.06.2015Описание автомобильной школы "Светофор", ее организационная структура. Особенности автоматизации и обзор существующих программ. Подготовка исходных данных. Выбор CASE средств моделирования. Проектирование информационной системы. Логическая модель данных.
дипломная работа, добавлен 20.07.2014Разработка метода поиска шаблонов программного кода и механизма поиска по шаблону для языков JavaScript и ActionScript, работающего внутри среды разработки IntelliJ IDEA. Алгоритм работы синтаксического поиска. Построение лексического представления.
курсовая работа, добавлен 21.10.2011Изучение узлов электронных вычислительных машин, цифровых автоматов, их анализ и синтез. Устройства памяти, их классификация и организация. Принципы построения и микропроцессоров (INTEL) и ЭВМ, организация памяти и способы адресования операндов.
методичка, добавлен 24.06.2014Определение и функции микропроцессора. Скорость работы микропроцессора. Главные характеристики центрального процессора. Физическая структура и функции микропроцессора. Дешифратор инструкций. Эволюция процессоров. Направления развития микропроцессоров.
реферат, добавлен 16.06.2012Информационно вычислительный комплекс "Ангара" для компьютерного моделирования. Основные системно-концептуальные соглашения. Описание интерфейса пользователя и его режимы генерации. Порядок переноса данных. Режимы генерации структуры базы данных.
дипломная работа, добавлен 12.03.2013Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Разработка нового подхода к расчету временных верификаций для библиотек стандартных ячеек, основанного на средствах схемотехнического моделирования, учитывающего межсхемные и внутрисхемные технологические отклонения необходимые для временного анализа.
статья, добавлен 30.04.2018Особенность функционирования цифрового автомата. Отличие цифровых систем от дискретных. Микропроцессоры и узлы микропроцессорных устройств. Режим загрузки и верификации прикладных программ. Проектирование автоматических систем на базе микропроцессоров.
курсовая работа, добавлен 09.12.2015Современные микропроцессорные средства. Программные средства отладки микропроцессоров. Схема электрическая структурная. Разработка алгоритма работы программы. Средства, используемые для отладки программы. Описание команд, используемых в программе.
курсовая работа, добавлен 14.11.2013Характеристика процесса создания многопроцессорных вычислительных систем. Анализ использования модели передачи данных для разработки параллельных программ. Двойной интеграл в декартовых координатах. Формат функций, сообщения MPI. Оболочка. Коммуникаторы.
курсовая работа, добавлен 04.04.2016Анализ деятельности библиотеки и методов ее автоматизации. Исследование и оценка программных продуктов системы управления базами данных. Выбор программного средства для разработки баз данных библиотечного фонда. Разработка запросов к таблицам баз данных.
курсовая работа, добавлен 30.01.2017