第九章 编译器测试技术研究.docVIP

编译器测试技术研究 摘要 编译器是用来为高级语言编写的程序创建可执行模块的；因此编译器中出现错误是对用这种编译器开发的程序的品质的严重威胁。像其它软件一样，测试是对编译器进行质量控制和错误检测的最重要的方法之一。这项研究致力于编译器测试组件的生成，运行和质量检查，这些是基于对编程语言语法和语义的正式的详细的描述。 引言 高级语言已经成为软件开发的一项基本工具。这解释了为什么支持这个开发过程的软件（即编译器）被广泛使用。 编译器把程序从高级语言转化为可被机器执行的表示。如果编译器中有错误，原始程序转化成的可执行模块的行为与原始程序的语义定义的行为将不一致。这种错误难以检测和纠正，而且错误的出现是对编译器生成的组件的质量的质疑。毫无疑问，编译器的正确性对使用这种编译器开发的软件的可信操作是至关重要的，并且编译器的正确性检查对提高软件可靠性至关重要。 像其它软件一样，测试是对编译器进行质量控制和错误检查的最重要的方法之一。传统来讲，测试方法分为两组：白盒测试和黑盒测试。白盒测试中，测试样例的创建是基于测试部分源代码具体实现的信息。而黑盒测试中，测试样例的生成仅基于功能性描述，功能性描述也称为具体计划。 两种计划各有利弊。白盒测试的优点是它可以对将要执行的源程序文本的有效性进行全面的检验。这样的检测是我们可以检测出实现中的很多错误，但无法保证需要的功能在系统中执行。为此，黑盒测试被使用，旨