Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
Подобные документы
Организация рабочего места и требования техники безопасности на предприятии. Анализ структуры предприятия и круга задач, решаемых с помощью вычислительной техники. Разработка базы данных в СУБД Microsoft Access и программ на языке программировании Pascal.
отчет по практике, добавлен 20.06.2012- 52. Автоматизация учета движения кадров на складах бытовой химии г. Москвы ППП "Кадры". Текст программ
Разработка решения задачи "Двигай". Оптимизация расположения документации и средств управления на экране. Вид формы в режиме DesignTime и RunTime. Описание элементов управления на языке VB6. Изображение информации графически. Тексты основных программ.
реферат, добавлен 04.04.2013 Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
методичка, добавлен 03.03.2012Прототип информационной обучающей системы с интеллектуальным интерфейсом для подготовки учащихся к ЕГЭ по математике. Адаптивный генератор типовых тестовых заданий. Разработка подсистемы генерации развернутого решения вариантов типовых заданий.
статья, добавлен 26.04.2019Исследование вредоносных программ с помощью системы автоматизированного распознавания вредоносного поведения. Сравнительный анализ существующих средств получения информации о программном поведении. Описание технологии детектирования на основе сценариев.
статья, добавлен 27.07.2016Обзор основных понятий, используемых при изучении пакетов прикладных программ. Классификация пакетов прикладных программ. Исследование особенностей их применения в экономической деятельности. Характеристика программ автоматизации бухгалтерского учёта.
курсовая работа, добавлен 08.01.2014Закрепление знаний о простейших операциях и операторах языка С++. Разработка алгоритма и программы для решения поставленной задачи. Проверка работоспособности созданной программы на тестовых данных. Определение принадлежности точки одной из областей.
лабораторная работа, добавлен 22.09.2015Типовая архитектура мультипроцессорной системы с общей памятью. Технические средства хранения информации. Мультипроцессорные вычислительные системы: распараллеливание вычислительного процесса, распараллеливание программ, ярусно-параллельные формы.
реферат, добавлен 01.10.2012Понятие пакета прикладных программ. Ориентация пакета на определенный класс задач, определяемый предметной областью пакета. Классификация пакетов программ по реализуемым функциям. Принципы разработки пакетов программ. Структура пакета прикладных программ.
реферат, добавлен 27.10.2022AVR Studio как профессиональная интегрированная среда разработки, предназначенная для написания и отладки прикладных программ для AVR микропроцессоров в среде Microsoft Windows. Исправление синтаксических ошибок и симуляция работы программы на ПК.
лабораторная работа, добавлен 24.07.2014Микропроцессор - программно-управляемое электронное цифровое устройство, предназначенное для обработки цифровой информации и управления процессом ее обработки. Архитектурные особенности, классификация, структура и основные характеристики микропроцессора.
контрольная работа, добавлен 09.02.2012Программа как формализованное описание процесса обработки данных. Интерпретация стандартных схем программ. Синтаксические и семантические свойства программ. Функции и графы. Свойства и виды стандартных схем программ. Языки формальной спецификации.
курс лекций, добавлен 03.03.2012Понятие микропроцессора и его особенности (функции, состав, принцип работы). Эволюция процессоров: 8-битная, 16-битная эпоха и 32-битные процессоры. Архитектура RISC и развитие индустрии в 1990-е годы. Характеристика современных компьютерных процессоров.
реферат, добавлен 08.06.2015- 64. Этапы проектирования и жизненный цикл программ. Тестирование и отладка. Документирование программ
Характеристика этапов проектирования, модели жизненного цикла программ. Особенности тестирования и отладки программ, совместное тестирование модулей. Разработка приложения для Windows, представляющего собой модель базы данных по успеваемости студентов.
курсовая работа, добавлен 01.04.2014 Основные приемы работы с автоматизированной контролирующей системой "Контроль". Обзор алгоритмов создания и редактирования тестовых баз, настроек программных приложений, технологий использования в тестах текстовых, графических и мультимедийных данных.
статья, добавлен 20.05.2017Характерные особенности организации пакетов прикладных программ. Классификация, в основу которой кладется тип операционной системы. Деление пакетов прикладных программ по сферам применения и классам решаемых задач. Их архитектура и принцип разработки.
реферат, добавлен 14.09.2017Исследование назначения и классификации устройств ввода текстовой и графической информации. Изучение основных видов и характеристик сканеров. Описания тестовых редакторов и программ распознавания образов: Microsoft Word, WordPerfect, FineReader, Tiger.
курсовая работа, добавлен 12.10.2012Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Анализ специфики программирования параллельных систем. Характеристика реализации метода генерации Блюма-Блюма-Шуба на графическом процессоре. Описание метода Вихрь-Мерсена и анализ статистических свойств генератора псевдослучайных последовательностей.
статья, добавлен 14.08.2016Разработка программного обеспечения, позволяющего автоматизировать подсчет метрик отражающих "почерк создателя" программного обеспечения для исходных кодов программ и профиля для достоверного осуществления идентификации автора программного обеспечения.
статья, добавлен 28.02.2016Пакет прикладных программ "Модель" - программный комплекс для выполнения всего объема работ по проектированию и эксплуатации современных систем регулирования возбуждения синхронных генераторов. Анализ устойчивости станции в составе энергообъединения.
лекция, добавлен 04.02.2020Исследование одного из методов автоматизации создания литературных текстов на основе словарно-шаблонного механизма. Разработка модели бинарной ассоциативной связи между лексемами, анализ применения ее в качестве авторского художественного наполнения.
статья, добавлен 17.01.2018Искусственные нейронные сети, основы описания многомерных тестовых данных. Построение области допустимых изменений параметров однородных групп, модели регрессии. Определение компонент дискретного конечного множества элементов. Нейронная сеть Хопфильда.
учебное пособие, добавлен 15.01.2018Анализ истории возникновения компьютерных вирусов. Характеристика файловых, загрузочных и полиморфных вирусов. Основные пути проникновения вирусов в компьютер и механизм распределения вирусных программ. Проведение исследования антивирусных программ.
курсовая работа, добавлен 01.05.2020Разработка игры "Сапер" с расположением мин на основе нескольких методов генерации случайных чисел. Проектирование интеллектуальных систем. Интерфейс компьютерной игры. Свойства компонента TLabel. Реализация игры посредством использования языка Delphi.
курсовая работа, добавлен 06.06.2012