Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Анализ методов и средств автоматизации конструирования тестовых программ для микропроцессоров на основе формальных спецификаций. Язык описания шаблонов тестовых программ и архитектура расширяемого генератора для интеграции разных техник генерации.
Подобные документы
Рассмотрение программ, с помощью которых моделируются структурированные кабельные системы, описание возможностей программ. Использование при проектировании систем ранее выполненной технической документации, хранящейся в электронном растровом формате.
статья, добавлен 25.10.2024Описание программы для автоматизации контроля стиля учебных программ на языке Паскаль. Использование мнемонических идентификаторов, абзацных отступов, комментариев, именованных констант для повышения читабельности программы. Реализация StyleChecker.
статья, добавлен 26.04.2019Характеристика процесса создания многопроцессорных вычислительных систем. Анализ использования модели передачи данных для разработки параллельных программ. Двойной интеграл в декартовых координатах. Формат функций, сообщения MPI. Оболочка. Коммуникаторы.
курсовая работа, добавлен 04.04.2016Анализ истории возникновения компьютерных вирусов. Характеристика файловых, загрузочных и полиморфных вирусов. Основные пути проникновения вирусов в компьютер и механизм распределения вирусных программ. Проведение исследования антивирусных программ.
курсовая работа, добавлен 01.05.2020Анализ понятия "программное изделие", особенности разработки программ и программных комплексов. Перечень основных требований, предъявляемых к качеству программного изделия. Достоинства и недостатки восходящего и нисходящего проектирования программ.
эссе, добавлен 18.03.2014Пакет прикладных программ "Модель" - программный комплекс для выполнения всего объема работ по проектированию и эксплуатации современных систем регулирования возбуждения синхронных генераторов. Анализ устойчивости станции в составе энергообъединения.
лекция, добавлен 04.02.2020Основные методы защиты компьютерных данных, которые подразумевают защиту от потери самой информации, операционной системы, программного обеспечения или документа. Реализация алгоритма защиты от вредоносных программ на основе контроля доступа к файлам.
статья, добавлен 29.03.2019Рассмотрение назначения текстовых редакторов и их классификации. Изучение интерфейса программы Microsoft Word. Описание ее основных функций и специальных возможностей, особенностей работы в текстовом и графическом режимах, средств автоматизации операций.
реферат, добавлен 02.12.2016Разработка графического пользовательского интерфейса. Определение сущности формальных методов в программировании. Рассмотрение математических нотаций и рассуждений. Применение формальных методов для описания графического пользовательского интерфейса.
статья, добавлен 15.08.2020Исследование современных методов и алгоритмов автоматизации процесса строительства. Установка и настройка программного пакета для обучения модели. Разработка набора данных с изображениями для обучения при помощи дополнительных ресурсов и программ.
статья, добавлен 23.12.2024Характеристика программных продуктов для проектирования образовательных программ. Исследование программного продукта для работы с профессиональными стандартами. Оценка эффективности системы, алгоритмов и модуля проектирования образовательных программ.
статья, добавлен 17.02.2019Связь эволюции операционных систем с развитием вычислительных машин. Программирование и отладка программ. Использование полупроводников. Разработка интегральных микросхем. Операционные системы MS-DOS, работающие на базе микропроцессоров Intel, и UNIX.
доклад, добавлен 06.12.2021Проведение анализа внедрения автоматизированных систем документооборота в организации и выявление его преимуществ над обычным бумажным движением документов. Описание и классификация программ по автоматизации делопроизводства на основе web-технологий.
курсовая работа, добавлен 15.02.2011Описание подхода к построению и расширению лингвистических ресурсов (словари и тезаурусы) при помощи краудсорсинга на основе выполнения микрозадач. Презентация программ, спроектированных на основе трёхзвенной архитектуры, для использования в этой области.
статья, добавлен 03.04.2018Автоматизация процедуры систематизации и автоматизации обработки личных данных сотрудников. Создание системы формирования штатного расписания и ведения личных дел сотрудников в автоматизированном режиме посредством выбранного программного комплекса.
курсовая работа, добавлен 13.10.2015Исследование значения и необходимости безопасности компьютера. Определение антивирусных программ, которые защищают от вирусов и вредоносных программ. Ознакомление с основными функциями антивирусов. Рассмотрение примеров некоторых антивирусных программ.
реферат, добавлен 15.05.2021Анализ аналогов программ для моделирования транспортных потоков. Анализ программ с помощью иерархической аналитической процедуры Саати. Правила заполнения матрицы парных сравнений. Весовые коэффициенты критериев качества. Расчет индекса согласованности.
статья, добавлен 15.07.2018Разработка и применение компьютерных технологий в обучении. Обзор средств разработки обучающих программ и программ проверки знаний. Основы создания компьютерных тестов. Пакет программ SunRav. Средства реализации модуля. Структура электронного учебника.
дипломная работа, добавлен 13.05.2009Место роботов и роботизированных программ на рынке современных технологий автоматизации процессов. Критерии выбора решения для автоматизации банковского процесса. Предпосылки и направления автоматизации процесса исполнения банковских налоговых документов.
дипломная работа, добавлен 10.12.2019- 95. Автоматизация учета движения кадров на складах бытовой химии г. Москвы ППП "Кадры". Текст программ
Разработка решения задачи "Двигай". Оптимизация расположения документации и средств управления на экране. Вид формы в режиме DesignTime и RunTime. Описание элементов управления на языке VB6. Изображение информации графически. Тексты основных программ.
реферат, добавлен 04.04.2013 Состояние автоматизации учёта движения товарно-материальных ценностей. Перспективы развития автоматизированных программ бухучета. Программы автоматического бухгалтерского учета. Внедрение современных средств автоматизации и анализа материальных запасов.
контрольная работа, добавлен 20.08.2012Структура и способы представления многомерных матриц. Основные операции над многомерными матрицами. Решение линейных многомерно-матричных уравнений на основе псевдообращения многомерной матрицы. Критерий согласия законов распределения А.Н. Колмогорова.
курсовая работа, добавлен 15.01.2018- 98. Этапы проектирования и жизненный цикл программ. Тестирование и отладка. Документирование программ
Характеристика этапов проектирования, модели жизненного цикла программ. Особенности тестирования и отладки программ, совместное тестирование модулей. Разработка приложения для Windows, представляющего собой модель базы данных по успеваемости студентов.
курсовая работа, добавлен 01.04.2014 Анализ возможности повышения эффективности обнаружения вредоносных программ в операционных системах для мобильных устройств на примере операционной системы Android. Особенности разработки методики на основе машины опорных векторов и нечеткой логики.
статья, добавлен 06.05.2018Разновидности компьютерных программ или вредоносного кода, отличительной особенностью которых является способность к размножению (саморепликация). Троянские программы и утилиты скрытого администрирования. Описание и преимущества антивирусных программ.
реферат, добавлен 16.03.2015