Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
Подобные документы
Произведение расчета математической модели регулирования температуры смеси. Программный логический контроллер Овен СПК-207 позволяющий дальнейшую модернизацию оборудования, вплоть до изменения технологических программ или расширения средств автоматизации.
статья, добавлен 21.02.2018Разработка приложений в Office 97/2000, отличие редакций Professional и Developer. Структура и программный код комплексной программы автоматизации бухгалтерии. Оценка эффективности программных средств и требования безопасности при работе на ПЭВМ.
дипломная работа, добавлен 08.03.2012Изучение необходимости автоматизации бюджетирования в экономической деятельности предприятий. Программные продукты, применяемые для автоматизации бюджетирования. Особенности перехода от традиционного планирования к автоматизации бюджетных процессов.
статья, добавлен 25.07.2018Анализ процессов, доступных для автоматизации в транспортно-логистической компании для осуществления перемещения необходимого количества товара оптимальным маршрутом. Характеристика программного обеспечения. Обзор возможных программ по автоматизации.
курсовая работа, добавлен 05.11.2014Анализ проблемы оптимальной стабилизирующей фильтрации для класса объектов управления с полюсами на мнимой оси. Алгоритм конструирования функционала, решающего задачу воспроизведения задающего воздействия и придающего системе свойство устойчивости.
дипломная работа, добавлен 06.07.2016Рассмотрение разработки программного обеспечения для автоматизации процесса расчета стоимости проектно-сметной документации. Использование формата АРПС 1.10 разработчиками сметных программ. Рассмотрение возможностей современных сметных программ.
статья, добавлен 24.07.2018Виды автоматизации, сведения о сельскохозяйственных технологических процессах. Особенности автоматизации сельскохозяйственного производства. Признаки классификации объектов автоматизации. Документация проекта автоматизации технологических процессов.
презентация, добавлен 16.04.2018Определение понятия и особенностей Интернет-маркетинга. Описание программ для прогнозирования рядов данных, автоматизации учета, организации планирования. Рассмотрение основных функций, возможностей, области применения, достоинств данных программ.
курсовая работа, добавлен 22.07.2014Проблемы взаимодействия подразделений крупной корпорации и особенности автоматизации бизнес-процессов. Пример разработанного алгоритма загрузки документа. Рассмотрение процесса внедрения программного средства автоматизации в обработку документов.
статья, добавлен 25.05.2017Планирование работы по монтажу, наладке и техническому обслуживанию систем и средств автоматизации на основе организационно-распорядительных документов и требований технической документации. Выбор марки (или модели) средств автоматизации пневмопочты.
курсовая работа, добавлен 29.04.2024- 86. Автоматизация контроля обучения студентов тестированию учебных программ методами "чёрного ящика"
Постановка задачи автоматизации контроля обучения тестированию учебных программ методами "черного ящика". Построение формального представления текста задачи. Анализ предложенных критериев на полноту и избыточность. Реализация системы BlackBoxChecker.
статья, добавлен 26.04.2019 Понятие и цель автоматизации тестирования программного обеспечения. Преимущества и возможные недостатки автоматизированного тестирования. Разработка и обоснование проекта автоматизации нового функционала для выполнения регрессионной кампании тестов.
курсовая работа, добавлен 22.01.2016Анализ способов хранения и передачи контрольно-измерительных материалов. Проектирование и разработка редактора тестовых заданий. Предназначение и сущность системы дистанционного тестирования. Описание архитектуры студии компетентностных деловых игр.
дипломная работа, добавлен 01.10.2016Проблемы управления потоками документов при переходе предприятия на новые компьютерные технологии проектирования, конструирования и подготовки производства. Внедрение автоматизированной системы и типовые требования к СЭД. Жизненный цикл документа.
курсовая работа, добавлен 22.02.2011Комплекс компьютерных программ "Автоматизация проведения контрольно-проверочных и итоговых занятий по определению уровня профессиональной подготовленности сотрудников ОВД" - АСК "Контроль", разработанный на Delphe. Практика применения тестовых баз.
статья, добавлен 26.05.2017Понятие триангуляции Делоне и ее связь с диаграммами Вороного. Алгоритм Форчуна и особенности его проектирования. Проектирование системы классов и модели данных. Интерфейс для включения в программный комплекс по автоматизации поиска способа модуляции.
дипломная работа, добавлен 07.08.2018Возможности и направления автоматизации программ управления благополучием сотрудников на базе информационных систем управления. Перспективные функциональные требования к информационным системам управления талантами, позволяющие расширить их возможности.
статья, добавлен 09.04.2022Формирование выборок для решения задачи автоматизации диагностики хронического обструктивного бронхита. Разработка программного обеспечения, реализующее предложенные показатели, проведение экспериментов по исследованию их свойств. Качество нейромодели.
статья, добавлен 27.07.2016Общая схема эволюционной стратегии (ЭС). Способы построения метамоделей, их интеграция в эволюционные алгоритмы. Изучение трех стандартных тестовых функций для выявления преимуществ алгоритма ЭС на основе нейросетевых метамоделей в сравнении с другими ЭС.
статья, добавлен 18.01.2018Пакет программ автоматизации чертежных работ AutoCAD 2000 как мощное средство для черчения. Краткая характеристика инструмента проектирования. Основная концепция построения чертежа, вывод на печать. Прикладная система автоматизации чертежных работ (АЧР).
контрольная работа, добавлен 27.11.2009Изучение и анализ вопросов связанных с автоматизацией учета готовой продукции в сельскохозяйственных предприятиях на основе информационных технологий. Ведение бухгалтерского учета, компьютерная обработка данных. Разработка пакетов прикладных программ.
курсовая работа, добавлен 07.04.2014Изучение требований к составу и содержанию работ по подготовке объекта автоматизации к вводу системы в действие. Рассмотрение схемы взаимодействия программ и программных модулей. Анализ работоспособности датчиков, сенсоров, мониторов системы "Умный дом".
курсовая работа, добавлен 16.02.2021Обзор и анализ информационных систем, предназначенных для автоматизации документооборота. Основные виды систем электронного документооборота. Рейтинг по востребованности и популярности на отечественном рынке средств автоматизации документооборота.
статья, добавлен 16.02.2019Цели и способы автоматизации компании. Ограничения, которые необходимо учитывать при выборе стратегии автоматизации. Этапы внедрения ИС. "1С: Комплексная автоматизация 8". "1С: Предприятие 8. Управление торговлей и взаимоотношениями с клиентами (CRM)".
контрольная работа, добавлен 19.01.2011Обзор существующего программного обеспечения для улучшения автоматизации склада в предприятие ателье. Разработка автоматизированного продукта для ателье с использованием 1С Предприятие. Интерфейс и структура информационной системы 1С Предприятие.
курсовая работа, добавлен 02.06.2022