Введение к работе
Актуальность темы. К настоящему времени накоплен богатый опыт стандартизации языков программирования (ЯП). Разработаны и активно применяются стандарты большинства промышленных языков программирования. Создаются метастандарты языковых стандартов.
Одна из основных проблем стандартизации ЯП - проблема контроля стандартов. В особенности это верно для языковых процессоров. Практически все существенные требования, касающиеся их поведения, алгоритмически неразрешимы. Важнейший аспект контроля конформности (т.е. согласованности транслятора со стандартом ЯП) - выбор адекватного метода ее проверки, а также создание инструментария для применения этого метода.
Широкое распространение получают стандарты ЯП с развитым статическим компонентом (или иначе, набором статически проверяемых ограничений). Многие дефекты современных трансляторов для таких языков связаны с неправильным диагностированием ошибок в программах. Как показывает практика контроля языковых стандартов, тестированию диагностики трансляторов не уделяется должного внимания. Однако ущерб от отсутствия диагностики того или иного нарушения стандарта может оказаться катастрофическим. Особенно это верно для больших программных комплексов, к которым предъявляется требование повышенной надежности.
Существовавшую к началу работы ситуацию можно охарактеризовать следующим образом:
документы Международной организации стандартизации (ISO) для создания методов и средств контроля конформности трансляторов оказались непригодными для практического применения;
методы и средства контроля конформности трансляторов, разработанные в рамках методики ВТТ (внешнего тестирования трансляторов), обладая несомненными достоинствами, не решали ряда проблем, связанных с созданием и использованием полных комплектов тестов;
возникла практическая необходимость в создании и обслуживании таких комплектов тестов;
стала обычной практика пересмотра действующих языкоеых стандартов.
В этих условиях многократно возросла потребность в концепции тестирования диагностик!! трансляторов стандартизованных ЯП,
которая расставила бы приоритеты, определила бы последовательность действий и критерии тестирования диагностики, предлагала бы решение проблемы опережающего создания средств контроля конформности (диагностики) для пересматриваемого стандарта.
Научная новизна. В диссертации впервые предложены:
-
Концепция тестирования диагностики трансляторов для языков программирования с развитым статическим компонентом, основанная на применении метода частично-формализованных моделей и формализованных критериев полноты тестирования (на примере языка
-
Методы опережающего создания средств контроля диагностики трансляторов и поиска ошибок в определении ЯП для пересматриваемого стандарта (на примере Проекта Ада-9Х).
-
Мобильный аттестационный комплекс (МАК), предназначенный для автоматизированной аттестации и оценки качества диагностики трансляторов, претендующих на конформность стандарту Ада.
Практическая ценность. Предложенная в диссертации концепция тестирования диагностики позволяет:
расставить приоритеты, определить критерии и последовательности действий при тестировании диагностики;
осуществлять рациональную автоматизацию анализа результатов тестирования;
разрабатывать средства тестирования диагностики трансляторов параллельно с созданием новой версии ЯП.
Методика опережающего создания средств контроля диагностики трансляторов для пересматриваемого стандарта ЯП дает возможность:
максимально использовать методы и сродства контроля диагностики, разработанные для "старой" версии стандарта ЯП;
выявлять дефекты в определении языка на фазе его совершенствования.
мобильный аттестационный комплекс
позволяет контролировать согласованность со стандартом и оценивать качество диагностики Ада-трансляторов;
обеспечивает приемлема уровень надежности и автоматиза-
ции при работе с большим (более 1QOO тестов) комплектом тестов.
Мобильный аттестационный комплекс применяется в настоящее время для тестирования системы программирования Паллада, разработанной специалистами Санкт-Петербургского университета.
Апробация. Содержание и основные результаты диссертации докладывались на семинаре в ИнтерЗВМ (Москва, 1991), на научно-исследовательских семинарах по языкам программирования факультета ВМиК МГУ (Москва, 1992), по автоматизации программирования МГУ (Москва, 1992), на кафедре высшей математики Ивановского государственного энергетического университета (Иваново. 1993), на совместном семинаре отделов информационных систем и математического обеспечения НИВЦ МГУ (Москва, 1993), на научной конференции, посвященной 20-летип Ивановского государственного университета (Иваново. 1994).
Публикации. Основные результаты работы опубликованы в статьях [1), [2]. [3].
Структура и объем диссертации.
