检索结果-内蒙古大学图书馆

AN AUTOMATIC GENERATOR FOR COMPILER TESTING

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1982年第4期8卷 343-353页

作者： BAZZICHI, F SPADAFORA, I CNUCE CTR COMP PISA ITALY UNIV PISA IST SCI INFORMAZ I-56100 PISA ITALY

One important problem in software production is to control the functional correctness of programs. Such control is essential for complex, widely distributed programs, such as compilers. Many tools are available for the automatic generation of compilers, but the end result must be tested as not all the components are realized automatically. Different methods have been studied and developed to test compilers, but none has solved the problem completely and efficiently. A new method for testing compilers is described in which the compiler is exercised by compilable programs, automatically generated by a test generator. A tabular description of the source language drives the generator. The description is in a formalism which extends context-free grammars in a context-dependent direction, while still retaining the structure and readability of BNF. The generator produces a set of programs which cover all grammatical constructions of the source language, unless user supplied directives indicate otherwise. These programs can be used to evaluate the performance of different compilers of the same source language. Figures.

关键词： Translator Testing Automatic Program generation Automatic Test generation Compiler Testing generation of compilable programs

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：