A Systematic Framework for Grammar Testing

Zheng, Lixiao; Chen, Haiming

doi:10.1109/icis.2009.193

Cited by 4 publications

(5 citation statements)

References 12 publications

(16 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A systematic framework for testing contextfree grammars is implemented using the algorithms in the toolkit [14]. From experiments some errors were found in the C and Java grammars that are from comp.compilers FTP at ftp://ftp.iecc.com/pub/file/, see [14] for detail.…”

Section: Applicationsmentioning

confidence: 99%

See 1 more Smart Citation

A Toolkit for Generating Sentences from Context-Free Grammars

Zheng

Chen

2010

2010 8th IEEE International Conference on Software Engineering and Formal Methods

Self Cite

View full text Add to dashboard Cite

Producing sentences from a grammar, according to various criteria, is required in many applications. It is also a basic building block for grammar engineering. This paper presents a toolkit for context-free grammars, which mainly consists of several algorithms for sentence generation or enumeration and for coverage analysis for context-free grammars. The toolkit deals with general context-free grammars. Besides providing implementations of algorithms, the toolkit also provides a simple graphical user interface, through which the user can use the toolkit directly. The toolkit is implemented in Java and is available at http://lcs.ios.ac.cn/ ∼ zhiwu/toolkit.php. In the paper, the overview of the toolkit and the description of the GUI are presented, and experimental results and preliminary applications of the toolkit are also contained.

show abstract

Section: Applicationsmentioning

confidence: 99%

“…The toolkit has been used in several research projects, namely SAQ [13], grammar testing methods [14], and testing of LFC.…”

Section: Applicationsmentioning

confidence: 99%

A Toolkit for Generating Sentences from Context-Free Grammars

Zheng

Chen

2010

2010 8th IEEE International Conference on Software Engineering and Formal Methods

Self Cite

View full text Add to dashboard Cite

show abstract

“…Examples include compilers, web applications, data conversion tools [10,6], interactive software which responds to well-ordered external events, such as reactive systems [18], VLSI circuit simulator [15], and software product lines [1]. These applications rely on complex inputs that are often difficult to test systematically [22], motivating the need for automated support.…”

Section: Introductionmentioning

confidence: 99%

Locating fault-inducing patterns from structural inputs

Guo

Qiu

Siy

2014

Proceedings of the 29th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

In this paper, we propose a new fault localization technique for testing software which requires structured input data. We adopt a symbolic grammar to represent structured data input, and use an automatic grammar-based test generator to produce a set of welldistributed test cases, each of which is equipped with a set of structural features. We show that structural features can be effectively used as test coverage criteria for test suite reduction. By learning structural features associated with failed test cases, we present an automatic fault localization approach to find out software defects which result in the testing failures. Preliminary experiments justify that our fault localization approach is able to accurately locate fault-inducing patterns.

show abstract

“…(Klint et al, 2005). Zheng and Chen (2009) state that "sound and systematic methods and techniques are needed for grammarware to move from hacking to engineering." Both of these observations come from computer science, where formal grammars for compiler design and other applications are widely used and the research area of grammar engineering and testing has been developed.…”

Section: Introductionmentioning

confidence: 99%

“…Although design grammars are often developed to formalize and structure the design of products and processes, the process of designing grammars themselves is often rather unsystematic and “treated, to a large extent, in an ad hoc manner with regard to design, implementation, transformation, recovery, testing, etc.” (Klint et al, 2005). Zheng and Chen (2009) state that “sound and systematic methods and techniques are needed for grammarware to move from hacking to engineering.” Both of these observations come from computer science, where formal grammars for compiler design and other applications are widely used and the research area of grammar engineering and testing has been developed. In design, Knight (1998) stated that “it is the designing of a grammar that resembles what a designer does.…”

Section: Introductionmentioning

confidence: 99%

Systematic rule analysis of generative design grammars

Königseder

Shea

2014

AIEDAM

View full text Add to dashboard Cite

The use of generative design grammars for computational design synthesis has been shown to be successful in many application areas. The development of advanced search and optimization strategies to guide the computational synthesis process is an active research area with great improvements in the last decades. The development of the grammar rules, however, often resembles an art rather than a science. Poor grammars drive the need for problem specific and sophisticated search and optimization algorithms that guide the synthesis process toward valid and optimized designs in a reasonable amount of time. Instead of tuning search algorithms for inferior grammars, this research focuses on designing better grammars to not unnecessarily burden the search process. It presents a grammar rule analysis method to provide a more systematic development process for grammar rules. The goal of the grammar rule analysis method is to improve the quality of the rules and in turn have a major impact on the quality of the designs generated. Four different grammars for automated gearbox synthesis are used as a case study to validate the developed method and show its potential.

show abstract

A Systematic Framework for Grammar Testing

Cited by 4 publications

References 12 publications

A Toolkit for Generating Sentences from Context-Free Grammars

A Toolkit for Generating Sentences from Context-Free Grammars

Locating fault-inducing patterns from structural inputs

Systematic rule analysis of generative design grammars

Contact Info

Product

Resources

About