|
Published Articles >> Table of Contents >> Abstract
28th Annual International Computer Software and Applications Conference (COMPSAC'04)
pp. 300-305
Test Criteria for Context-Free Grammars
Hu Li, Beijing University of Aeronautics and Astronautics
Maozhong Jin, Beijing University of Aeronautics and Astronautics
Chao Liu, Beijing University of Aeronautics and Astronautics
Zhongyi Gao, Beijing University of Aeronautics and Astronautics
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2004.1342847
Send link to a friend
| 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.
|
 Additional Information
|
Citation:
Hu Li, Maozhong Jin, Chao Liu, Zhongyi Gao,
"Test Criteria for Context-Free Grammars,"
compsac,
pp. 300-305,
28th Annual International Computer Software and Applications Conference (COMPSAC'04),
2004
|
|
