Язык FlexT для спецификации бинарных форматов данных

• Автор: Хмельнов, Алексей Евгеньевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Иркутск
• Количество страниц: 133 с. : ил.

А.Е. Язык x для спецификации бинарных форматов данных. Разработан язык спецификации бинарных форматов данных x. Реализован ряд программных систем с использованием интерпретатора языка x программа просмотра файлов различных форматов iVi, е Интернетверсия iVi и дизассемблер разрядных исполняемых файлов i РЕ x. Показана применимость языка x для описания широкого круга бинарных форматов. ВВЕДЕНИЕ. Пример разбор файла в формате . Цели и структура работы. Проблемы обработки данных и способы их решения. Используемые термины. Динамические и статические типы данных. Использование механизма определения типов данных. Основные элементы языка x . Интерфейсы. Детали реализации языка x. Вычисление значений параметров и свойств типа по необходимости. Представление информации о блоках памяти. Обработка типов данных с битовым размещением. Логическая семантика спецификаций форматов. Отображение информации о перемещаемых адресах в шестнадцатеричном дампе. Переход от описания для человека к описанию для машины, которое можно сразу же проверить на настоящих данных, приводит к существенному повышению достоверности информации, и в этом состоит один из наиболее важных результатов применения рассматриваемого языка.


В принципе, при наличии программконвертеров, достаточно реализовать обработку хотя бы одного формата, но при таком подходе усложняется работа пользователя, требуется распространять дополнительную программуконвертер, да и обработку хотя бы одного формата вс равно придтся написать. Существование библиотек для работы с каждым форматом, как правило, не избавляет от переписывания большей части их кода, поскольку каждая из таких библиотек может считывать данные лишь в сво внутреннее представление, которое, как правило, отличается от используемого в разрабатываемой программе. Таким образом, программист вынужден в очередной раз читать описание формата или код библиотеки для работы с ним и, в который уже раз, выписывать операторы открытия файла, проверки его существования, проверки соответствия формату, считывания блока данных из файла и т. При этом он, в сущности, с некоторыми вариациями повторяет ту же работу, которую проделывали до него тысячи его предшественников, не создавая при этом ничего принципиально нового, поскольку вся необходимая информация уже содержалась в описании формата или в исходных текстах библиотеки для работы с ним просто она была представлена в неявном виде записана на естественном языке или разбросана по коду, написанному на определнном языке программирования для определнного способа работы с этими данными. Самым существенным недостатком такого положения является даже не то, что при этом тратится время на повторение уже много раз проделанной работы, но то, что при этом в программу могут быть внесены ошибки, как результат невнимательности или неправильного понимания спецификации.