A dynamic stochastic model for automatic grammar‐based test generation§. (11th June 2014)

• Record Type: Journal Article
• Authors: Guo, Hai‐Feng; Qiu, Zongyan
• Is Part Of: Software, practice & experience. Volume 45:Number 11(2015)
• Page Start: 1519
• Page End: 1547
• Publication Date: 2014-06-11
• Subjects: Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2278
• Languages: English
• ISSNs: 0038-0644

Abstract

<abstract abstract-type="main" id="spe2278-abs-0001"> <title>Summary</title> <p id="spe2278-para-0003">Grammar‐based test generation provides a systematic approach to producing test cases from a given context‐free grammar. Unfortunately, naive grammar‐based test generation is problematic because of the fact that exhaustive random test case production is often explosive, and grammar‐based test generation with explicit annotation controls often causes unbalanced testing coverage. In this paper, we present an automatic grammar‐based test generation approach, which takes a symbolic grammar as input, requires zero control input from users, and produces well‐distributed test cases. Our approach utilizes a novel dynamic stochastic model where each variable is associated with a tuple of probability distributions, which are dynamically adjusted along the derivation. We further present a coverage tree illustrating the distribution of generated test cases and their detailed derivations. More importantly, the coverage tree supports various implicit derivation control mechanisms. We implemented this approach in a Java‐based system, named <italic>Gena</italic>. Each test case generated by <italic>Gena</italic> automatically comes with a set of structural features, which can play an important and effective role on automated failure causes localization. Experimental results demonstrate the effectiveness of our approach, the well‐balanced distribution of generated test cases over grammatical structures, and a case study on grammar‐based failure causes localization. Copyright © 2014 John Wiley & Sons, Ltd.</p> </abstract>