Введение к работе
Актуальность проблемы. Для современного этапа развития информатики характерно расширение таких областей применения цифровых ма-iiaiH. в которых компьютерная система должна работать непрерывно в течение длительного срока. К их числу, в частности, относятся диалоговые системы, рассчитанные на массового пользователя, и системы управления, рассчитанные на длительное функционирование без вмешательства человека. Характерная особенность этих применений состоит в том, что их программное оснащение должно надежно функционировать даже в условиях чрезвычайных обстоятельств (нештатных ситуаций), возникающих в результате ошибок пользователя или по причине нарушений в работе аппаратных средств. Учет всевозможных ситуаций, которые могут возникнуть в процессе работы программного комплекса, в том числе и тех. которые не должны возникать при его нормальном (штатном) функционировании, приводит к значительному усложнению программной разработки.
Традиционные способы обработки нештатных ситуаций с использованием обычных средств языка программирования не позволяют обуздать возрастающую сложность программной разработки и плохо отвечают требованиям надежности и эффективности разрабатываемых программ. Проблеме снижения трудоемкости разработки программ, учитывающих возникновение нештатных ситуаций при их функционировании, и посвящена диссертационная работа.
Цель диссертационного исследования. Основными целями работы явились: анализ методов разработки программ с учетом обработки нештатных ситуаций; исследование путей внедрения в языки программирования специального управляющего механизма - механизма исключительных ситуаций, позволяющего снизить трудоемкость разработки программ, учитывающих возникновение нештатных ситуаций; разработка такого механизма для ДССП - диалоговой системы структурированного программирования; разработка механизма исключительных ситуаций для языка ТурбоПаскаль, широко используемого в учебном процессе.
Научная новизна. В диссертации предложен общедоступный путь расширения языка высокого уровня средствами обработки исключительных ситуаций, основанный на подключении таких средств к программе в форме раздельно компилируемого модуля: разработан механизм ситуаций для стекового процессора, выполняющего функции интерпретатора программ, представленных в процедурном коде; а также предложен
- 4 -оригинальный способ обеспечения гибкого механизма прерывания для интерпретатора процедурного кода, позволяющий по прерыванию выполнять любую команду, в том числе команду возбуждения ситуации;
Практическая ценность. В результате диссертационной работы создан механизм ситуаций для ДССП - Диалоговой системы структурированного программирования, разработанной в проблемной лаборатории ЭВМ факультета ВМК МТУ; а также реализован модуль, обеспечивающий средства обработки исключительных ситуаций для языка программирования ТурбоПаскаль.
Апробация работы. Результаты исследований и разработок, представленных в работе, обсуждались на научных семинарах кафедры АСВК и проблемной лаборатории ЭВМ МГУ, докладьшались на конференциях молодых ученых факультета ВМК МГУ и Обнинского института атомной энергетики.
Объем диссертации. Диссертационная работа состоит из введения, четырех глав, заключения и приложений. Основной текст диссертации (без приложений) занимает 106 машинописных страниц. Список литературы содержит 120 наименований.