This paper is on the formalization of test adequacy criterion for context-free grammars. The basic concept of grammar-based testing is introduced and grammarbased 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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.