Автоматическая генерация тестов для GFX-offload компилятора Intel

Автор: Панкратов Святослав Борисович

Журнал: Проблемы информатики @problem-info

Рубрика: Теоретическая и системная информатика

Статья в выпуске: 2 (35), 2017 года.

Бесплатный доступ

Компилятор инструмент, требования к надежности которого чрезвычайно высоки. Так как дефекты программного обеспечения, вызванные ошибками в компиляторе, сложно выявить, а тем более исправить без вмешательства в сам компилятор, поэтому важнейшим этаном разработки компилятора является его верификация. Из-за сложности входных данных и производимых над ними преобразований задача верификации компиляторов является весьма трудоемкой и непростой. А в случае использования оптимизирующих) компилятора еще и алгоритмически неразрешимой, поэтому можем рассмотреть поведение компилятора только на некотором ограниченном классе программ. В статье представлен подход к автоматизации создания тестов для верификации GFX-offload компилятора, основанный на генераторе, использующем грамматики для порождения синтаксически корректных исполняемых тестов. Также приведены результаты использования полученной грамматики в процессе тестирования компилятора в компании Intel.

Еще

Тестирование, генерация тестов, компиляторы, оффлоад, грамматики, графические ускорители

Короткий адрес: https://readera.ru/143161636

IDR: 143161636

Список литературы Автоматическая генерация тестов для GFX-offload компилятора Intel

  • Стасенко А. П. Генерация исполняемых тестов для компилятора//Конструирование и оптимизация параллельных программ. Серия „Конструирование и оптимизация программ". Новосибирск, 2008. С. 301-313.
  • Aho А. V., Sethi R., Ullman J. D. Compilers: principles, techniques, and tools. Boston: Addison-Weslev Longman Publishing Co., Inc., 1986. P. 796.
  • Hanford К. V. Automatic generation of test cases//IBM Systems Journal. NY: IBM, Dec. 1970. Vol. 9. P. 242-257
  • Purdom Р. A sentence generator for testing parsers//Behavior and Information Technology, July 1972. Vol. 12. N 3. P. 366-375
  • Hutchison J. S., Duncan A. G. Using Attributed Grammars to Test Designs and Implementation//In Proc. of the 5th international conference on Software engineering, 1981. P. 170-178.
  • Bazzichi F, Spadafora I. An automatic generator for compiler testing//IEEE transactions on Software Engineering. NY: IEEE, 1982. Vol. SE-8. P. 343-353.
  • Kossatchev A. S., Posypkin M. A. Survey of compiler testing methods//Programming and Computing Software. NY: Plenum Press, 2005. Vol. 31, N 1. P. 10-19.
Статья научная