Тестирование софта - статьи


         

Практическое применение подхода


С помощью предложенного подхода были построены тесты и протестированы ряд оптимизаторов в нескольких компиляторах для современных архитектур: GCC, Open64, Intel C/Fortran compiler.

Были разработаны генераторы для следующих оптимизаторов:

  • Control Flow Graph optimization;
  • Common Subexpression Elimination;
  • Induction Variable optimization;
  • Loop Fusion optimization;
  • Loop Data Dependence analysis.

Соответствующие множества тестов генерировались для языков программирования C и Fortran.

Содержание  Назад  Вперед