Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
Подобные документы
Разработка автоматизированной системы управления технологическими процессами. Рассмотрение методов проверки программ автоматизации с целью обнаружения критических ошибок. Семантический анализ продукционных правил многомерных логических регуляторов.
статья, добавлен 07.06.2016Анализ принципов и методов работы антивирусных программ. Признаки заражения вирусом. Описание антивирусных программ, их различия, преимущества, недостатки. Создание антивирусного сканера на Microsoft Visual Studio 2017, добавление компонентов и кода.
курсовая работа, добавлен 18.12.2018Достижения использования математических пакетных программ информационно-коммуникационных технологий в процессе урока. Maple позволяет выполнять как численные, так и аналитические расчеты с возможностью редактирования текста и формул на рабочем листе.
презентация, добавлен 19.10.2022Изучение процесса разработки шаблонов средствами Word. Рассмотрение методов создания служебного документа на основе шаблона. Ознакомление с особенностями использования шаблона в Excel. Анализ использования шаблонов в профессиональной деятельности.
статья, добавлен 07.01.2016Рабочая программа дисциплины в системе высшего профессионального образования. Различные системы по автоматизации учебного процесса ВУЗа. Основные причины создания модуля автоматизации генерации электронных учебно-методических комплексов дисциплин.
статья, добавлен 22.03.2018Схемотехнологические направления производства микропроцессоров, их характеристики и поколения. Организация внутренней памяти данных. Внутрисхемные эмуляторы и логические анализаторы. Структура и архитектура микро-ЭВМ. Функции контроллера прерываний.
курс лекций, добавлен 30.04.2014Характеристика структуры электронно-вычислительной машины. Анализ главных типов микропроцессоров семейства Intel. Изучение видов оперативного запоминающего устройства. Исследование логической структуры основной памяти. Особенность дисковых накопителей.
реферат, добавлен 31.05.2016Рассмотрение методов получения равномерно распределенных случайных чисел. Моделирование случайных чисел с заданным законом распределения вероятностей. Примеры компьютерных программ реализации генераторов. Практические советы к лабораторным работам.
методичка, добавлен 04.10.2016Графический метод создания функционально-логической программы. Разработка корректных программ на базе представления сетевой грамматики управляющих отношений. Обзор основных методов и инструментов создания функционально-логических программ на примерах.
статья, добавлен 15.08.2020Свойства и формы представления информации. История развития вычислительной техники. Аппаратное и программное обеспечение компьютера. Операционные системы, оболочки, среды. Принципы работы служебных программ. Обработка данных средствами электронных таблиц.
контрольная работа, добавлен 12.02.2014Ознакомление с теоретическими подходами к исследованию типов и характеристик центрального процессора. Механизмы измерения скорости работы персонального компьютера. Рассмотрение практических аспектов определения параметров быстродействия процессоров.
лабораторная работа, добавлен 31.10.2016Обзор методов исследования вегетационного периода. Определение тестовых участков. Анализ и исключение промахов временных рядов. Разработка программного обеспечения для автоматического расчета на определенной территории. Получение карты начала вегетации.
статья, добавлен 29.04.2018Особенности платформы JavaFX2. Приобретение практических навыков создания насыщенных пользовательских интерфейсов Java-программ. Добавление данных в таблицу с одновременным изменением диаграммы. Сохранение данных в файл. Описание тестовых примеров.
лабораторная работа, добавлен 17.05.2015Структура и функциональное назначение налоговых органов, их типы и правовое регулирование деятельности. Анализ информационных средств и методов автоматизации процессов налогообложения, применяемых на современном этапе, а также оценка их эффективности.
статья, добавлен 21.01.2018Разработка теста для проверки знаний языка программирования Си, предназначенного для автоматизации работы в ВУЗах по оценке знаний учащихся. Основные требования к программе. Выбор и обоснование выбора среды разработки. Описания тестовых случаев.
курсовая работа, добавлен 15.06.2012Изучение средств языка С++, используемых для создания параметрических типов. Использование механизма перегрузки операций в программах. Изучение механизма динамического связывания. Написание программ с использованием механизма наследования классов.
контрольная работа, добавлен 21.01.2014История развития электронно-вычислительной машины, совершенствование её внутренней структуры. Классификация операционных систем и вычислительных устройств. Функционирование микропроцессоров, методы повышения их производительности, конфигурирование.
учебное пособие, добавлен 09.12.2014Применение компьютеров и микропроцессоров в составе современных измерительных приборов и систем. Описание методов повышения точности измерений на основе обратных математических моделей измерительного канала. Математическая модель измерительного канала.
статья, добавлен 31.08.2018Освоение методов работы с бинарными и текстовыми файлами, освоение алгоритма удаления данных из них. Приемы отладки программ сортировки данных и навыков разработки многомодульных программ. Освоение препроцессорных средств управления ходом компиляции.
контрольная работа, добавлен 24.09.2012Разработка программ формирования и обработки электронных запросов. Требования к операционной и программной совместимости ЭВМ. Организация рабочего места оператора персонального компьютера. Ознакомление с принципиальными схемами алгоритмов программ.
диссертация, добавлен 19.07.2014Понятие компьютерного вируса, его особенности. История развития вирусов, их свойства и классификации. Пути проникновения вирусов и механизм распределения вирусных программ. Характеристика методов защиты от вирусов, особенности антивирусных программ.
реферат, добавлен 10.03.2009Понятие об архитектурной операционной системе. Обзор аппаратных и программных обеспечений компьютера с помощью "software" и "hardware". Очерк интеллектуального проектирования пространств и интерфейсов с использованием встроенных микропроцессоров.
реферат, добавлен 18.11.2013Перспективы развития системы автоматизации проектных работ и условие ее эффективного проектирования. Работа с САПР и редактирование моделей. Разработка электрических схем и печатных плат. Общий пользовательский интерфейс. Проектирование микропроцессоров.
контрольная работа, добавлен 11.02.2013- 99. Процессоры ЭВМ
Общая структура микропроцессора, его характеристики и наиболее важные параметры. Команды и основной алгоритм работы процессора, особенности работы его большой интегральной схемы. Направления в производстве микропроцессоров: с архитектурой RISC и СISC.
реферат, добавлен 11.06.2012 - 100. Автоматизация контроля обучения студентов тестированию учебных программ методами "чёрного ящика"
Постановка задачи автоматизации контроля обучения тестированию учебных программ методами "черного ящика". Построение формального представления текста задачи. Анализ предложенных критериев на полноту и избыточность. Реализация системы BlackBoxChecker.
статья, добавлен 26.04.2019