Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
Подобные документы
- 1. Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
диссертация, добавлен 11.06.2018 Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
автореферат, добавлен 02.05.2018Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
автореферат, добавлен 02.05.2018Анализ основных семейств современных универсальных микропроцессоров, применяемых в микропроцессорных системах, персональных компьютерах, серверах. Классификация, назначение и характеристики микропроцессоров. Стандартизация архитектур микропроцессоров.
учебное пособие, добавлен 25.04.2014Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018- 6. Создание базы спецификаций форматов данных и их уточнение на основе анализа набора трасс программ
Разработка методов и компонентов модуля среды анализа бинарного кода, осуществляющий автоматизированное восстановление спецификаций формата данных по бинарным трассам программ, с возможностью выгрузки промежуточных результатов в хранилище форматов.
дипломная работа, добавлен 14.08.2020 Изучение структуры, характеристики и архитектуры 32-разрядных микропроцессоров, выбор показателей для их оценки. Сравнительная оценка структур и архитектур совместимых 32-разрядных микропроцессоров, анализ перспектив развития персональных компьютеров.
курсовая работа, добавлен 16.01.2010Разработка больших международных проектов по созданию ИИ-систем автоматизации всего процесса математического познания на основе доказательства теорем. Значение "сколемизации" формальных выражений и искажение семантики их неформальных прототипов.
статья, добавлен 17.01.2018Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
статья, добавлен 28.02.2016Анализ методов конструирования 3D-объектов на основе карт диспарантности, поиске эпиполярных линий. Разработка алгоритмического и программного обеспечений автоматической трехмерной реконструкции визуальной обстановки городских сцен по спутниковым снимкам.
дипломная работа, добавлен 07.08.2018Базовые основы разработки и стратегии конструирования программного обеспечения (ПО). Классический жизненный цикл и макетирование. Стратегии конструирования ПО. Программная инженерия и распределенное программирование. Применение параллельных алгоритмов.
курсовая работа, добавлен 18.12.2014Системы, работающие с базами данных, система "1С: Предприятие" как оптимальный вариант решения широкого спектра задач автоматизации учета и управления. Этапы автоматизации предприятия и специфика документооборота. Установка программы "1С: Бухгалтерия".
курсовая работа, добавлен 12.04.2014Жизненный цикл программного обеспечения компьютерных систем. Технологическая и эксплуатационная безопасность программ. Доказательства правильности программ и их спецификаций. Анализ безопасности программного обеспечения, целостности программного кода.
книга, добавлен 15.09.2012Опыт эксплуатации общезаводских информационно-управляющих систем в непрерывных производствах России. Описание концептуальных, программных и технических решений, необходимых для конструирования диспетчерских и технико-экономических систем автоматизации.
статья, добавлен 22.08.2020Место роботов и роботизированных программ на рынке современных технологий автоматизации процессов. Критерии выбора решения для автоматизации банковского процесса. Предпосылки и направления автоматизации процесса исполнения банковских налоговых документов.
дипломная работа, добавлен 10.12.2019Сравнительная характеристика функциональных и технических возможностей складских программ. Основные преимущества реляционных баз данных. Основные рекомендации по совершенствованию деятельности организации на основе автоматизации предметной области.
дипломная работа, добавлен 10.11.2014Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.2018Разработка программ формирования и обработки электронных запросов. Требования к операционной и программной совместимости ЭВМ. Организация рабочего места оператора персонального компьютера. Ознакомление с принципиальными схемами алгоритмов программ.
диссертация, добавлен 19.07.2014Развитие математической теории машин переменного тока, полупроводниковых приборов и преобразователей на их основе. Автоматизация систем управления двигателем постоянного тока и асинхронным двигателем. Автоматизация системы управления экспериментом.
статья, добавлен 24.08.2020Создание алгоритма автоматизации управления механизмами объекта. Обеспечение работы в автоматическом и ручном режимах. Выбор элементной базы и преобразователей технологической информации. Разработка программного обеспечения системы автоматизации.
курсовая работа, добавлен 22.10.2019Состояние автоматизации учёта движения товарно-материальных ценностей. Перспективы развития автоматизированных программ бухучета. Программы автоматического бухгалтерского учета. Внедрение современных средств автоматизации и анализа материальных запасов.
контрольная работа, добавлен 20.08.2012Проведение анализа внедрения автоматизированных систем документооборота в организации и выявление его преимуществ над обычным бумажным движением документов. Описание и классификация программ по автоматизации делопроизводства на основе web-технологий.
курсовая работа, добавлен 15.02.2011Организация режимов работы микропроцессоров высокого быстродействия с параллельно-векторной структурой. Организация параллельно различных арифметических операций по обработке и обмене данных. Анализ повышения производительности микропроцессорных систем.
статья, добавлен 22.12.2016История развития микропроцессоров, архитектура Фон Неймана и суперскалярная архитектура. Основные характеристики микропроцессоров: тактовая частота, кэш память, разрядность, количество ядер. Энергопотребление и производительность современных процессоров.
реферат, добавлен 16.03.2019Обзор основных понятий, используемых при изучении пакетов прикладных программ. Классификация пакетов прикладных программ. Исследование особенностей их применения в экономической деятельности. Характеристика программ автоматизации бухгалтерского учёта.
курсовая работа, добавлен 08.01.2014