Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Анализ методов и средств автоматизации конструирования тестовых программ для микропроцессоров на основе формальных спецификаций. Язык описания шаблонов тестовых программ и архитектура расширяемого генератора для интеграции разных техник генерации.
Подобные документы
Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
автореферат, добавлен 02.05.2018- 2. Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
диссертация, добавлен 11.06.2018 Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
автореферат, добавлен 02.05.2018- 4. Создание базы спецификаций форматов данных и их уточнение на основе анализа набора трасс программ
Разработка методов и компонентов модуля среды анализа бинарного кода, осуществляющий автоматизированное восстановление спецификаций формата данных по бинарным трассам программ, с возможностью выгрузки промежуточных результатов в хранилище форматов.
дипломная работа, добавлен 14.08.2020 Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.2018Формирование требований к подсистеме генерации тестовых заданий в системе дистанционного образования. Типы и формы тестовых заданий, этапы разработки компьютерных тестов. Виды дистанционного обучения. Проектирование и программная реализация подсистемы.
курсовая работа, добавлен 28.08.2012Жизненный цикл программного обеспечения компьютерных систем. Технологическая и эксплуатационная безопасность программ. Доказательства правильности программ и их спецификаций. Анализ безопасности программного обеспечения, целостности программного кода.
книга, добавлен 15.09.2012Анализ основных семейств современных универсальных микропроцессоров, применяемых в микропроцессорных системах, персональных компьютерах, серверах. Классификация, назначение и характеристики микропроцессоров. Стандартизация архитектур микропроцессоров.
учебное пособие, добавлен 25.04.2014Особенности составления тестовых заданий для оценки вспоминания, интерпретации имеющихся сведений, понимания и аргументации. Вопросы типа "снизу вверх" и "сверху вниз". Алгоритм составления задания в тестовой форме. Технические дефекты тестовых заданий.
презентация, добавлен 26.06.2017История развития микропроцессоров, архитектура Фон Неймана и суперскалярная архитектура. Основные характеристики микропроцессоров: тактовая частота, кэш память, разрядность, количество ядер. Энергопотребление и производительность современных процессоров.
реферат, добавлен 16.03.2019Исследование целей и основных принципов организации тестирования программ. Рассмотрение технических требований к тестированию программного обеспечения. Характеристика объектов, методов и средств тестовых проверок, определение особенностей их видов.
реферат, добавлен 25.04.2014Комплекс компьютерных программ "Автоматизация проведения контрольно-проверочных и итоговых занятий по определению уровня профессиональной подготовленности сотрудников ОВД" - АСК "Контроль", разработанный на Delphe. Практика применения тестовых баз.
статья, добавлен 26.05.2017Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Тестирование с применением средств автоматической генерации тестов, входящие в состав современных САПР, которые используются при проектировании цифровых устройств на основе элементной базы. Требования к временным характеристикам тестовых сигналов.
статья, добавлен 08.12.2018Оценка знаний в сфере профессионального обучения. Описание процесса формирования тестовых заданий. Структура обеспечивающих средств для реализации и внедрения предлагаемых новшеств. Анализ технического, информационного и программного обеспечения.
дипломная работа, добавлен 08.10.2018Рассмотрение особенностей и способов создания тестовых заданий для учебных пособий на языке JavaScript. Знакомство с наиболее популярной классификацией современных тестовых заданий. Общая характеристика основных преимуществ электронных учебных пособий.
статья, добавлен 24.02.2019Исследование назначения и классификации устройств ввода текстовой и графической информации. Изучение основных видов и характеристик сканеров. Описания тестовых редакторов и программ распознавания образов: Microsoft Word, WordPerfect, FineReader, Tiger.
курсовая работа, добавлен 12.10.2012Искусственные нейронные сети, основы описания многомерных тестовых данных. Построение области допустимых изменений параметров однородных групп, модели регрессии. Определение компонент дискретного конечного множества элементов. Нейронная сеть Хопфильда.
учебное пособие, добавлен 15.01.2018Общие понятия и режимы работы в PowerPoint, автоматизация работы при создании презентации. Разновидность компьютерных программ и их классификация, правовая защита программ, анализ вредоносных программ и антивирусных средств, средств архивирования.
курсовая работа, добавлен 18.01.2014Исследование истории становления формальных знаковых систем для записи текстов программ. Анализ принципов описания действий компьютера. Рассмотрение языков: машинного, высокого уровня, алгоритмических, объектно-ориентированных и на платформе .net.
реферат, добавлен 13.02.2016Обзор основных понятий, используемых при изучении пакетов прикладных программ. Классификация пакетов прикладных программ. Исследование особенностей их применения в экономической деятельности. Характеристика программ автоматизации бухгалтерского учёта.
курсовая работа, добавлен 08.01.2014Анализ способов хранения и передачи контрольно-измерительных материалов. Проектирование и разработка редактора тестовых заданий. Предназначение и сущность системы дистанционного тестирования. Описание архитектуры студии компетентностных деловых игр.
дипломная работа, добавлен 01.10.2016Изучение структуры, характеристики и архитектуры 32-разрядных микропроцессоров, выбор показателей для их оценки. Сравнительная оценка структур и архитектур совместимых 32-разрядных микропроцессоров, анализ перспектив развития персональных компьютеров.
курсовая работа, добавлен 16.01.2010- 24. Об использовании контрольных данных в системе обеспечения качества сложных информационных систем
Характеристика современных методов управления и контроля тестовых данных, выявление их преимуществ и недостатков. Описание проблемы управления тестовыми данными. Применение методов контроля тестовых данных при тестировании сложных информационных систем.
статья, добавлен 07.11.2018 Денотационная семантика как наиболее строгий и широко известный метод описания значения программ. Знакомство с основными особенностями определения семантики языка программирования. Общая характеристика методов доказательства правильности программ.
курсовая работа, добавлен 18.01.2015