A methodology for controlling the size of a test suite
ACM Transactions on Software Engineering and Methodology (TOSEM)
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
Effect of test set minimization on fault detection effectiveness
Software—Practice & Experience
Software Testing
AspectC++: an aspect-oriented extension to the C++ programming language
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Applying software engineering techniques to parser design: the development of a C# parser
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Programmer's toolchest: testing C++ compilers for ISO language conformance
Dr. Dobb's Journal
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
IEEE Transactions on Software Engineering
Decorating tokens to facilitate recognition of ambiguous language constructs
Software—Practice & Experience
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites
ICSM '98 Proceedings of the International Conference on Software Maintenance
On Using a Benchmark to Evaluate C++ Extractors
IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension
gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT
IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
Current Parsing Techniques in Software Renovation Considered Harmful
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
Program Annotation in XML: A Parse-Tree Based Approach
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
A metrics suite for grammar-based software: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Analyzing the Evolution of Large-Scale Software
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
Tool support for randomized unit testing
Proceedings of the 1st international workshop on Random testing
A fault model and mutation testing of access control policies
Proceedings of the 16th international conference on World Wide Web
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
An intermediate representation approach to reducing test suites for retargeted compilers
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Proceedings of the 2010 ACM Symposium on Applied Computing
Combining specification-based and code-based coverage for model transformation chains
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Journal of Systems and Software
Defining and measuring policy coverage in testing access control policies
ICICS'06 Proceedings of the 8th international conference on Information and Communications Security
Prioritizing test cases with string distances
Automated Software Engineering
Using models of partial knowledge to test model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
| Hi-index | 0.00 |
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 input-verification 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 us.In this paper we propose a strategy for the construction of test suites for grammar based software, and illustrate this strategy using the ISO CPP grammar. We use the concept of rule coverage as a pivot for the reduction of implementation-based 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 CPP++. We compare the effectiveness of the reduced test suite with the original suite in terms of code coverage and fault detection.