Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Анализ методов и средств автоматизации конструирования тестовых программ для микропроцессоров на основе формальных спецификаций. Язык описания шаблонов тестовых программ и архитектура расширяемого генератора для интеграции разных техник генерации.
Подобные документы
Исследование одного из методов автоматизации создания литературных текстов на основе словарно-шаблонного механизма. Разработка модели бинарной ассоциативной связи между лексемами, анализ применения ее в качестве авторского художественного наполнения.
статья, добавлен 17.01.2018Ознакомление с результатами сравнительного анализа программ для распознавания текста. Исследование и характеристика особенностей объекта автоматизации и структуры документооборота. Изучение и анализ процесса написания кода программы для автоматизации.
дипломная работа, добавлен 09.09.2016Понятие, назначение и состав прикладного программного обеспечения. Классификация пакетов прикладных программ. Анализ достоинств Microsoft Office 2003. Возможности применения современных программ для решения бухгалтерских и финансово-экономических задач.
курсовая работа, добавлен 22.05.2010- 104. Применение методов машинного обучения для формирования сценариев поведения вредоносных программ
Знакомство с основными проблемами автоматизированного формирования сценариев, описывающих поведение вредоносных программ. Рассмотрение особенностей и способов применения методов машинного обучения для формирования сценариев поведения вредоносных программ.
статья, добавлен 28.08.2016 Рассмотрение основных компьютерных программ, используемых электриками в профессиональной деятельности, основные возможности и функции данных программ. Использование компьютерных программ для моделирования электрических схем различной сложности.
статья, добавлен 21.02.2018Анализ методов конструирования 3D-объектов на основе карт диспарантности, поиске эпиполярных линий. Разработка алгоритмического и программного обеспечений автоматической трехмерной реконструкции визуальной обстановки городских сцен по спутниковым снимкам.
дипломная работа, добавлен 07.08.2018История развития микропроцессоров семейства Intel. Pentium как точка отсчета, основная проблема на пути повышения производительности. Возможности суперскалярной архитектуры P6, системы на его основе. P6 как платформа для построения мощных серверов.
реферат, добавлен 26.06.2010Графический метод создания функционально-логической программы. Разработка корректных программ на базе представления сетевой грамматики управляющих отношений. Обзор основных методов и инструментов создания функционально-логических программ на примерах.
статья, добавлен 15.08.2020Необходимость использования, сущность и классификация компьютерных вирусов. Особенности применения программ-детекторов, программы-доктора, программ-ревизоров, программ-фильтров. Техника безопасности перед началом и во время работы с программой.
курсовая работа, добавлен 21.03.2018Основные средства, используемые на разных этапах разработки программ. Средства реализации программного кода. Признаки классификации современных кейс-средств. Цели и основные движущие силы интеграции. Сущность горизонтальной и вертикальной интеграции.
реферат, добавлен 03.11.2022Проблемы, связанные с использованием разных языков программирования для написания программ. Транслятор с языка Паскаль на язык Си, его функции и переменные. Кодирование алгоритма программы транслятора на языке Си++. Распечатка тестов и результатов.
курсовая работа, добавлен 23.06.2011Создания высококачественных программ кодирования-декодирования для построения трактов передачи данных на базе микропроцессоров в распределенных вычислительных системах. Разработка и внедрение алгоритмов аппаратной (схемной) реализации кодеков в программу.
статья, добавлен 27.11.2018Защита компьютера от вирусов. История разработки, классификация и функции антивирусных программ. Сравнительный анализ антивирусных программ (Антивирус Касперского, NOD32, Dr. Web, Avira AntiVir, Microsoft Security Essentials), их установка на компьютер.
курсовая работа, добавлен 22.04.2014AVR Studio как профессиональная интегрированная среда разработки, предназначенная для написания и отладки прикладных программ для AVR микропроцессоров в среде Microsoft Windows. Исправление синтаксических ошибок и симуляция работы программы на ПК.
лабораторная работа, добавлен 24.07.2014- 115. Система T-FLEX
Комплекс интегрированных программных средств для автоматизации конструкторско-технологической подготовки производства. Создание технологической и нормативно-сметной документации, управление проектами. Подготовка управляющих программ для станков.
реферат, добавлен 05.04.2020 Анализ и оценка одного из подходов к разработке информационной системы генерации формальных описаний научных статей. Исследование принципов функционирования такой системы, а также алгоритмов автоматического создания локальной базы данных цитирования.
доклад, добавлен 18.01.2018Возможности и направления автоматизации программ управления благополучием сотрудников на базе информационных систем управления. Перспективные функциональные требования к информационным системам управления талантами, позволяющие расширить их возможности.
статья, добавлен 09.04.2022Анализ и сравнение способов оптимизации производительности программ. Влияние на производительность конвейерной обработки, кеш памяти и распараллеливания вычислений. Оценка эффективности использования разных технологий для повышения производительности.
статья, добавлен 01.03.2017Основы создания и компиляции программ на языке С с помощью базовых средств операционной системы UNIX. Написание собственных программ на языке С. Вызов компилятора gcc из командной строки. Управление компиляцией с помощью утилиты make, создание make-файла.
лекция, добавлен 27.11.2013История развития электронно-вычислительных машин и персональных компьютеров. Архитектура клиент-сервер. Проведение экономических расчетов, с помощью пакета прикладных программ MS Office, СУБД Access, электронных таблиц Excel и других офисных программ.
курсовая работа, добавлен 15.06.2011Исследование и анализ результатов сравнения нейронной сети на основе формальных понятий с другими методами классификации данных. Ознакомление с методами классификации данных на реальных датасетах. Характеристика антимононотонности соответствия Галуа.
дипломная работа, добавлен 01.09.2017Обзор пакетов программ, предназначенных для визуализации и анализа данных. Обоснование выбора среды программирования. Алгоритмы визуализации данных аварийного буфера. Описание разработанных программ. Оптимизация восприятия информации с экрана дисплея.
дипломная работа, добавлен 10.11.2010Постоянное присутствие автоматизированных, информационных систем в жизни современного человека. Большое количество программ, больших и малых, которые в той или иной степени помогают выполнять наши повседневные задачи. Факторы эффективности автоматизации.
статья, добавлен 24.02.2019Анализ принципов и методов работы антивирусных программ. Признаки заражения вирусом. Описание антивирусных программ, их различия, преимущества, недостатки. Создание антивирусного сканера на Microsoft Visual Studio 2017, добавление компонентов и кода.
курсовая работа, добавлен 18.12.2018- 125. Информационно-поисковая система с ранжированием на основе нейронных сетей с бинарной функцией выхода
Исследование процесса ранжирования документов по критериям релевантности запросу. Повышение достоверности информационно-поисковых систем на этапе предварительного отбора тестовых документов, содержащих формальные признаки наличия интересующей информации.
автореферат, добавлен 02.05.2018