Задание - Интерпретатор модельного языка программирования (1115024), страница 2
Текст из файла (страница 2)
Разделитель текста — это пробельная литера, комментарий либо разделитель, определенный в алфавитеязыка ( * / % + − < > <= >= == != , ; : ( ) ).Фазы работы интерпретатора модельного языкаКонцептуально интерпретатором выполняются следующие фазы: лексический анализ, синтаксический анализ, семантический анализ (контроль контекстных условий), генерация программы на внутреннем языке (в качестве внутреннего языкапредлагается использовать польскую инверсную запись — ПОЛИЗ), интерпретация программы на внутреннем языке.На практике некоторые фазы можно сгруппировать, т.е. реализовать их функции на одном проходе.VII. Варианты таких группировок:1.2.Первый проход — лексический анализ; результат — последовательность лексем +таблицы (идентификаторов и констант; таблицы служебных слов и разделителейформируются заранее);Второй проход — синтаксический анализ + семантический анализ + генерация:анализируется последовательность лексем и генерируется программа на внутреннем языке, эквивалентная исходной.
На этом проходе активно используются и заполняются таблицы;Третий проход — интерпретация программы на внутреннем языке при заданныхвходных данных.Первый проход — лексический анализ + синтаксический анализ + семантическийанализ + генерация. При этом ведущую роль играет синтаксический анализатор –6/10Практическое задание для студентов 2 курса ВМиК МГУ им.
М.В. Ломоносовапо его запросу лексический анализатор выдает очередную лексему; после того,как синтаксический анализатор выделил некоторую синтаксическую единицу,осуществляется контроль контекстных условий и генерируется соответствующийфрагмент внутреннего представления;Второй проход — интерпретация программы на внутреннем языке при заданныхвходных данных.VIII. Какойбы вариант группировки фаз не был выбран, интерпретация программы на внутреннемязыке может выполняться для различных наборов входных данных.Следовательно, нужно позаботиться о хранении программы на внутреннем языке, чтобы можно было обеспечить следующие возможности:1.
неоднократная интерпретация программы на внутреннем языке при различныхвходных данных (в рамках одного запуска программы-интерпретатора),2. неоднократная интерпретация программы на внутреннем языке при различныхвходных данных (при различных запусках программы-интерпретатора).Тестирование и отладкаинтерпретатораПрежде всего, необходимо осознать, что тестирование — это процесс выявления дефектов в программных продуктах.
После того как дефект обнаружен, начинается отладка — обнаружение причины появления дефекта и ее устранение.Поскольку «полное» (исчерпывающее) тестирование невозможно, необходима некоторая методика, которая позволила бы разработать компактный, но достаточно продуктивный комплект тестов, который позволил бы обнаружить как можно больше дефектов.Для того, чтобы можно было сравнивать разные комплекты тестов, необходимы явносформулированные критерии полноты тестирования, которые обеспечиваются этимикомплектами.
Эти критерии различны для разных стратегий тестирования.Обычно различают две стратегии тестирования: тестирование методами «белого ящика» и тестирование методами «черного ящика».Стратегии методов «белого ящика» опираются на знание логики программы, ее внутренней структуры. К методам «белого ящика» относятся методы покрытия операторов,покрытия решений, покрытия условий и метод комбинаторного покрытия условий.
Всеэти методы базируются на том, что при прогоне тестов должны выполняться те илииные конструкции в тексте программы. Например, комплект тестов, полный относительно критерия покрытия операторов, подразумевает выполнение каждого операторапрограммы хотя бы один раз при прогоне всех тестов комплекта.При использовании методов «черного ящика» комплект тестов создается только в соответствии со спецификацией программы. Основная цель – выяснение ситуаций, в которых поведение программы не соответствует ее спецификации.
К методам «черногоящика» относятся метод эквивалентных разбиений, анализ граничных условий, методфункциональных диаграмм.7/10Практическое задание для студентов 2 курса ВМиК МГУ им. М.В. ЛомоносоваМетоды обеих стратегий обладают и достоинствами, и недостатками. Наиболее практичная методика разработки комплекта тестов должна обладать элементами обеихстратегий, используя позитивные черты каждой из них.
Обычно разрабатывается комплект тестов в соответствии с критериями какого-либо из методов «черного ящика», азатем полученный комплект дополняется тестами для проверки наиболее сложных узлов логики программы.Подробно прочитать о различных методиках тестирования можно в[1]. Г. Майерс. Надежность программного обеспечения. М., изд. «Мир», 1980.[2]. Г. Майерс. Искусство тестирования программ.
М., «Финансы и статистика»,1982.[3]. С. Канер, Дж. Фолк, Е.К. Нгуен. Тестирование программного обеспечения.М., «DiaSoft», 2001.[4]. Дж. Макгрегор, Д.Сайкс. Тестирование объектно-ориентированного программного обеспечения. Практическое пособие. М., «DiaSoft», 2002.Спецификацией интерпретатора модельного языка программирования является егоописание.Входные данные для интерпретатора – это тексты программ на модельном языке ивходные данные, которые должны обрабатывать эти программы.В комплект тестов должны входить тесты двух категорий: тесты для проверки правильности работы интерпретатора на правильных входных данных, т.е. правильныхпрограммах, написанных на модельном языке (А-тесты), и тесты для проверки качества диагностики интерпретатора, т.е.
программы, содержащие ошибку (В-тесты).Ошибки могут быть разных типов и диагностироваться на разных этапах работы интерпретатора: ошибки лексики, синтаксические ошибки, нарушение контекстных условий, использование неопределенных величин, деление на 0.Пример одного из А-тестов для модельного языка (общая часть):program{inta = 51, b = 6, c;string x = "abc", y, z = "abcd";c = (a + b) * 2;if (c >= 100 or x == z){read (y);write (y);write (x + y + z, c);}elsec = a = 21;while (c > 100){c = c − 5;write (c);x = x + "step";}write (x);}Входные данные: «1234» (значение переменной y)Результаты выполнения:"1234""abc1234abcd"11410910499"abcstepstepstep"8/10Практическое задание для студентов 2 курса ВМиК МГУ им. М.В. ЛомоносоваПример одного из B-тестов для модельного языка (общая часть):program{int j = 6, k;k = ( i + j ) * 2; /* ERROR – нет описания переменной i */write ("ERROR not detected");}Содержание отчета о проделаннойработеТребования к отчету предъявляет преподаватель, но в него, как минимум, должны входить следующие разделы:•объектная модель интерпретатора — результат объектно-ориентированногопроектирования разрабатываемой программы•синтаксис реализуемого модельного языка, включая синтаксис выражений•всё, что в описании языка оказалось неопределенным (например, синтаксиспонятия 〈идентификатор〉, его максимальная длина или количество значащих символов, форматы ввода/вывода данных и т.п.)•конечный автомат с действиями, лежащий в основе лексического анализатора модельного языка•обоснование применимости метода рекурсивного спуска для грамматики модельного языка• комплекты А- и В-тестовНа лекциях будут рассмотрены некоторые классические алгоритмы и техническиеприемы, применяемые при построении трансляторов (лексический анализ на базе конечного автомата, синтаксический анализ методом рекурсивного спуска и совмещенный с ним контроль контекстных условий, синтаксически управляемая генерация внутреннего представления программы).Краткий конспект лекций см.
в пособии для студентов II курса[5]. Волкова И.А., Руденко Т.В. Формальные грамматики и языки. Элементытеории трансляции. — М., изд. МГУ, 1999.Дополнительную информацию об этих и других алгоритмах, методах и приемах, используемых при создании трансляторов, можно найти в[6]. А. Ахо, Р. Сети, Дж. Ульман. Компиляторы. Принципы, технологии, инструменты. — М., Издательский дом «Вильямс», 2001.[7]. Т. Пратт, М. Зелковиц. Языки программирования. Разработка и реализация.— СПб, Издательский дом «Питер», 2002.[8]. Д.
Грис. Конструирование компиляторов для цифровых вычислительныхмашин. — М., Мир, 1975.[9]. Ф.Льюис, Д. Розенкранц, Р. Стирнз. Теоретические основы проектированиякомпиляторов. — М., Мир, 1979.9/10Практическое задание для студентов 2 курса ВМиК МГУ им. М.В. Ломоносова[10]. А. Ахо, Дж.Ульман. Теория синтаксического анализа, перевода и компиляции. — Т. 1,2. — М., Мир, 1979.Принципы, методы и средства объектно-ориентированной методологии разработкипрограммного обеспечения, их достоинства и недостатки, а также практические примеры разработки конкретных приложений можно найти в:[11].
Г. Буч. Объектно-ориентированный анализ и проектирование с примерамиприложений на С++ , 2-е издание. — М.:СПб, «Издательство Бином»–«Невский диалект»,1998.[12]. А. Элиенс. Принципы объектно-ориентированной разработки программ, 2-еиздание. — М., Издательский дом «Вильямс», 2002.Описание инструментального языка С++ в соответствии с требованиями стандарта этого языка, а также краткую характеристику и описание основных возможностей стандартной библиотеки шаблонов STL можно найти в[13]. Г.
Шилдт. Самоучитель С++, 3-е издание. — СПб., БХВ–Петербург, 2001.[14]. Б. Страуструп. Язык программирования С++, спец. издание. — М.:СПб, «Издательство Бином»–«Невский диалект»,2001.ОглавлениеСинтаксис модельного языка: .................................................................................................1Общая часть (одинаковая для всех вариантов): ............................................................1О выражении ........................................................................................................................2Вариантная часть (расширяет язык, определенный в общей части): ..........................2Контекстные условия ...........................................................................................................4Правила записи текста программы на модельном языке .................................................6Фазы работы интерпретатора модельного языка ..................................................................6Тестирование и отладка интерпретатора ..............................................................................7Содержание отчета о проделанной работе............................................................................9Оглавление ..............................................................................................................................1010/10.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
