Скачать 26.49 Kb.
|
УДК 004.4'422 П. Н. Волков Московский физико-технический институт (государственный университет) ПОКОМПОНЕНТНОЕ UNIT-ТЕСТИРОВАНИЕ ОПТИМИЗИРУЮЩЕГО БИНАРНОГО КОМПИЛЯТОРА, БАЗИРУЮЩЕЕСЯ НА СТРУКТУРНОМ АНАЛИЗЕ В настоящее время большая часть программного обеспечения скомпилирована для широко распространенной архитектуры IA-32 [1] и доступна преимущественно в виде исполняемых файлов. При необходимости запуска этих приложений на новых архитектурных платформах требуется их перекомпиляция, что зачастую оказывается невозможным из-за отсутствия исходных текстов задачи. Для возможности запуска исполняемых кодов одной архитектуры на другой платформе используется система бинарной компиляции. В состав рассматриваемой системы двоичной компиляции входит интерпретатор, переводящий семантику одной архитектуры в другую, и оптимизирующий бинарный компилятор. Основная задача последнего – максимально оптимизировать часто работающие, так называемые «горячие» участки кода исполняемой задачи без нарушения семантики. Для такой сложной системы двоичной компиляции требуется мощная тестовая база. Существует несколько подходов к тестированию систем бинарной компиляции. Один из способов тестирования заключается в использовании стандартных тестовых наборов таких, как Spec 92/95/2000, Specperf, acvs и др. Но такие тесты не способны проверить на корректность все функциональности компилятора, поскольку некоторые нестандартные варианты могут быть не учтены в подобных пакетах тестирования. Другой способ заключается в написании тестовых примеров для конкретных оптимизаций «вручную». Большим недостатком такого подхода является то, что он довольно трудоемкий и требует очень много времени для создания большого числа тестов. В данной работе использовался метод тестирования, исключающий недостатки предыдущих двух. Суть такого подхода состоит в том, чтобы применить покомпонентное unit-тестирование на примере цикловых оптимизаций бинарного компилятора для создания новых конструкций и шаблонов циклов с последующим их добавлением в генератор тестов. Применив предложенную технологию тестирования, в генератор тестов были добавлены новые шаблоны и конструкции. На тестах, созданных обновленным генератором, увеличилось покрытие исходного кода бинарного компилятора, то есть были протестированы функциональности, ранее не проверяемые существующими тестами. Это, в свою очередь, позволило выявить новые ошибочные ситуации в оптимизирующем бинарном компиляторе. Литература
РЕФЕРАТ УДК 004.4'422 Волков П.Н. Покомпонентное unit-тестирование оптимизирующего бинарного компилятора, базирующееся на структурном анализе. Представлена технология покомпонентного unit-тестирования на примере цикловых оптимизаций бинарного компилятора. Проведен структурный анализ покрытия исходного кода оптимизирующего двоичного компилятора, на основе которого были реализованы новые конструкции и шаблоны в генераторе тестов. Библиография: 3 назв. |
Московский физико-технический институт ( государственный университет) утверждаю Одномерные решетчатые системы. Теорема об отсутствии фазовых переходов при в системах малой размерности (одномерных и двумерных)... | Программа по формированию навыков безопасного поведения на дорогах... Программы развития государственного образовательного учреждения высшего профессионального образования «Московский физико-технический... | ||
Московский энергетический институт Московский государственный технический университет радиотехники, электроники и автоматики (мгту мирэа) | Исследования и пути совершенствования вращательно-подающих систем... Южно-Российский государственный технический университет (Новочеркасский политехнический институт) | ||
Программа по формированию навыков безопасного поведения на дорогах... Положением о закупке товаров, работ, услуг для нужд федерального государственного автономного образовательного учреждения высшего... | Программа по формированию навыков безопасного поведения на дорогах... Положением о закупке товаров, работ, услуг для нужд федерального государственного автономного образовательного учреждения высшего... | ||
Диалектика Московский государственный институт радиотехники, электроники и автоматики (технический университет) | Рабочая программа Наименование дисциплины «Московский государственный институт электроники и математики (технический университет)» | ||
Рабочая программа Наименование дисциплины Московский государственный институт электроники и математики (технический университет) | Рабочая программа Наименование дисциплины Московский государственный институт электроники и математики (технический университет) | ||
Рабочая программа Наименование дисциплины Московский государственный институт электроники и математики (технический университет) | Рабочая программа Наименование дисциплины Московский государственный институт электроники и математики (технический университет) | ||
Рабочая программа Наименование дисциплины Московский государственный институт электроники и математики (технический университет) | Московский энергетический институт (технический университет) институт... Дисциплина относится к вариативной части профессионального цикла М. 2 основной образовательной программы подготовки магистров «Физико-технические... | ||
Реферат в аспирантуру на тему: «Организация видеопроизводства» Московский государственный институт электроники и математики (технический университет) | Отчет государственного образовательного учреждения высшего профессионального образования Московский государственный институт электронной техники (технический университет) |