An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software

The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an input specification to a parser generator, or implicitly, in the form of a hand-written parser, or other inputverification routines. Grammar-based software includes not only programming language compilers, but also tools for program analysis, reverse engineering, software metrics and documentation generation. Such tools often play a crucial role in automated software development, and ensuring their completeness and correctness is a vital prerequisite for their use. In this paper we propose a strategy for the construction of test suites for grammar based software, and illustrate this strategy using the ISO C++ grammar. We use the concept of rule coverage as a pivot for the reduction of implementationbased and specification-based test suites, and demonstrate a significant decrease in the size of these suites....

• Type: Conference
• Year: 2005
• Where: KBSE
• Authors: Mark Hennessy, James F. Power
• Keywords: Grammar-based Software, KBSE 2005, Reduced Test Suite, Software Engineering, Test Suite