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