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