چکیده فارسی :

چكیده كامپایلرها برای ایجاد ماژولهای قابل اجرا برای برنامه­هایی كه در زبانهای سطح بالا نوشته می­شوند، استفاده می­شوند، بنابراین وجود خطاهایی در كامپایلر یك خطر جدی برای كیفیت نرم افزاری است كه با استفاده از این كامپایلر توسعه می­یابند. همانند هر نرم افزار دیگری، تست نمودن یكی از مهمترین روشهای كنترل كیفیت و شناسایی خطا در كامپایلرهاست. این بررسی به روشهایی برای ایجاد، اجرا و كنترل كیفیت تناسب، تست كامپایلر اختصاص داده می­شود كه بر اساس مشخصات رسمی تركیب و معنا زبان برنامه نویسی است.

چکیده انگلیسی‌ :

Compilers are used for creating executable modules for programs written in high-level languages; therefore, the presence of errors in a compiler is a serious danger for the quality of the software developed with the use of this compiler. As in the case of any other software, testing is one of the most important methods of quality control and error detection in compilers. The survey is devoted to methods for generating, running, and checking the quality of compiler test suites, which are based on formal specifications of the programming lan-guage syntax and semantics.