Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
Подобные документы
- 101. Автоматизация контроля обучения студентов тестированию учебных программ методами "чёрного ящика"
Постановка задачи автоматизации контроля обучения тестированию учебных программ методами "черного ящика". Построение формального представления текста задачи. Анализ предложенных критериев на полноту и избыточность. Реализация системы BlackBoxChecker.
статья, добавлен 26.04.2019 Классификация существующих эволюционных методов генерации идентифицирующих последовательностей цифровых устройств. Методология синтеза эволюционных методов диагностирования цифровых устройств, ускорение их разработки за счёт унификации компонентов.
статья, добавлен 25.12.2016Оптимизация принятия решений в интеллектуальных системах, ориентированных на применение в проблемных и междисциплинарных областях. Рассмотрение интеллектуальных систем, основанных на тестовых методах распознавания образов, последовательность этапов.
статья, добавлен 19.01.2018Характеристика технологии программирования как совокупности методов и средств разработки (написания) программ и порядка применения этих методов и средств. Структура объектно-ориентированного программирования, анализ его методов, вариантов использования.
курсовая работа, добавлен 13.11.2017Партнерская франчайзинговая сеть компании "1С". Автоматизация бухгалтерского учета, производства, склада, оптовой и розничной торговли, документооборота. Сравнительный анализ пакета программных средств фирмы "1С" в Российской Федерации и за рубежом.
статья, добавлен 26.04.2019История появления серийных персональных компьютеров. Причины широкого распространения мини-ЭВМ в начале 1970-х гг. Развитие техники и технологии микропроцессоров. Описание компоновки традиционного системного блока. Составляющие персонального компьютера.
реферат, добавлен 27.01.2018Системный анализ существующих редакторов для визуальных языков и языка JAPE, их возможности, преимущества и недостатки. Создание исследовательского прототипа веб-редактора для визуального языка, разработанного на основе JAPE для редактирования диаграмм.
дипломная работа, добавлен 31.07.2016Понятие VBA как языка программирования, встроенный во множество программ, от приложений Microsoft Office, Microsoft Project, Visio и AutoCad до многочисленных специализированных приложений. Процесс объявления массива с использованием оператора Dim.
курсовая работа, добавлен 12.06.2017Программные инструкции обрабатываются электронными схемами. Суперскалярная архитектура, конвейерная обработка. Спекулятивное выполнение и предсказание переходов. Условный оператор в любом языке программирования и динамическое выполнение команд.
реферат, добавлен 19.05.2013Изучение устройства микропроцессора - важнейшего компонента персонального компьютера. Ознакомление с историей реализации проектов фирмы Intel по разработке однокристаллических микропроцессоров. Характеристика систем, построенных на базе Pentium.
реферат, добавлен 12.03.2015Распознавание максимально большого количества существующих вредоносных программ при помощи антивирусов. Необходимость регулярного и частого обновления антивирусных программ. Корректное удаление вирусного кода и последствий заражения файлов и программ.
реферат, добавлен 17.11.2014Общая характеристика микропроцессора: тактовая частота, разрядность (регистров, шины данных и адреса), архитектура, быстродействие. Основные типы данных микропроцессоров: непосредственные, данные простого и сложного типа (байт, слово, цепочка и пр.).
контрольная работа, добавлен 19.05.2015Обзор программ и приложений, помогающих эффективно изучать иностранные слова. Анализ методов запоминания информации человеком. Основные приемы и особенности мнемотехники. Разработка и реализация программы, помогающей в изучении английского языка.
дипломная работа, добавлен 01.09.2017Общее понятие и классификация машинных программ и команд, которые используются в компьютерных системах. Влияние на них архитектуры процессора. Языки ассемблера и их особенности. Примеры написания машинных программ для выполнения конкретных задач.
курсовая работа, добавлен 03.05.2023Решение задачи автоматизации процесса продаж и разработка программного продукта. Выбор и обоснование системы управления базой данных и языка программирования. Проектирование базы данных компьютерного магазина, разработка таблиц и инфологической модели.
курсовая работа, добавлен 07.03.2014Изучение протоколов Echo, Time, DayTime, WhoIs, Finger, RLogin, Telnet. Разработка программ клиент-серверного взаимодействия. Обработка команд запросов и ответов протоколов. Использование функций Windows API и других библиотек для работы с сокетами.
лабораторная работа, добавлен 28.04.2015Разработка методики оценки ремонтно-обслуживающей базы машинно-технологических станций, основанной на определении оптимальной трудоемкости ремонта в интервале больших программ. Разработка программы для региональных ремонтно-обслуживающих предприятий.
статья, добавлен 24.08.2020Разработка алгоритмов и программ. Операциональный и структурный подход. Новые методологии разработки программ. Жизненный цикл программного обеспечения. Декларативный подход в разработке компьютерных программ. Процедурно-ориентированное программирование.
доклад, добавлен 19.02.2014Сравнительная характеристика функциональных и технических возможностей складских программ. Основные преимущества реляционных баз данных. Основные рекомендации по совершенствованию деятельности организации на основе автоматизации предметной области.
дипломная работа, добавлен 10.11.2014Разработка программы, которая выводит новый прейскурант при изменении стоимости товара. Разработка программы для вывода заданного натурального числа прописью. Разработка блок-схем, листинга программ, а также описание их тестирования и общего вида.
курсовая работа, добавлен 25.06.2017Основные характеристики микропроцессоров, основные направления их развития, принцип работы. Последовательность действий при выполнении процедуры ввода-запоминания-вывода в микроЭВМ. Назначение блоков обработки сигналов и микропрограммного управления.
контрольная работа, добавлен 14.12.2013Рассмотрение программ, с помощью которых моделируются структурированные кабельные системы, описание возможностей программ. Использование при проектировании систем ранее выполненной технической документации, хранящейся в электронном растровом формате.
статья, добавлен 25.10.2024Применение генераторов псевдослучайных чисел в сферах науки. Рассмотрение генерации случайных чисел на основе клеточного автомата, правила поведения которого определяются игрой "Жизнь". Исследование линейно-конгруэнтного метода генерации случайных чисел.
статья, добавлен 25.01.2022- 124. Разработка и анализ алгоритма сортировки посредством выбора на основе разработки шаблона функции C++
Анализ существующих методов сортировки, обоснование результатов тестирования рассматриваемого алгоритма, исследование приоритетов данного алгоритма и методов его реализации, разработка шаблонов функций C++, сортировка данных посредством простого выбора.
курсовая работа, добавлен 13.06.2012 - 125. Разработка моделей для прогнозирования и анализа данных с применением пакета программ STATISTICA
Анализ методов и технологий Data Mining. Применение искусственных нейронных сетей. Освоение среды Data Miner и разработка моделей анализа данных с применением программ STATISTICA. Анализ результатов применения моделей прогнозирования и анализа данных.
дипломная работа, добавлен 14.12.2019