A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device called control flags to incorporate those parts of a language that are not controlled by context-free rules (for instance, use of declared names). The tool produced two sets of program strings such that each production in the grammar is used at least once. One set is produced by Purdom\u27s algorithm. The other is produced by a new algorithm designed by the author which builds a tree and then produces a set of strings from it for compiler testing. The program strings produced from the new algorithm differ less in length than those from Purdom\u27s algorithm
Part 2: Test Derivation MethodsInternational audienceIn grammar-based testing, context-free grammars...
Fuzzing is a widely-used testing technique to assure software robustness. However, automatic generat...
Given a complete, formal description of the semantics of a programming language, it should be possib...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
This paper describes an algorithm which takes the BNF definition of the grammar of a language and co...
In grammar-based testing, context-free grammars may be used to generate relevant test inputs for lan...
Software testing is a critical and important stage of the application software development life-cycl...
Traditionally, compilers available to the software developer/tester have only supported two software...
The goal of this project was to create an open source teaching tool along with a User Manual. The re...
The grammar formalism Labelled BNF (LBNF) and the compiler construction tool BNF Converter are intro...
A compiler is a PC program which causes you change source code written in a noteworthy level languag...
A formalism is presented for obtaining a normal form to be used in representing programs for compile...
This paper considers random testing of a compiler, using randomly generated programs as inputs, and ...
Part 2: Test Derivation MethodsInternational audienceIn grammar-based testing, context-free grammars...
Fuzzing is a widely-used testing technique to assure software robustness. However, automatic generat...
Given a complete, formal description of the semantics of a programming language, it should be possib...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
This paper describes an algorithm which takes the BNF definition of the grammar of a language and co...
In grammar-based testing, context-free grammars may be used to generate relevant test inputs for lan...
Software testing is a critical and important stage of the application software development life-cycl...
Traditionally, compilers available to the software developer/tester have only supported two software...
The goal of this project was to create an open source teaching tool along with a User Manual. The re...
The grammar formalism Labelled BNF (LBNF) and the compiler construction tool BNF Converter are intro...
A compiler is a PC program which causes you change source code written in a noteworthy level languag...
A formalism is presented for obtaining a normal form to be used in representing programs for compile...
This paper considers random testing of a compiler, using randomly generated programs as inputs, and ...
Part 2: Test Derivation MethodsInternational audienceIn grammar-based testing, context-free grammars...
Fuzzing is a widely-used testing technique to assure software robustness. However, automatic generat...
Given a complete, formal description of the semantics of a programming language, it should be possib...