Разработка методов контроля и диагностики синтаксически защищенных информационных и управляющих структур в системах управления

• Автор: Хорев, Павел Борисович
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 242 c. : ил

СОДЕРЖАНИЕ
Введение

1. Формальные языки и их надежностные модели

1.1. Структура формальных языков. Управляющие и информационные структуры

1.2. Модели ошибок в текстах на формальных языках

1.3. Обобщенная метрика ошибок в текстах на формальных языках

1.4. Принципы количественной оценки помехозащищенности формальных языков Выводы по первой главе

2. Методы синтаксической защиты информационных

структур

2.1. Самоконтролируициеся шифры в структурах ввода исходных данных

2.2. Контекстнозависимые методы исправления ошибок в самоконтролирущихся шифрах

2.3. Синтаксическая защита идентификаторов в структурах данных языков программирования
2.4. Использование помехоустойчивого кодирования для контроля и коррекции ошибок В структурах хранения данных
Выводы по второй главе
3. Синтаксическая защита и анализ помехозащищенности управляющих структур императивных языков
з
3.1. Синтаксическая защита ключевых слов императивных языков
3.2. Исправление синтаксических ошибок в текстах на языках управления
3.3. Синтаксическая защита управляющих структур языков программирования
3.4. Методика анализа помехозащищенности управляющих структур языка на основе обобщенной метрики ошибок
Выводы по третьей главе . 1Ъв
4. Практические приложения методов контроля и диагностики синтаксически защищенных структур в
системах управления
4.1. Программные методы контроля ошибок в системе АСФОРМЭй
4.2. Анализ помехозащищенности языков управления заданиями в системах А0Ф0РМЗЙ и
ЭКСПРЕСС
4.3. Программная система защиты архивных наборов данных на ВД
4.4. Методика помехоустойчивого кодирования информации в высоконадежных системах накопителей на МД
4.5. Методы контроля управляющих структур алгоритмов в структурном подмножестве ПЛ1
Выводы по четвертой главе
Заключение
4
Список литературы


V п = Уп~* V (произведением АВ множеств цепочек А и В называют множество С цепочек, являющихся конкатенацией цепочек изАиВ, т. У + = V Уп . Л- ] (1. Vы - начальный символ построения. Можно провести некоторую аналогию между объектами формальных грамматик и понятиями грамматик ЕЯ: так, нетерминальным символам соответствуют грамматические классы (существительное, глагол и т. ЕЯ, начальному символу $ - грамматический класс "предложение". Основным отличием между естественными и формальными языками является то, что естественные языки являются неперечислимыми, т. ЕЯ. Формальные языки, напротив, являются перечислимыми (рекурсивно-перечислимыми): существует процедура, генерирующая все возможные цепочки ФЯ. К рекурсивно-перечислимым ФЯ относятся и так называемые императивные языки: языки команд (языки управления) и языки программирования. Синтаксис этих языков обычно может быть задан в виде контекстно-свободных грамматик или нормальных форм Бэкуса-Наура (ШФ). Таким образом, можно продложить иерархическую классификацию языков с учетом свойства перечислимости (см. Рассмотрим теперь более подробно императивные языки, которым будет уделено наибольшее внимание в данной работе. Как уже отмечалось эта разновидность формальных языков включает в себя языки управления и языки программирования. Языки управления объединяют такие виды формальных языков, как языки управления заданиями операционных систем современных ЭВМ, языки манипулирования данными систем управления базами данных, командные языки различных автоматизированных систем обработки данных и пакетов прикладных программ и др. Критерием отнесения языка к группе языков управления или языков программирования обычно может служить его разрешимость. Язык является разрешимым, если для любого его синтаксически правильного предложения можно определить (алгоритмически) является ли оно осмысленным. Рис. I.I. Хотя языки управления, как правило, проще, чем языки программирования, вопросы обеспечения корректности текстов, составленных на языках управления, являются не менее существенными, чем проблема корректности программ. Это объясняется тем, что, являясь инструментом для "общения" человека с программной системой зачастую весьма большой сложности, языки управления весьма восприимчивы к его ошибкам. Ошибки же в текстах на языках управления, даже будучи своевременно обнаруженными, приводят к необходимости повторного ввода текстов (после исправления ошибок) в вычислительную систему, что отрицательно влияет на эффективность ее использования. Помимо разного уровня сложности языки программирования и языки управления различаются еще и тем, что первые являются, как правило, проблемно-ориентированными (за исключением машинно-ориентированных языков), а вторые - системно-ориентированными. Но во многих случаях языки управления и языки программирования можно рассматривать совместно. В данной работе мы будем часто пользоваться понятием иерархического уровня представления формального языка. Каждый такой уровень может рассматриваться независимо от других в виде композиции некоторых типов элементов языка, состав которых и правила их композиции специфичны для каждого иерархического уровня. Выделим три таких уровня (рис. Верхний уровень иерархии (уровень текста). Составными элементами языка для данного уровня являются предложения (операторы, команды, директивы) формального языка, а также включаемые в текст наборы данных (тексты программ, наборы исходных данных) , которые преобразуются заданным в этих предложениях образом. Правила композиции элементов определяются для каждого конкретного языка. Средний уровень иерархии (уровень предложения). Элементами языка для данного уровня являются поля (реквизиты) предложения, используемые для задания типа предложения, значений операндов и т. Правилами композиции для полей являются последовательное соединение и условное включение (альтернатива). Нижний уровень иерархии (уровень поля предложения). Этот уровень имеет смысл не для всех типов предложений формального языка. Элементами языка для данного уровня являются атомы (неразложимые структурные единицы), составляющие поля предложения.