Coverage-driven Automated Compiler Test Suite Generation |
| |
Authors: | A. Kalinov A. Kossatchev A. Petrenko M. Posypkin V. Shishkov |
| |
Affiliation: | aInstitute for System Programming of Russian Academy of Sciences, 109004, Moscow, B. Kommunisticheskaya 25, Russia |
| |
Abstract: | The paper presents a novel approach to automated compiler test suite generation based on the source level specification. Several coverage criteria are introduced. The application of the proposed methodology to testing the realistic programming language is discussed. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |