Введение к работе
Актуальности. тзмы. К настоящему времени накоплен богатый опыт стандартизации языков программирования. Активно разрабатываются языковые стандарты, как для новых, так и для ранее стандартизованных языкоз программирования (ФОРТРАНа, Паскаля, Ады, ХОБОЛа и др.).
Одной из проблем, связанных со стандартизацией языков
программирования, является проблема контроля за соблюдением
требований стандарта з трансляторах и программах. В связи с
повышением "требований к качеству программного обеспечения
ужесточаются и требования стандартов к трансляторам; задача
контроля согласованности трансляторов со стандартами
становится все более зазнсй. На практике эта задача решается
путем знешнего тестирования трансляторов специально
разработанными комплектами тестов. Большинство дефектов
современных трансляторов сзязано с неправильным
диагностированием ошибок в программах. Поэтому создание методик проектирования тестов для проверки этого аспекта трансляторов представляется актуальной.
Комплекты тестов, разработанные для контроля
согласованности, часто используются и при отладке трансляторов. При .этом возникает необходимость разработки дополнительных тестов для более полной проверки того или иного аспекта реализации языка. Проблема пополнения комплекта тестов возникает и . при тестировании расширяющих стандарт реализаций. К последним могут быть отнесены и трансляторы для новых версий старых стандартов, например, ФОРТРАНа 90. Принципы построения известных комплектов тестов не учитывают возможности их последующего развития, поэтому работа по систематическому пополнению такого комплекта сопоставима с созданием нового комплекта тестов. Тем самым актуальной оказывается разработка методики построения комплектов тестов, учитывающей возможность их последующего развития.
Данное диссертационное исследование выполнено в рамках разрабатываемой на кафедре алгоритмических языков факультета ВМиК МГУ темы внешнего тестирования трансляторов.
Целью диссертационного исследования является: разработка и испытание методики проектирования раззизаемых комплектов
тестов для проверки реализации в трансляторах контекстных свойств языков программирования.
Научная новизна. В диссертационной работе впервые предложены:
1. Методика проектирования развиваемых комплектов
тестов, отличающаяся использованием атрибутно-ориентированной
модели языка программирования, ориентированной на нужды
контроля реализации контекстных свойств.t
2. Систематический подход к проверке контекстных свойств
языка в расширенных реализациях стандарта.
На основе результатов диссертационного исследования спроектирован развиваемый комплект тестов для трансляторов ФОРТРАНа-77.
Практнчесхая ценность. Предложенная в диссертации методика позволяет проектировать комплекты тестов на основе эволюционирующих стандартов языков программирования и использовать их для аттестации и отладки существующих и разрабатываемых трансляторов. Созданный при апробации методики комплект тестов пригоден для отладки, испытаний и аттестации трансляторов ФОРТРАНа-77.
Апробация. Содержание и основные результаты диссертационной работы докладывались на Всесоюзной конференции по методам трансляции и конструирования программ (Новосибирск, 1988),заседаниях рабочих групп по проблемам расширяемых средств программирования и методам оценки трансляторов (Фрунзе, 1989; Владивосток, 1990), на научно-исследовательском семинаре по автоматизации программирования (Москва, 1992), на заседании кафедры алгоритмических языков факультета ВМиК МГУ (Москва, 1992). Методика проектирования тестов была использована при тестировании параллельных расширений ФОРТРАНа-77 в трансляторе ФОРТРАНа для ЭВМ ПС-3000 в ИПУ АН СССР.
Публикации. Результаты диссертации опубликованы ': в печатных работах [1,2].
Структура и объем диссертации. Диссертация состоит из четырех глав, заключения, списка литературы и приложения. Объем диссертации 96 страниц.
