Automated Generation of Positive and Negative Tests for Parsers

DOI10.1007/11759744_13MaRDI QIDQ3434611zbMATH OpenOpenAlexFDO

Authors S. V. Zelenov, Sophia Zelenova

Publication date 2 May 2007

Published in Formal Approaches to Software Testing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11759744_13

zbMATH Keywords

BNF grammarcompiler testingcoverage criterionformal languagemutation testingnegative testsparserpositive testsspecification-based test generation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Generation of positive and negative tests for parsers
• Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language
• Controllable Combinatorial Coverage in Grammar-Based Testing
• An approach to symbolic test generation
• Automatically generating test data from a Boolean specification

Cites work

• A sentence generator for testing parsers
• GCC-like restrictions on the Same constraint
• Grammar testing
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• Java specification extension for automated test development
• Software is different
• Specification based testing: Towards practice
• Test generation for compilers and other formal text processors
• Two-dimensional approximation coverage

Cited in

(6)

• Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language
• Generation of positive and negative tests for parsers
• Grammar testing
• Reachability analysis of the HTML5 parser specification and its application to compatibility testing
• Testing parenthesis languages
• Using abstract models for the generation of test data with a complex structure

This page was built for publication: Automated Generation of Positive and Negative Tests for Parsers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434611)