Дисертация
  • формат pdf
  • размер 1,12 МБ
  • добавлен 10 ноября 2012 г.
Архипова М.В. Автоматическая генерация тестов для семантических анализаторов трансляторов
М.: Институт Системного Программирования РАН, 2006. – 219 с.
Диссертация на соискание ученой степени кандидата физико-математических наук. Специальность 05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Научный руководитель: доктор физико-математических наук, Петренко Александр Константинович.
Генерация тестов для анализаторов контекстных условий трансляторов: современное состояние.
Обзор методов генерации тестов для трансляторов.
Основные принципы проектирования набора тестов для анализатора контекстных условий транслятора.
Организация целенаправленной генерации тестов с использованием классических атрибутных грамматик.
Анализ результатов генерации тестов с использованием классических атрибутных грамматик.
Конструктивное описание статической семантики формальных языков.
Неформальное описание идеи.
Конструктивное описание семантики.
Критерий покрытия.
Критерий покрытия для позитивных тестов.
Критерий покрытия для негативных тестов.
Семантически управляемая генерация тестовых входных данных.
Представление данных.
Генерация входных данных для позитивных тестов на основе конструктивного описания статической семантики.
Построение первичных поддеревьев.
Обеспечение семантической корректности тестовых текстов.
Генерация негативных тестовых входных данных на основе конструктивного описания статической семантики.
SRL: Описание нетривиальных контекстных условий.
Контекст семантического правила.
Семантические правила с фильтрами.
Зависимые семантические правила.
Описание объектов семантического правила посредством задания пути.
Семантика типов.
Семантические ограничения на синтаксис.
Приложения:
Грамматика SRL (Semantic Relation Language).
Атрибутная грамматика языка LOO.
Свод контекстных условий LOO на языке SRL.
Свод контекстных условий для подмножества языка Java 5.0 на языке SRL.