Автоматическая генерация тестов для GFX-offload компилятора Intel
Автор: Панкратов Святослав Борисович
Журнал: Проблемы информатики @problem-info
Рубрика: Теоретическая и системная информатика
Статья в выпуске: 2 (35), 2017 года.
Бесплатный доступ
Компилятор инструмент, требования к надежности которого чрезвычайно высоки. Так как дефекты программного обеспечения, вызванные ошибками в компиляторе, сложно выявить, а тем более исправить без вмешательства в сам компилятор, поэтому важнейшим этаном разработки компилятора является его верификация. Из-за сложности входных данных и производимых над ними преобразований задача верификации компиляторов является весьма трудоемкой и непростой. А в случае использования оптимизирующих) компилятора еще и алгоритмически неразрешимой, поэтому можем рассмотреть поведение компилятора только на некотором ограниченном классе программ. В статье представлен подход к автоматизации создания тестов для верификации GFX-offload компилятора, основанный на генераторе, использующем грамматики для порождения синтаксически корректных исполняемых тестов. Также приведены результаты использования полученной грамматики в процессе тестирования компилятора в компании Intel.
Тестирование, генерация тестов, компиляторы, оффлоад, грамматики, графические ускорители
Короткий адрес: https://sciup.org/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.
