Диалоговый монитор для автоматизации процесса синтеза программ ЭВМ

• Автор: Виноградский, Эрнст Васильевич
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 164 c. : ил

Глава I. Обзор и анализ проблемы автоматизации процесса синтеза программ § 1.1 Актуальность рассматриваемой проблемы
§ 1.2 Обзор и анализ методов и систем автоматизации процесса разработки программ . § 1.3 Обсуждение рассматриваемой проблемы . Выводы по I главе
Глава II Постановка задачи. Описание информационной среды и процесса синтеза программ § 2.1 Постановка задачи
§ 2.2 Описание информационной среды диалогового монитора
§ 2.3 Описание процесса синтеза программ в диалоговом мониторе Выводы по II главе
Глава III Формализованное описание процесса
синтеза программ
§ 3.1 Общее описание формализованной системы X . Описание формализованного языка § 3.2 Описание исходных высказываний формализованной системы
§ 3.3 Формализованное описание процесса синтеза программ . . .
§ 3.4 Непротиворечивость и полнота формализованной системы^ . Вывод секвенций Выводы по III главе

Глава IV Реализация диалогового монитора по формализованному техническому заданию
§ 4.1 Построение алгоритма диалогового монитора по формализованному техническому заданию
§ 4.2 Описание блок-схемы диалогового монитора.
Пример функционирования монитора в инициативном диалоге
§ 4.2.1 Описание блок-схемы диалогового монитора
§ 4.2.2 Пример функционирования монитора в инициативном диалоге
Выводы по ІУ главе
Глава У Оценка эффективности диалогового монитора
§ 5.1 Общий подход к оценке, эффективности методов автоматизации программирования
§ 5.2 Оценка качества программ
§ 5.3 Оценка времени разработки программ
Выводы по У главе
Заключение
Литература
Приложение I. Листинг отдельных процедур диалогового монитора
Приложение 2. Протокол разработки программы расчета точностных характеристик реактивного снаряда
- 4 ~
Большое внимание партией и государством уделяется развитию вычислительной техники и созданию различных вычислительных комплексов. В соответствии с решениями ХХУ съезда КПСС выпуск средств вычислительной техники возрос в 1,8 раза. Постановления ХХУТ съезда партии предусматривают дальнейшее увеличение выпуска вычислительной техники в 1,8-2 раза. Намечено развивать производство универсальных и управляющих вычислительных комплексов, периферийного оборудования, приборов, устройств регистрации и передачи информации для автоматизированных систем управления технологическими процессами и оптимального управления в отраслях народного хозяйства.
Так в стране в 1976 г. функционировало около 800 различных автоматизированных систем управления и систем автоматизации процесса решения прикладных задач. В 1980 г. их число возросло до 1700.
Широкий фронт приложений, связанных с использованием электронно-вычислительных машин (ЭВМ), обусловил целый этап развития работ по автоматизации процесса программирования, в том числе и работ, связанных с созданием языков программирования, удобных для формализации задач и процессов их решений, и методов построения соответствующих языковых процессоров - систем, обеспечивающих выполнение на ЭВМ программ, составленных на этих языках. Была создана и реализована серия языков программирования, ориентированных на отдельные сферы приложений и получивших название процедурно-ориентированных языков. Общей особенностью этих языков является на-

1. Элементы л/ , V , КУ(&) - представляются
набором допустимых элементов, существенных свойств и соответствующих значений через матрицы ЙоМ! , И_/Ы1 , И % II
2. Элементы (ГГ(С) и £20) представляются матрицами Й
и 11^11 .
Таким образом, описаны все составляющие информационной среды монитора на основе формального описания программы и информационных матриц. Унифицированное описание информационных объектов представляет собой описание соответствующих свойств фрагментов и описание схем решений. Такое описание может быть использовано для различных программных реализаций фрагментов. Действия над информационными матрицами сводятся к анализу элементов матриц при нахождении значений левых частей высказываний и записи элементов матриц при формировании истинностного значения правых частей.
§ 2.3. Описание процесса синтеза программ в диалоговом мониторе
Из постановки задачи имеем описание диалогового монитора в виде:
ЪМ = < 6{о , 3? , Ф > (2.3.1)
Целевое состояние 3? достигается через прохождение ряда состояний ... 3' ... $2 • Переход от состояния £>; к состоянию ^ осуществляется применением оператора Целевое состояние описывается последовательностью фрагментов программы.
Общий принцип построения целенаправленного процесса с инициативным диалогом можно сформулировать как шаговый процесс прохождения подцелей (и/~г) и оканчивающийся достижением