Разработка и реализация графического интерфейса для СПП СБкЗ_ПП с использованием системы автоматической генерации интерфейсов OntoDev

Дипломная работа - Компьютеры, программирование

Другие дипломы по предмету Компьютеры, программирование



?исной информацией, преобразованием, результатами эксперимента. Сервисная информация состоит из текущего преобразования, количества примененных преобразований, количества преобразований. Результатами эксперимента являются история применения преобразований, представление программы после преобразований, отчет, результаты измерений. Одному эксперименту может соответствовать несколько преобразований. Преобразование характеризуется неформальным описанием, формальным описанием, формулой трансформации, стратегией преобразования, контекстные условия. Стратегия преобразования может быть следующих видов: по возрастанию характеристической функции, по убыванию характеристической функции, случайной.

2.3 Алгоритм решения задачи управления

На вход подается пользователем:_in - Модель структурной программы перед оптимизацией [1].

Введенная стратегия - Стратегия оптимизации.

Введенные ОП - Оптимизирующие преобразования введенные пользователем

begin

Создать новый отчет (New);

Добавить в отчет (Имя(Msp_in));

Добавить в отчет (New, "Введенная стратегия "+Введенная стратегия);

Добавить в отчет (New, "Временная сложность = "+FragCount(MSP_New));

Добавить в отчет (New, "Объем = "+PredCount(MSP_NEW));

MSP[На нулевом шаге(0)]=MSP_IN;

I = 1;

стратегия_Преобразования = Введенная стратегия;

Последовательность ОП = Введенные ОП;

Пока не конец (последовательность ОП) do

{Добавить в отчет (New, "Шаг "+I+" Преобразования " + ОП);

MSP[I]:=Обогащение (MSP[I-1]);

Кандидаты_УЭ = Поиск_УЭ (MSP[I], ОП);

Добавить в отчет (New, "По преобразованию №"+I+"найдено"+Количество (Кандидаты_УЭ));

Пока не конец (Кандидаты_УЭ) do Оценить (Кандидаты_УЭ[j]);

SortByStrat (Кандидаты_УЭ, стратегия_Преобразования);

I=I+1;

Пока не конец (Кандидаты_УЭ) do

{Добавить в отчет (New, "Участок экономии до преобразования");

Добавить в отчет (New, "Временная сложность = "+FragCount(УЭ));

MSP[I]:=Трансформация (УЭ, MSP[I]);

Добавить в отчет (New, "Участок экономии после преобразования");

Добавить в отчет (New, "Временная сложность = "+FragCount(УЭ));

Добавить в отчет (New, "Программа после преобразований");

Добавить в отчет (New, "Временная сложность = "+FragCount(MSP_New));

Добавить в отчет (New, "Объем = "+PredCount(MSP_NEW));

Добавить в отчет (New, "Конец");

Generate (MSP[I]);

End;

Стратегия преобразования:

По возрастанию характеристической функции

По убыванию характеристической функции

Случайно_in - Модель структурной программы перед оптимизацией.

Введенная стратегия - стратегия введенная пользователем.

Введенные ОП- Оптимизирующие преобразования введенные пользователем

Создать новый отчет (Name) - Функция создающая отчет с именем "NEW"

Добавить в отчет (Name, Text) - Функция добавляет в отчет с именем "NEW" текст Text.

Последовательность ОП - Последовательность идентификаторов оптимизирующих преобразований.

ОП - Название оптимизирующего преобразования.

Обогащение () - Функция обогащения MSP. Детально описана в дипломе Волкова Дмитрия

Поиск УЭ () - Функция поиска Участков Экономии. Детально описана в курсовой работе Маевского Максима.

Кандидаты УЭ - последовательность кортежей участков экономии.

УЭ - кортеж участка экономии.

Оценить УЭ - Функция сопоставления участку экономии некоторого числа в соответствии с характеристической функцией ОП. [6](Кандидаты_УЭ, стратегия_Преобразования)- Функция сортировки последовательности участков экономии.

Трансф_УЭ - Трансформированный УЭ.

FragCount(Link) - Функция подсчета временной сложности.

FragCount(MSP) - Функция подсчета объема программы.

Generate (MSP) - Функция генерации оптимизированной программы на языке ассемблера.

Характеристическая функция - это функция, которая присваивает каждому УЭ значение для дальнейшего выстраивания порядка УЭ преобразования программы.

Решением данного алгоритма является MSP_out - модифицированная модель структурной программы на языке ассемблера. Так же на выходе получается протокол оптимизации, на котором показана полная история процесса оптимизации.

Глава 3. Техническая часть

3.1 Требования к интерфейсу СПП

ПС должно иметь следующие окна:

Окно ввода имени пользователя и пароля;

Окно выбора режима работы с ПС;

Окно выбора программы;

Окно выбора преобразований;

Окно выбора стратегии для преобразования.

В окне выбора режима работы с ПС пользователю должна быть предоставлена возможность выбора одного из следующих режимов:

Проведение экспериментов по преобразованию программ;

Построение макета оптимизирующего компилятора;

Работа с Информационным наполнением СБкЗ_ПП.

В окне выбора программы должны быть доступны следующие функции:

Добавление новой программы;

Удаление программы;

Редактирование программы;

Выбор программы для дальнейшей работы.

В окне выбора преобразований должны быть доступны следующие функции:

Добавление нового преобразования в СБкЗ_ПП;

Удаление преобразования из СБкЗ_ПП;

Редактирование преобразования из СБкЗ_ПП;

Добавление преобразования из СБкЗ_ПП в список используемых преобразований;

Удаление преобразования из списка используемых преобразований;

Выстраивание порядка в списке используемых преобразований.

В окне выбора стратегии должны быть доступны следующие функции:

&