Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
Подобные документы
Жизненный цикл программного обеспечения компьютерных систем. Технологическая и эксплуатационная безопасность программ. Доказательства правильности программ и их спецификаций. Анализ безопасности программного обеспечения, целостности программного кода.
книга, добавлен 15.09.2012Связь эволюции операционных систем с развитием вычислительных машин. Программирование и отладка программ. Использование полупроводников. Разработка интегральных микросхем. Операционные системы MS-DOS, работающие на базе микропроцессоров Intel, и UNIX.
доклад, добавлен 06.12.2021Особенности составления тестовых заданий для оценки вспоминания, интерпретации имеющихся сведений, понимания и аргументации. Вопросы типа "снизу вверх" и "сверху вниз". Алгоритм составления задания в тестовой форме. Технические дефекты тестовых заданий.
презентация, добавлен 26.06.2017Оценка знаний в сфере профессионального обучения. Описание процесса формирования тестовых заданий. Структура обеспечивающих средств для реализации и внедрения предлагаемых новшеств. Анализ технического, информационного и программного обеспечения.
дипломная работа, добавлен 08.10.2018Понятие микропроцессор как устройства ЭВМ, вычислительной системы, которое выполняет арифметические и логические операции. Сравнительный анализ технических характеристик микропроцессоров Intel Pentium 4 3,2 ГГц, Intel Pentium 4 Extreme Edition 3,2 ГГц.
курсовая работа, добавлен 13.01.2014Организация режимов работы микропроцессоров высокого быстродействия с параллельно-векторной структурой. Организация параллельно различных арифметических операций по обработке и обмене данных. Анализ повышения производительности микропроцессорных систем.
статья, добавлен 22.12.2016Изучение существующих методов и программных средств оценки сложности программ. Определение метрик размера программ, сложности потоков управления и данных. Структура разрабатываемого программного средства, построение его алгоритмов и анализ эффективности.
дипломная работа, добавлен 21.12.2012Инструменты для профессиональной разработки программ. Основные арифметические операторы MPASM. Используемые по умолчанию назначения расширений файлов. Абсолютный код программы. Моделирование внешних тестовых событий. Программирование учебных задач.
лекция, добавлен 25.06.2013Создания высококачественных программ кодирования-декодирования для построения трактов передачи данных на базе микропроцессоров в распределенных вычислительных системах. Разработка и внедрение алгоритмов аппаратной (схемной) реализации кодеков в программу.
статья, добавлен 27.11.2018Формирование требований к подсистеме анализа ответов в открытой форме тестовых заданий, технология проектирования компьютерных тестов предметной области, определение архитектуры подсистемы и анализ способов ее внедрение в образовательный процесс.
курсовая работа, добавлен 16.08.2012Ускорение программ с помощью перехода к блочным вычислениям. Разработка методов и средств ускорения параллельных программ на основе оптимизации размещения массивов в общей памяти. Использование нестандартных размещений данных для построения алгоритма.
автореферат, добавлен 02.12.2018Повышение производительности процессора. Команды с прямой адресацией данных. Адрес ячейки памяти. Возможности однокристальных микропроцессоров. Реализации в виде многокристальных, секционных многокристальных микропроцессоров. Регистры и ячейки памяти.
реферат, добавлен 29.04.2013Рассмотрение особенностей и способов создания тестовых заданий для учебных пособий на языке JavaScript. Знакомство с наиболее популярной классификацией современных тестовых заданий. Общая характеристика основных преимуществ электронных учебных пособий.
статья, добавлен 24.02.2019- 39. Об использовании контрольных данных в системе обеспечения качества сложных информационных систем
Характеристика современных методов управления и контроля тестовых данных, выявление их преимуществ и недостатков. Описание проблемы управления тестовыми данными. Применение методов контроля тестовых данных при тестировании сложных информационных систем.
статья, добавлен 07.11.2018 Денотационная семантика как наиболее строгий и широко известный метод описания значения программ. Знакомство с основными особенностями определения семантики языка программирования. Общая характеристика методов доказательства правильности программ.
курсовая работа, добавлен 18.01.2015Связь логического программирования и языка Пролог. Принципы выбора формальной знаковой системы для записи компьютерных программ на основе абстрактного интерпретатора. Структура данных логических программ. Эффективность программирования на Прологе.
реферат, добавлен 26.02.2015Актуальность изучения принципов построения и структурно-функциональных особенностей МП в условиях развития средств вычислительной техники. Производительные и архитектурные характеристики современных микропроцессоров, микроконтроллеров и компьютеров.
методичка, добавлен 07.04.2014Разработка модели программы подбора типичных грамматических, лексических, синтаксических и других ошибок и создания на их основе заданий с правильными и неправильными вариантами ответов для учебных тестов. Автоматическая генерация ответов на тесты.
статья, добавлен 02.02.2019Описание шаблонов проектирования, их сравнительная характеристика, преимущества и недостатки применения. Классификация и разновидности шаблонов: основные, порождающие, структурные, поведенческие, параллельного программирования, а также архитектурные.
реферат, добавлен 18.01.2021Технология программирования как совокупность методов и средств разработки программ и порядок применения этих методов и средств, ее основные этапы, содержание объектно-ориентированного подхода. Классификация и типы Java-программ, их структура, функционал.
курсовая работа, добавлен 04.04.2014Обзор среды разработки Beremiz. Структура прикладной программы, отладка и управления ею с помощью элементов человеко-машинного интерфейса. Использование кросс-компилятора архитектуры SPARC из среды Windows. Управление прикладной программой из браузера.
доклад, добавлен 27.11.2018История развития микропроцессоров семейства Intel. Pentium как точка отсчета, основная проблема на пути повышения производительности. Возможности суперскалярной архитектуры P6, системы на его основе. P6 как платформа для построения мощных серверов.
реферат, добавлен 26.06.2010Определение и функции микропроцессора. Скорость работы микропроцессора. Главные характеристики центрального процессора. Физическая структура и функции микропроцессора. Дешифратор инструкций. Эволюция процессоров. Направления развития микропроцессоров.
реферат, добавлен 16.06.2012Разработка и применение компьютерных технологий в обучении. Обзор средств разработки обучающих программ и программ проверки знаний. Основы создания компьютерных тестов. Пакет программ SunRav. Средства реализации модуля. Структура электронного учебника.
дипломная работа, добавлен 13.05.2009Изучение и анализ вопросов связанных с автоматизацией учета готовой продукции в сельскохозяйственных предприятиях на основе информационных технологий. Ведение бухгалтерского учета, компьютерная обработка данных. Разработка пакетов прикладных программ.
курсовая работа, добавлен 07.04.2014