Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Анализ методов и средств автоматизации конструирования тестовых программ для микропроцессоров на основе формальных спецификаций. Язык описания шаблонов тестовых программ и архитектура расширяемого генератора для интеграции разных техник генерации.
Подобные документы
Денотационная семантика как наиболее строгий и широко известный метод описания значения программ. Знакомство с основными особенностями определения семантики языка программирования. Общая характеристика методов доказательства правильности программ.
курсовая работа, добавлен 18.01.2015Роль классической архитектуры i8080 в развитии однокристальных микропроцессоров. Промышленный стандарт для микропроцессорной техники. Возможности n-канальной МОП-технологии для создания высокопроизводительных систем. Современная 64-х битная архитектура.
реферат, добавлен 17.01.2015Исследование вредоносных программ с помощью системы автоматизированного распознавания вредоносного поведения. Сравнительный анализ существующих средств получения информации о программном поведении. Описание технологии детектирования на основе сценариев.
статья, добавлен 27.07.2016Инструменты для профессиональной разработки программ. Основные арифметические операторы MPASM. Используемые по умолчанию назначения расширений файлов. Абсолютный код программы. Моделирование внешних тестовых событий. Программирование учебных задач.
лекция, добавлен 25.06.2013История развития технологии производства процессоров. Принципы Джона фон Неймана. Архитектура процессоров, ведущие производители на рынке микропроцессоров. Сфера применения микропроцессоров, тенденции развития современных информационных технологий.
курсовая работа, добавлен 25.12.2017Основные приемы работы с автоматизированной контролирующей системой "Контроль". Обзор алгоритмов создания и редактирования тестовых баз, настроек программных приложений, технологий использования в тестах текстовых, графических и мультимедийных данных.
статья, добавлен 20.05.2017Связь логического программирования и языка Пролог. Принципы выбора формальной знаковой системы для записи компьютерных программ на основе абстрактного интерпретатора. Структура данных логических программ. Эффективность программирования на Прологе.
реферат, добавлен 26.02.2015Формирование требований к подсистеме анализа ответов в открытой форме тестовых заданий, технология проектирования компьютерных тестов предметной области, определение архитектуры подсистемы и анализ способов ее внедрение в образовательный процесс.
курсовая работа, добавлен 16.08.2012Рабочая программа дисциплины в системе высшего профессионального образования. Различные системы по автоматизации учебного процесса ВУЗа. Основные причины создания модуля автоматизации генерации электронных учебно-методических комплексов дисциплин.
статья, добавлен 22.03.2018Особенность функционирования цифрового автомата. Отличие цифровых систем от дискретных. Микропроцессоры и узлы микропроцессорных устройств. Режим загрузки и верификации прикладных программ. Проектирование автоматических систем на базе микропроцессоров.
курсовая работа, добавлен 09.12.2015Ускорение программ с помощью перехода к блочным вычислениям. Разработка методов и средств ускорения параллельных программ на основе оптимизации размещения массивов в общей памяти. Использование нестандартных размещений данных для построения алгоритма.
автореферат, добавлен 02.12.2018Сравнительная характеристика функциональных и технических возможностей складских программ. Основные преимущества реляционных баз данных. Основные рекомендации по совершенствованию деятельности организации на основе автоматизации предметной области.
дипломная работа, добавлен 10.11.2014Анализ бухгалтерских программ. Этапы автоматизации бухгалтерского учета в России. Характеристика автоматизированных систем. Классификация бухгалтерских программ. Критерии выбора программы. Основные возможности программной системы "Парус-бухгалтерия".
реферат, добавлен 09.11.2013Ознакомление с теоретическими подходами к исследованию типов и характеристик центрального процессора. Механизмы измерения скорости работы персонального компьютера. Рассмотрение практических аспектов определения параметров быстродействия процессоров.
лабораторная работа, добавлен 31.10.2016Изучение существующих методов и программных средств оценки сложности программ. Определение метрик размера программ, сложности потоков управления и данных. Структура разрабатываемого программного средства, построение его алгоритмов и анализ эффективности.
дипломная работа, добавлен 21.12.2012Особенности платформы JavaFX2. Приобретение практических навыков создания насыщенных пользовательских интерфейсов Java-программ. Добавление данных в таблицу с одновременным изменением диаграммы. Сохранение данных в файл. Описание тестовых примеров.
лабораторная работа, добавлен 17.05.2015Разработка модели программы подбора типичных грамматических, лексических, синтаксических и других ошибок и создания на их основе заданий с правильными и неправильными вариантами ответов для учебных тестов. Автоматическая генерация ответов на тесты.
статья, добавлен 02.02.2019Описание Java, рассмотрение технологии создания и последующего использования программ на этом языке, анализ примеров программ. Создание автономного Java приложения и апплета. Основные требования к объектно-ориентированной системе. Объектная модель Java.
курсовая работа, добавлен 21.11.2012Основные составные части микропроцессора. Виды архитектуры построения компьютеров. Оценка параметров микропроцессора и выбор микропроцессорной серии. Главные характеристики компьютерных микропроцессоров, особенности их поколений и дальнейшая перспектива.
реферат, добавлен 03.05.2013Анализ концепции построения комплекса средств автоматизации. Понятие базы данных. Достоинства и проблемы интеграции данных. Необходимость организации базы данных на автоматизированном рабочем месте. Функциональное назначение программ обработки запросов.
дипломная работа, добавлен 11.04.2011Разработка автоматизированной системы управления технологическими процессами. Рассмотрение методов проверки программ автоматизации с целью обнаружения критических ошибок. Семантический анализ продукционных правил многомерных логических регуляторов.
статья, добавлен 07.06.2016- 47. Автоматизация контроля обучения студентов тестированию учебных программ методами "чёрного ящика"
Постановка задачи автоматизации контроля обучения тестированию учебных программ методами "черного ящика". Построение формального представления текста задачи. Анализ предложенных критериев на полноту и избыточность. Реализация системы BlackBoxChecker.
статья, добавлен 26.04.2019 Анализ жизненного цикла и повышение эффективности современных радиоэлектронных средств. Пути автоматизации процессов контроля и диагностирования технического состояния. Минимизация функции среднеквадратической ошибки. Выбор тестовых входных воздействий.
статья, добавлен 30.01.2016Оценка профессиональных приложений для создания рисунков, эскизов, различных набросков, перерисовки фотографий, конструирования простых и сложных форм. Обзор имитации практически всех известных техник рисования с учетом характеристик реальных материалов.
презентация, добавлен 11.10.2015Оптимизация принятия решений в интеллектуальных системах, ориентированных на применение в проблемных и междисциплинарных областях. Рассмотрение интеллектуальных систем, основанных на тестовых методах распознавания образов, последовательность этапов.
статья, добавлен 19.01.2018