Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем

• Автор: Кузнецов, Александр Сергеевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Красноярск
• Количество страниц: 136 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.

1. ПРОБЛЕМЫ СОЗДАНИЯ НАДЕЖНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

1.1 Проблемы, возникающие при проектировании надежных программных систем

1.2 Обнаружение ошибок.

1.3 Проблемы проектирования программных систем.

1.4 Методология мультиверсионного программирования как средство повышения надежности программного обеспечения.
1.5 Критические замечания по современному состоянию методологии мультиверсионного программирования

1.6 Выводы по первой главе.

2. СОЗДАНИЕ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ПРИМЕНЕНИЕМ МУЛЬТИСИНТАКСИЧЕСКИХ ЯЗЫКОВ И ТЕХНОЛОГИЙ

2.1 Неформальное определение мультисинтаксического языка.

2.2 Обзор современных мультисинтаксических средств.
2.2.1. Использование ассемблерных вставок при программировании на языках высокого уровня.
2.2.2. Скриптовые языки для создания динамических страниц.
2.2.3. Встраивание языков запросов к базам данных в языки программирования.
2.2.4. Концепция i ii
2.2.5. Синтаксис включений в программы на одном языке кода на другом языке
2.3 Формальное описание мультисинтаксического языка
2.4 Выводы по второй главе.
3. МОДЕЛИРОВАНИЕ РАСПОЗНАВАТЕЛЕЙ
МУЛЬТИСИНТАКСИЧЕСКИХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ.
3.1 Мультиавтоматы с магазинной памятью как средство распознавания мультисинтаксических языков.
3.2 Формирование таблиц синтаксического анализа мультисинтаксических языков программирования.
3.3 Лексический анализ мультисинтаксических языков программирования
3.4 Семантический анализ мультисинтаксических языков программирования и этап синтеза компилятора МСЯ.
3.5 Выводы по третьей главе
4. АВТОМАТИЗАЦИЯ РАЗРАБОТКИ ТРАНСЛЯТОРОВ МУЛЬТИСИНТАКСИЧЕСКИХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ МУЛЬТИВЕРСИОННЫХ ПРОГРАММНЫХ СИСТЕМ
4.1 Система построения трансляторов мультисинтаксических языков программирования мультиверсионных систем
4.2 Входная спецификация системы
4.3 Применение трансляторов МСЯ при разработке мультиверсионного ПО .
4.3.1. Проект I компилятор языка С, обеспечивающий вставки ассемблерного кода.
4.3.2. Проект компилятор языка С, обеспечивающий включение кода на языках запросов к СУБД.
4.3.3. Использование трансляторов и I для разработки мультиверсионного ПО.
4.4 Выводы по четвертой главе
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ


Методы исследования. Значение для теории. Результаты, полученные при выполнении диссертационной работы, имеют существенное значение для развития подходов, используемых для создания новых технологий разработки мультиверсионных программных систем. На основе внедрения современных методов и алгоритмов обеспечивается повышение эффективности процесса проектирования мультиверсионного программного обеспечения. Значение для практики. Разработанная методика автоматизированною построения трансляторов мультисинтаксических языков программирования мультиверсионных программных систем позволяет снизить негативный эффект от взаимного влияния мультиверсионных модулей и повысить качество их кода за счет применения автоматизированных средств. Это, в свою очередь, уменьшит степень зависимости сбоев, ошибок отказов отдельных модулей программных систем. ИУС. Достоверность полученных результатов подтверждается тестированием и оценкой результатов применения разработанной системы в исследовательских прототипах, а также согласованностью расчетных и экспериментальных данных. Апробация работы. Основные положения и результаты работы докладывались и обсуждались на X и XII Международных научных конференциях «Решегневские чтения» в и гг. Второй, Третьей и Пятой Всероссийских конференций «Молодежь и наука: начало -го века» в , и гг. Докладывались на научно-технических семинарах кафедры информатики Сибирского федерального университета, НИИ Систем управления, волновых процессов и технологий (- гг. При использовании созданной автором системы построения трансляторов мультисинтаксических языков программирования мультиверсионных систем были реализованы два компилятора для диалектов языка программирования С с возможностью включения кода на других языках, которые были внедрены в эксплуатацию, соответственно, в ОАО «Информационные спутниковые системы» имени академика М. Ф. Решетнева (г. Железногорск) и Центре разработки программного обеспечения компании «Астрософт» (г. Красноярск). Материалы диссертационной работы также внедрены в учебный процесс и используются при чтении лекций студентам кафедры «Информатика» Сибирского федерального университета по дисциплине «Теория языков программирования и методы трансляции». Формальное описание синтаксиса мультисинтаксических языков программирования мультиверсионных систем на основе контекстно-свободных грамматик. ЬАЫ1(1). Система построения трансляторов мультисинтаксических языков программирования для проектирования и реализации мультиверсиоиного программного обеспечения. Публикации. По материалам диссертации опубликовано 8 печатных работ, из них: статей в рецензируемых изданиях по списку ВАК - 4; статей в сборниках научных работ — 4. Осуществлена регистрация программной разработки в Отраслевом фонде алгоритмов и программ. Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, списка литературы и четырех приложений. Работа содержит 0 страниц текста, рисунков и 3 таблицы. Список литературы содержит 8 наименований. Данная глава посвящена описанию проблем, которые неизбежно возникают при разработке профаммных систем с точки зрения повышения их надежности. Об этом говорится в разделе 1. Частным случаем программных систем являются распределенные приложения. В разделе 1. В качестве одного из средств повышения надежности профаммного обеспечения предлагается мультиверсионная методология его разработки. Общие моменты данной методологии рассмотрены в разделе 1. Как и у любого явления или процесса, она не лишена некоторых недостатков. Критике работ разных авторов по данной тематике посвящен раздел 1. В качестве одного из решений проблем, возникающих при разработке мультиверсионного ПО предлагается использование мультисинтаксических языков и технологий. Современные профаммные системы строятся для универсальных или специализированных ЭВМ, при этом их (систем) сложность определяется в первую очередь сложностью решаемых ими задач. Рассмотрим коротко особенности профаммных средств как сложных профаммных систем [, ].