Test criteria for context-free grammars

This paper discusses the formalization of the test adequacy criterion for context-free grammars. The basic concept of grammar-based testing is introduced and the grammar-based test criterion is formally defined. This paper also proposes a family of grammar-based structural test criteria whose subsume relations and test set sizes are analyzed, which are used to assess the proposed criteria. Some basic properties based on Weyuker's axiom systems are generalized and some fundamental properties specific to grammar-based testing are proposed We believe the concepts developed in this paper will contribute to the classical theory of software testing adequacy and are very valuable for software test practice