Проектирование и оценка качества программ на основе структурно-графических представлений

• Автор: Демин, Антон Юрьевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 1998
• Место защиты: Томск
• Количество страниц: 158 с. : ил.

1.1. Проблемы и особенности автоматизации проектирования ПО

1.1.1. Необходимость представления алгоритмов в виде программ

1.1.2. Система языков программирования.

1.1.3. Подходы при автоматизации проектирования ПО.

1.2. Формальные способы представления алгоритмов.

1.2.1. Исследование алгоршмов с помошью вычислимых функций и конечных автоматов

1.2.2. Динамические модели программ

1.2.3. Модели представления структуры ПО.

1.3. Распараллеливание алгоритмов

1.3.1. Методы статического распараллеливания.

1.3.2. Теоретикографовый подход к распараллеливанию последовательных

алгоритмов.
1.3.3. Распараллеливание программ методом последовательного углубления.
1.3.4. Методы распараллеливания циклических структур.
1.3.5. Распараллеливание операций линейного участка
1.3.6. Методы распараллеливания внутри линейных участков.
1.3.7. Оптимальное распараллеливание алгоритмов
1.3.8. Анализ методик распараллеливания алгоритмов.
1.4. Задачи исследования.
1.5. Основные выводы по главе
ГЛАВА 2. ПРЕДСТАВЛЕНИЕ ПО В СТРУКТУРНОГРАФИЧЕСКОЙ
ФОРМЕ
2.1. Анализ ПО и представление в форме деревьев
2.1.1. Структура программы и необходимость представления ее в иерархической
2.1.2. Анализ данных и их представление деревом даюшх
2.1.3. Метод анализа структуры подпрограмм.
2.1.4 Анализ структуры операторов .
2.1.5. Анализ структуры Паскальмодупсй
2.1.6. Анализ структуры классов
2.2. Отображение деревьев
2.2.1. Динамически строящееся дерево.
2.2.2. Представление деревом схемы Паскальмодулей.
2 2.3. Методика работы с множеством взаимосвязанных деревьев.
2.3. Декомпозиция программы
2.4. Граф управляющих связей
з
2.4.1. Построение схемы управляющих связей
2.5. Граф потока данных
2.6. Основные выводы по главе.
ГЛАВА 3. ОЦЕНКА ОСНОВНЫХ СВОЙСТВ ПРОГРАММ НА ОСНОВЕ
СТРУКТУРНОГРАФИЧЕСКИХ ПРЕДСТАВЛЕНИЙ
3.1. Оценка основных структурных свойств ПО
3.1.1. Система основных структурных свойств ПО.
3.1.2 Свойства понимаемости и сопровождаемости.
3.1.3. Определение характеристик по древовидной схеме программы
3.1.4. Оценка сложности логической структуры ПО
3.1.5. Информационная сложность ПО.
3.2. Распараллеливание программ на основе структурнографического представления.
3.2.1. Модель параллельной программы
3.2.2. Автоматическое распараллеливание программ
3.2.3. Оценка распараллеливаемое программы
3.2.4 Распараллеливание ПО при заданном количестве процессоров
3.3. Основные выводы по главе.
ГЛАВА 4. ПРОЕКТИРОВАНИЕ ПРОГРАММ НА ОСНОВЕ СТРУКТУРНОГРАФИЧЕСКИХ ПРЕДСТАВЛЕНИЙ
4.1. Проектирование по блоксхеме.
4.2. Проектирование в соответствии с концепцией ООП.
4 Создание структуры классов
4.2.2 Задание свойств элементам дерева классов .
4 2.3. Генерация текста программы .
4 2 4 Проектирование многомодульных объектноориентированных
программ.
4 2.5 Общая схема проектирования обьсктноориснтированных программ. 1 4.2.6 Проектирование ПО для распределенных СРВ на основе ГТ1Д
4.3. Инструментальные средства.
4.3.1 Томограф Паскальпрограмм
4.3.2 ИС проектирования ПО.
4.3.3. ИС создания модели 0 на основе ГПД
4.4. Основные выводы по главе
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


Генерация текста программы . Общая схема проектирования обьсктноориснтированных программ. Инструментальные средства. ИС проектирования ПО. ПРИЛОЖЕНИЕ. Как известно, если алгоритм сделать объектом формального рассмотрения, т. Вопервых, формальный способ записи алгоритма подразумевает, что конкретный алгоритм задастся как представитель огромного класса всех алгоритмов. Вовторых, запись формальным способом даст возможность изучать алгоритмы как математические объекты. Если алгоритмы предназначены для выполнения на ЭВМ, которые, получив формальное описание алгоритма, автоматически получают результат, то такой способ формахьного описания называется языком программирования, а само формальное описание алгоритма программой Из вышесказанного следует, что изучать свойства алгоритмов необходимо с помощью выяснения основных характеристик его формального описания программы. Исторически сложилось, что программы, создаваемые с помощью языков программирования, формируются на базе элементарных языковых компонентов символов, слов, словосочетаний, предложений операторов. Такое представление программ обладает рядом недостатков вопервых, является неудобным с точки зрения машинной обработки, вовторых, текстовое задание алгоритма не обеспечивает должного уровня понимаемости проектируемого ПО 2. Поэтому либо процесс анализа 0 должен быть предварен переводом ПО в более удобное промежуточное представление, либо проектирование программ должно вестись уже в необходимом представлении. Рис 1. Система языков программирования. Рис 1.