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

20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005

Volumn , Issue , 2005, Pages 104-113

  Hennessy, Mark ^a   Power, James F ^a  

^a NATIONAL UNIVERSITY OF IRELAND   (Ireland)

Author keywords

Grammar based software; Rule coverage; Software testing; Test suite reduction

Indexed keywords

CODE COVERAGE; GRAMMAR-BASED SOFTWARE; PARSER GENERATORS; PROGRAM ANALYSIS; PROGRAMMING LANGUAGE; RULE COVERAGE; SOFTWARE DEVELOPMENT; SOFTWARE METRICS; TEST SUITE REDUCTION; VERIFICATION ROUTINES;

AUTOMATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; FAULT DETECTION; PROGRAM COMPILERS; PROGRAM DOCUMENTATION; REENGINEERING; REVERSE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; STRATEGIC PLANNING; TESTING; VERIFICATION;

SOFTWARE DESIGN;

EID: 34247400543     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1101908.1101926     Document Type: Conference Paper

References (29)

1. D. Acostachioaie. Doc++: Open source - open science - open systems. Circles Electronic Magazine, (36), 2000.
2. F. Bazzichi and I. Spadafora. An automatic generator for compiler testing. IEEE Trans. Softw. Eng., 8 (4):343-353, 1982.
3. A. Celentano, S. Crespi-Reghizzi, P. D. Vigna, C. Ghezzi, G. Granata, and F. Savoretti. Compiler testing using a sentence generator. Software: Practice and Experience, 10 (11):897-918, November 1980.
4. M. R. Garey and D. S. Johnson. Computers and Intractability: A guide to the Theory of NP-Completeness. W. H. Freeman, 1979.
5. T. H. Gibbs, B. A. Malloy, and J. F. Power. Decorating tokens to facilitate recognition of ambiguous language constructs. Software: Practice and Experience, 33 (1):19-39, January 2003.
6. T. H. Gibbs, B. A. Malloy, and J. F. Power. Progression toward conformance of C++ language compilers. Dr. Dobbs Journal, 28 (11):54-60, September 2003.
7. J. Harm and R. Lämmel. Two-dimensional Approximation Coverage. Informatica, 24 (3), 2000.
8. M. J. Harrold, R. Gupta, and M. L. Soffa. A methodology for controlling the size of a test suite. ACM Transactions on Software Engineering and Methodology, 2 (3):270-285, July 1993.
9. M. P. E. Heimdahl and D. George. Test-suite reduction for model based tests: Effects on test quality and implications for testing. In 19th IEEE International Conference on Automated Software Engineering, pages 176-185, Linz, Austria, 20-25 September 2004.
10. M. Hennessy and J. F. Power. Generation strategies for test-suites of grammar-based software. Technical Report NUIM-CS-TR-2005-02, Department of Computer Science, National Univesity of Ireland, Maynooth, April 13 2005.
11. M. Hennessy, J. F. Power, and B. A. Malloy. gccxfront:exploiting gcc as a front end for program comprehension via XML/XSL. 11th International Workshop on Program Comprehension, May 9-11 2003.
12. ISO/IEC JTC 1. International Standard: Programming Languages - C++. Number 14882:2003 (E). American National Standards Institute, second edition, October 15 2003.
13. J. A. Jones and M. J. Harrold. Test-suite reduction and prioritization for modified condition/decision coverage. IEEE Trans. Softw. Eng., 29 (3):195-210, 2003.
14. P. Klint, R. Lämmel, and C. Verhoef. Towards an engineering discipline for grammarware. ACM Transactions on Software Engineering and Methodology, May 2005. To appear; Online since July 2003, 47 pages.
15. R. Lämmel. Grammar Testing. In Fundamental Approaches to Software Engineering, volume 2029 of LNCS, pages 201-216. Springer Verlag, 2001.
16. Y.-S. Ma, J. Offutt, and Y. R. Kwon. MuJava: An automated class mutation system. Journal of Software Testing, Verification and Reliability, 15 (2):97-133, June 2005.
17. B. A. Malloy, S. A. Linde, E. B. Duffy, and J. F. Power. Testing C++ compilers for ISO language conformance. Dr. Dobbs Journal, 27 (6):71-78, June 2002.
18. B. A. Malloy and J. F. Power. An interpretation of Purdom's algorithm for automatic generation of test cases. In 1st Annual International Conference on Computer and Information Science, Orlando, FL., 2001.
19. B. A. Malloy, J. F. Power, and J. T. Waldron. Applying software engineering techniques to parser design. In Conference of the South African Institute of Computer Scientists and Information Technologists, pages 75-82, Port Elizabeth, South Africa, September 16-18 2002.
20. A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, and C. Zapf. An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering and Methodology, 5 (2):99-118, April 1996.
21. J. F. Power and B. A. Malloy. Program annotation in XML: a parser-based approach. In Working Conference on Reverse Engineering, pages 190-198, Virginia, USA, October 28-November 1 2002.
22. J. F. Power and B. A. Malloy. A metrics suite for grammar-based software. Software Maintenance and Evolution: Research and Practice, 16 (6):405-426, Nov/Dec. 2004.
23. P. Purdom. A sentance generator for testing parsers. BIT, 12 (3):366-375, 1972.
24. M. Roper. Software Testing. McGraw-Hill, 1994.
25. G. Rothermel, M. J. Harrold, J. Ostrin, and C. Hong. An empirical study of the effects of minimization on the fault detection capabilities of test suites. In International Conference on Software Maintenance, pages 34-43, Maryland, USA, November 16-19 1998.
26. S. E. Sim, R. C. Holt, and S. Easterbrook. On using a benchmark to evaluate C++ extractors. In 10th International Workshop on Program Comprehension, Paris, France, June 2002.
27. O. Spinczyk, A. Gal, and W. Schröder-Preikschat. AspectC++: An aspect-oriented extension to C++. In 40th International Conference on Technology of Object-Oriented Languages and Systems, pages 53-60, Sydney, Australia, February 18-21 2002.
28. M. van den Brand, A. Sellink, and C. Verhoef. Current parsing techniques in software renovation considered harmful. In International Workshop on Program Comprehension, Ischia, Italy, June 24-26 1998.
29. W. E. Wong, J. R. Horgan, S. London, and A. P. Mathur. Effect of test set minimization on fault detection effectiveness. Software: Practice and Experience, 28 (4):347-369, April 10 1998.