Генерация наборов тестов для распараллеливающих и оптимизирующих преобразований в компиляторе

• Автор: Алымова, Елена Владимировна
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2012
• Место защиты: Ростов-на-Дону
• Количество страниц: 129 с. : ил.

Оглавление
ВВЕДЕНИИ.
ГЛАВА 1. МЕТОДИКА РАЗРАБОТКИ ТЕСТОВЫХ НАБОРОВ ДЛЯ ОПТИМИЗИРУЮЩИХ И РАСПАРАЛЛЕЛИВАЮЩИХ ПРЕОБРАЗОВАНИЙ ПРОГРАММ В КОМПИЛЯТОРЕ

1.1. Необходимые сведения из теории преобразования программ.

1.2. Условия применимости оптимизирующих и распараллеливающих преобразований программ
1.3. Формализация условий применимости преобразования с целью построения конфигурации для генератора тестов

1.4. Язык описания конфигурации.

1.5. Критерий полноты тестового набора

1.6. Запись конфигурационного файла.

1.7. Класс программ, задаваемый конфигурацией.

1.8. Организация тестирования преобразований в оптимизирующем компиляторе

1.9. Выводы к первой главе
ГЛАВА 2. ГЕНЕРАТОР ТЕСТОВ ПРЕОБРАЗОВАНИЙ В КОМПИЛЯТОРЕ
2.1. Входная КСграмматика и принцип генерации цепочек
2.2. Древовидное представление КСграмматики
2.3. Графовое представление грамматики и автоматический вывод цепочек
2.4. Хранение данных об информационных зависимостях.
2.5. Моделирование информационных зависимостей в генераторе тестов .
2.6. Режимы генерации тестовых наборов
2.6.1. Режим нормального распределения
2.6.2. Режим универсального распределения.
2.6.3. Режим перебора.
2.7. Выводы ко второй главе.
ГЛАВА 3. ПРИМЕНЕНИЕ ГЕНЕРАТОРА ТЕСТОВ.
3.1. Набор тестов для синтаксического анализатора конвертера С2ЬШЬ
3.2. Набор тестов для преобразования Разрезание циклов
3.3. Выводы к третьей главе.
ГЛАВА 4. СМЕЖНЫЕ ЗАДАЧИ.
4.1. Автоматизация тестирования графического интерфейса.
4.1.1. Дерево состояний графического интерфейса.
4.1.2. Тестирование графического интерфейса НРСИАБ
4.1.3. Генерация тестов для мастера Экспертной системы.
4.2. Автоматизация тестирования уеЬприложений
4.2.1. УеЬинтерфейс автоматического распараллеливателя.
4.2.2. Тестовые сценарии для еЬинтерфейса автоматического
распараллеливателя.
4.3. Система поддержки пользователя при редактировании скриптов на языке ЕаБуИои.
4.3.1. Особенности предметноориентированных языков
программирования.
4.3.2. Основные функции системы поддержки пользователя.
4.4. Выводы к четвертой главе
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


Проектирование, программная реапизация и отладка генератора тестовых программ на основе контекстно-свободной грамматики и конфигурационных файлов (разделы 2. Внедрение разработанной в диссертации технологии генерации наборов тестов посредством тестирования преобразований распараллеливающей системы (раздел 3. Внедрение предложенной в диссертации технолог ии тестирования в разработанный интерфейс автоматического расиараллеливателя программ, реализованного гго технологии «клиент-сервер» (разделы 4. Методы исследования включают в себя методы теории формальных языков и грамматик, теории графов, теории преобразования программ, элементы теории множеств и комбинаторного анализа. При реализации программного обеспечения использовались принципы объектно-ориентированного программирования. Новый алгоритм генерации тестов для оптимизирующих и распараллеливающих преобразований, отличительной особенностью которого является использование конфигурационного файла для описания условий применимости тестируемог о преобразования. Новый метод формулирования критериев полноты наборов тестовых программ для оптимизирующих и распараллеливающих преобразований в терминах целевого языка программирования. Практическая значимость работы состоит в том, что полученные результаты могут быть использованы для тестирования оптимизирующих и распараллеливающих преобразований в компиляторе. Программно реализованный генератор тестов, который на вход получает грамматику целевого языка программирования и конфигурационный файл, а на выходе генерирует наборы тестов, удовлетворяющие критерию полноты. Сгенерированные наборы тестов для преобразования «Разрезание циклов» и синтаксического анализатора конвертера С2НОЬ, удовлетворяющие критерию полноты. Методика построения наборов тестов для графического интерфейса, удовлетворяющих критерию полноты. Метод формализации условий применимости тестируемых оптимизирующих и распараллеливающих преобразований программ в компиляторе и метод построения критериев полноты наборов тестовых программ. Метод и алгоритмы генерации тестовых программ для оптимизирующих и распараллеливающих преобразований по конфигурационному файлу, содержащему условия применимости тестируемого преобразования. Достоверность научных результатов и выводов подтверждается математической строгостью определений и утверждений, а также программно реализованными моделями и вычислительными экспериментами. Внедрение результатов работы. Результаты работы используются в проекте «Диалоговый высокоуровневый оптимизирующий распараллеливатель программ и его приложения» [] в рамках ФЦП «Научные и научно-педагогические кадры инновационной России» на - годы, государственный контракт № . В процессе работы получено Свидетельство о государственной регистрации программ для ЭВМ: «Диалоговый высокоуровневый оптимизирующий распараллеливатель программ» (свидетельство №). Часть данной работы используется в проекте «Создание биоинформационной технологии поиска взаимосвязанных сценариев организации в геномах животных и человека некодирующей ДНК и кодирующей белок ДНК» в рамках ФЦП «Научные и научно-педагогические кадры инновационной России», государственный контракт № . Работа поддержана проектом «Создание высокотехнологичного производства комплексных решений в области предметно-ориентированных облачных вычислений для нужд науки, промышленности, бизнеса и социальной сферы» (шифр -89) в рамках реализации постановления №8 Правительства РФ (по заказу НИУ ИТМО). Результаты работы использованы мри выполнении ОКР «Разработка системной поддержки высокопроизводительного программного комплекса для квантово-механических расчетов и моделирования наноразмерных атомномолекулярных систем и комплексов» по заказу НИУ ИТМО в рамках темы «Разработка высокопроизводительного программного комплекса для квантовомеханических расчетов и моделирования наноразмерных атомно-молекулярных систем и комплексов», государственный контракт № 3с// от ноября г. Полученные в данной работе результаты могут также использоваться в учебном процессе для изучения свойств формальных языков, описываемых контекстно-свободными грамматиками.