Создание базы спецификаций форматов данных и их уточнение на основе анализа набора трасс программ
Разработка методов и компонентов модуля среды анализа бинарного кода, осуществляющий автоматизированное восстановление спецификаций формата данных по бинарным трассам программ, с возможностью выгрузки промежуточных результатов в хранилище форматов.
Подобные документы
Анализ методов и технологий Data Mining. Применение искусственных нейронных сетей. Освоение среды Data Miner и разработка моделей анализа данных с применением программ STATISTICA. Анализ результатов применения моделей прогнозирования и анализа данных.
дипломная работа, добавлен 14.12.2019Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
автореферат, добавлен 02.05.2018- 3. Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
диссертация, добавлен 11.06.2018 Двоично-десятичное кодирование. Стандарты кодирования текстов. Разработка алгоритма преобразования форматов двоичных данных, его программной реализации. Распределение памяти и листинг программы. Описание использованных средств вычислительной техники.
контрольная работа, добавлен 16.10.2017Проведение исследования теоремы о NP-полноте задачи деобфускации при добавлении к запутываемой программе дополнительных входных и выходных данных. Разработка алгоритма перевода машинного кода в промежуточное представление на основе частичной эмуляции.
автореферат, добавлен 31.03.2018Анализ предметной области и составление спецификаций при проектировании базы данных. Информационно-логическая модель базы данных "Турфирма". Создание запросов, форм, отчетов и кнопочной формы для базы данных. Типы "Нормальных форм", их характеристика.
курсовая работа, добавлен 10.10.2017Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
автореферат, добавлен 02.05.2018Фактографические и документальные базы данных. Панель инструментов окна базы данных. Использование мастера таблиц. Окно конструктора таблиц. Определение типа данных. Изменение структуры таблицы. Размер и свойства полей. Использование форматов и подписи.
дипломная работа, добавлен 05.12.2010Жизненный цикл программного обеспечения компьютерных систем. Технологическая и эксплуатационная безопасность программ. Доказательства правильности программ и их спецификаций. Анализ безопасности программного обеспечения, целостности программного кода.
книга, добавлен 15.09.2012Обзор пакетов программ, предназначенных для визуализации и анализа данных. Обоснование выбора среды программирования. Алгоритмы визуализации данных аварийного буфера. Описание разработанных программ. Оптимизация восприятия информации с экрана дисплея.
дипломная работа, добавлен 10.11.2010Проектирование и сопровождение баз данных – популярные задачи ИТ-области во всех отраслях бизнеса. Разработка и программная реализация методов получения семантической информации на основе анализа физической схемы базы данных для упрощения работы.
статья, добавлен 20.04.2019Определение функциональных требований и разработка спецификаций к автоматизированной системе. Рассмотрение процесса создания хранимых процедур и триггеров на базах данных, запросов к базе данных. Исследование основ управления привилегиями пользователей.
курсовая работа, добавлен 08.06.2018Описание математических методов кодирования и сжатия звуковой информации. Характеристика различных форматов звуковых данных. Сравнительный анализ различных форматов звуковой информации. Характеристика преимуществ и недостатков формата MPEG Layer III.
дипломная работа, добавлен 26.05.2018Определено факторы, влияющие на интеграцию данных в компании. Разработка сценария создания хранилища данных на конкретном примере. Разработка структуры хранилища данных. Оценка показателей, для анализа которых будет использоваться хранилище данных.
магистерская работа, добавлен 17.07.2020Описание предметной области и постановка задачи. Разработка функциональной, концептуальной, логической и физической модели базы данных. Спецификации программных модулей. Алгоритм и графический интерфейс программ. Диаграмма потоков данных и фрагмент кода.
курсовая работа, добавлен 22.12.2014- 16. Этапы проектирования и жизненный цикл программ. Тестирование и отладка. Документирование программ
Характеристика этапов проектирования, модели жизненного цикла программ. Особенности тестирования и отладки программ, совместное тестирование модулей. Разработка приложения для Windows, представляющего собой модель базы данных по успеваемости студентов.
курсовая работа, добавлен 01.04.2014 Краткая характеристика предметной области для базы данных "Кинотеатр". Основные конструкции для разработки базы данных. Выбор программ и алгоритмы реализации базы данных. Проектирование и разработка таблиц и схемы данных. Администрирование базы данных.
курсовая работа, добавлен 14.11.2016Характеристики компьютерных программ для проведения статистического анализа данных, выявления связей, построения прогнозов. Программные пакеты, реализующие функции анализа, управления, добычи, визуализации данных с привлечением статистических методов.
статья, добавлен 20.02.2019Разработка базы данных справочного характера на основе программного обеспечения Microsoft Access. Создание объектной модели на основе небольшого количества таблиц, среднего количества запросов. Создание отчёта, общий вид формы-интерфейса базы данных.
контрольная работа, добавлен 14.10.2017Базы данных и системы управления базами данных. Режимы работы с ними. Свойства полей базы данных. Объекты базы данных: таблицы, запросы и формы. Разработка технического задания и структуры базы данных. Основные типы данных и безопасность баз данных.
контрольная работа, добавлен 31.01.2011Разработка модели "сущность-связь" базы данных. Определение форматов данных и правил целостности реляционной модели. Создание БД по разработанной реляционной модели программного обеспечения. Рассмотрение особенностей реализация функциональных задач.
контрольная работа, добавлен 11.11.2013Анализ предметной области и выявление необходимого набора сущностей. Построение набора отношений базы данных, таблиц и атрибутов. Разработка и построение интерфейса главной и рабочей форм. Выполнение программного кода в среде Microsoft Visual C#.
курсовая работа, добавлен 15.11.2012Создание приложения для управления положением по вертикали и горизонтали компонента Button 1 с помощью компонентов Scrollbar и TrackBar. Управление цветом символов в компоненте Memo. Разработка комплекса программ по созданию и ведению базы данных.
курсовая работа, добавлен 08.06.2012Ознакомление с корпоративными информационными системами и базами данных. Рассмотрение классификации хранилищ данных (Data Warehouse) в корпорациях. Технология комплексного многомерного анализа информации. Оперативная аналитическая обработка данных.
курсовая работа, добавлен 09.02.2014- 25. Разработка модели информационной системы средствами CASE-технологиями (на примере ночного клуба)
Проектирования информационных систем и баз данных на основе анализа бизнес-процессов. Создание информационной системы по учету шоу-программ ночного клуба. Построение модели бизнес-процесса в нотации IDEF0 и модели базы данных с использованием ERWin.
курсовая работа, добавлен 27.11.2020