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
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
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
Hi-index | 0.00 |
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.