Test Criteria for Context-Free Grammars

Authors:
Hu Li;Maozhong Jin;Chao Liu;Zhongyi Gao
Affiliations:
Beijing University of Aeronautics and Astronautics;Beijing University of Aeronautics and Astronautics;Beijing University of Aeronautics and Astronautics;Beijing University of Aeronautics and Astronautics
Venue:
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Year:
2004

Citing 6
Cited 2

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Axiomatizing software test data adequacy

IEEE Transactions on Software Engineering
The evaluation of program-based software test data adequacy criteria

Communications of the ACM
Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria

IEEE Transactions on Software Engineering
Grammar Testing

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering

On Testing P Systems

Membrane Computing
Automation of avionic systems testing

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is on the formalization of test adequacy criterion for context-free grammars. The basic concept of grammar-based testing is introduced and 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.