MURAL - Maynooth University Research Archive Library



    An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for GrammarBased Software


    Hennessy, Mark and Power, James F. (2005) An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for GrammarBased Software. In: ASE '05 International Conference on Automated Software Engineering 2005. ACM, pp. 7-11. ISBN 1581139934

    [img]
    Preview
    Download (176kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    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. To demonstrate the validity of the approach, we use the reduced test suite to analyze three grammar-based tools for C++. We compare the effectiveness of the reduced test suite with the original suite in terms of code coverage and fault detection.

    Item Type: Book Section
    Additional Information: This is the postprint version of the published article which is available at DOI: 10.1145/1101908.1101926
    Keywords: Software testing; grammar-based software; test suite reduction; rule coverage;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 6409
    Identification Number: https://doi.org/10.1145/1101908.1101926
    Depositing User: Dr. James Power
    Date Deposited: 24 Sep 2015 15:58
    Publisher: ACM
    Refereed: No
    URI:

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year