Title
Two case studies in grammar-based test generation
Abstract
Grammar-based test generation (GBTG) has seen extensive study and practical use since the 1970s. GBTG was introduced to generate source code for testing compilers from context-free grammars specifying language syntax. More recently, GBTG has been applied to many other testing problems, including the generation of eXtensible Markup Language (XML) documents and the generation of packets for testing communications protocols. Recent research has shown how to integrate covering-array techniques such as pairwise testing into GBTG tools. While the integration offers considerable power to the tester, there are few practical demonstrations in the literature. We present two case studies showing how to use grammars and covering arrays for automated software testing. The first case study exposes HTML injection vulnerabilities in an RSS feed parser. The second case study determines the effectiveness of network firewalls when faced with TCP flag attacks. The case studies illustrate the use of covering arrays in a GBTG context, the use of visualization to understand large test logs, and the issues and tradeoffs in the design of fully automated GBTG test suites.
Year
DOI
Venue
2010
10.1016/j.jss.2010.07.048
Journal of Systems and Software
Keywords
Field
DocType
pairwise testing,extensive study,practical use,gbtg context,covering array,grammar-based test generation,gbtg tool,extended markup language (xml),gbtg test suite,case study,tcp,automated software testing,testing problem,automated testing,really simple syndication (rss),extensible markup language,software testing,source code,really simple syndication,context free grammar,xml document,communication protocol,markup language
Programming language,SGML,Software engineering,XML,Source code,Computer science,All-pairs testing,Compiler,Parsing,RuleML,Communications protocol
Journal
Volume
Issue
ISSN
83
12
The Journal of Systems & Software
Citations 
PageRank 
References 
3
0.44
15
Authors
6
Name
Order
Citations
PageRank
Daniel Hoffman130926.89
Hong-Yi Wang2131.02
Mitch Chang330.44
David Ly-Gagnon4131.02
Lewis Sobotkiewicz530.44
Paul Strooper670168.70