Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
Подобные документы
Сравнительный анализ программ офисной автоматизации и программного продукта Project Expert. Возможности компьютерной системы, предназначенной для создания финансовой модели нового или действующего предприятия. Электронный офис на примере Project Expert.
курсовая работа, добавлен 18.07.2012Описание формата подготовки заданий открытой формы тестирования на электронных носителях для автоматизации ввода исходных данных. Программная реализация системы тестирования на основе открытых тестов. Применение Excel для анализа успеваемости студентов.
статья, добавлен 20.01.2018Описание и обоснование выбора процедур процесса конструирования. Требования к составу и содержанию работ по подготовке объекта автоматизации к вводу системы в действие. Тестирование модуля регистрации, авторизации, восстановления и смены пароля.
курсовая работа, добавлен 29.10.2017Разработка методики автоматизации и управления потоками работ в системе дистанционного зондирования Земли на основе технологии Workflow Описание объектной модели ядра управления системой ДЗЗ с применением объектного графического языка моделирования UML.
статья, добавлен 29.04.2018Создание программного обеспечения для автоматизации кредитоспособности лица, на основе модели полученной при машинном обучении. Анализ автоматической оценки надежности клиента и увеличение эффективности работы банка в области кредитования населения.
статья, добавлен 10.08.2018Необходимость автоматизации бизнес-процессов на предприятии. Характеристика информационной архитектуры проекта, построение модели задачи и информационных потоков, структуры полей таблиц базы данных. Расчет экономической эффективности автоматизации.
дипломная работа, добавлен 22.12.2010Программный комплекс QuickTest Professional как один из наиболее популярных программных комплексов для автоматизации тестирования приложений. Знакомство с особенностями разработки методики контроля качества печатных плат на основе автоматического скрипта.
статья, добавлен 28.08.2016Пакет прикладных программ "Модель" - программный комплекс для выполнения всего объема работ по проектированию и эксплуатации современных систем регулирования возбуждения синхронных генераторов. Анализ устойчивости станции в составе энергообъединения.
лекция, добавлен 04.02.2020Разработка теоретических принципов и методов повышения эффективности автоматизации учреждений высшего профессионального образования. Методы автоматизации процессов, доступ к ресурсам вуза, интеграция данных и приложений, единая комплексная модель системы.
автореферат, добавлен 04.02.2018Программный продукт, реализующий алгоритм метода "Наискорейшего спуска" с тестированием на функции Розенброка в среде DELPHI. Разработка интерфейса пользователя и модуля графического отображения поиска решения. Апробация алгоритма на тестовых примерах.
отчет по практике, добавлен 07.08.2013Системы автоматизации медицинского обслуживания. Обзор программ-аналогов, созданных для автоматизации учета вызовов скорой помощи, их характеристика, составляющие, достоинства и недостатки. Модуль учета и обработки обращений людей за медицинской помощью.
лабораторная работа, добавлен 31.01.2014- 37. Метод автоматизированного конструирования процедур обнаружения объектов по их структурному описанию
Приведено описание метода автоматизированного построения процедур обнаружения объектов на изображении. В основе данного метода лежит идея формального преобразования исходной модели объекта. Для выполнения преобразований были введены операции над моделями.
статья, добавлен 07.11.2018 - 38. Автоматизация складской и транспортной логистики собственными силами предприятия в условиях кризиса
Описание методов оптимизации и автоматизации логистических процессов предприятий посредством программ "1С-Логистика: Управление складом и Управление перевозками", AXELOT Logistics. Общий расчет окупаемости проекта автоматизации и источники экономии.
презентация, добавлен 17.08.2014 Рабочая программа дисциплины в системе высшего профессионального образования. Различные системы по автоматизации учебного процесса ВУЗа. Основные причины создания модуля автоматизации генерации электронных учебно-методических комплексов дисциплин.
статья, добавлен 22.03.2018Особенность функционирования цифрового автомата. Отличие цифровых систем от дискретных. Микропроцессоры и узлы микропроцессорных устройств. Режим загрузки и верификации прикладных программ. Проектирование автоматических систем на базе микропроцессоров.
курсовая работа, добавлен 09.12.2015Проблемы конструирования коммуникации в городских пространствах и в интернете. Типологическая схожесть конструирования коммуникационных пространств в интернете и в городских пространствах. Роль неявного знания в формировании коммуникационных пространств.
статья, добавлен 07.04.2019- 42. Тестирование псевдослучайных криптографических генераторов на основе энтропийных статистик Тсаллиса
Исследование применения статистической оценки энтропии Тсаллиса в качестве тестовой статистики для анализа близости выходных последовательностей криптографических генераторов псевдослучайных последовательностей. Метод статистического тестирования.
доклад, добавлен 03.05.2019 Характеристика основных этапов процесса бинарной ректификации в химическом производстве. Анализ видов систем автоматизации ректификационных установок. Анализ возможностей применения программных моделирующих комплексов на стадии проектирования и обучения.
статья, добавлен 29.05.2017Организационная структура объекта автоматизации. Проектирование и разработка программного обеспечения для автоматизации рабочего места администратора автосервиса. Экономическое обоснование разработки. Расчет стоимости разработки программного обеспечения.
курсовая работа, добавлен 06.06.2023Практика применения промышленных программируемых контроллеров, широко применяющихся для автоматизации производства. Исследование языков программирования на основе действующего стандарта МЭК 61131-3, а также многочисленных примеров подготовки программ.
учебное пособие, добавлен 25.11.2013Устройство современного компьютера, а также устройств ввода-вывода графической и текстовой информации, Обзор источников экономической эффективности создания и внедрения новой техники. Определение цены новой техники и экономического эффекта от ее внедрения
реферат, добавлен 11.06.2010Особенности выбора программного продукта и специалистов для его внедрения с целью автоматизации процесса бухгалтерского учета. Расчет бюджета автоматизации бизнес-процесса. Разработка интерфейса программы, оптимально подходящей каждому сотруднику.
статья, добавлен 20.02.2018Автоматизация процедуры систематизации и автоматизации обработки личных данных сотрудников. Создание системы формирования штатного расписания и ведения личных дел сотрудников в автоматизированном режиме посредством выбранного программного комплекса.
курсовая работа, добавлен 13.10.2015Создания высококачественных программ кодирования-декодирования для построения трактов передачи данных на базе микропроцессоров в распределенных вычислительных системах. Разработка и внедрение алгоритмов аппаратной (схемной) реализации кодеков в программу.
статья, добавлен 27.11.2018Ознакомление с результатами сравнительного анализа программ для распознавания текста. Исследование и характеристика особенностей объекта автоматизации и структуры документооборота. Изучение и анализ процесса написания кода программы для автоматизации.
дипломная работа, добавлен 09.09.2016