Применение метода инструментирования тестовых программ при отладке оптимизирующих компиляторов
Процесс создания современного общесистемного программного обеспечения (ПО) включает комплекс организационно-технических мероприятий, направленных на обеспечение высокой надежности и минимизацию трудозатрат. Как правило, эти цели достигаются за счет специальных средств тестирования и отладки программных компонентов [1].
В статье излагается опыт реализации таких средств, полученный в компиляторных проектах, выполненных для архитектур «Эльбрус» и «МЦСТ-R» [2, 3], и последующем их развитии [4].
Создание средств и систем обеспечения надежности ПО такого класса как компиляторы, представляет собой весьма сложную задачу, особенно, если речь идет о тестировании оптимизирующих компиляторов. В этом случае, кроме базовых требований на соответствие стандарту языка, возникает задача эффективного тестирования и отладки надежности отдельных оптимизирующих преобразований, которая существенно усложняется ввиду ограниченной наблюдаемости и управляемости внутренних компонентов компилятора на уровне его входного языка.
Подробнее... Загрузить файл 
Содержание:
Введение
1. Технологии автоматизации тестирования и отладки ПО
2. Базовые методы выявления ошибок в оптимизирующих компиляторах
3. Предлагаемый метод инструментирования тестов
4. Пример реализации метода инструментирования тестов при отладке оптимизирующих компиляторов
5. Результаты
Литература
Рассмотрены некоторые вопросы эффективной отладки оптимизирующих компиляторов с использованием метода генерации самопроверяющихся тестов через автоматическое инструментирование произвольных тестовых программ. (Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010)