LL(1) 文法测试用例设计与分析
LL(1) 文法测试用例设计与分析
文法:
B->TC
C->oT C|$
T->FD
D->aFD|$
F->nF|(B)|t|f
测试用例:
- 输入:'ntf$', 预期输出:匹配成功
- 输入:'oantfnf$', 预期输出:匹配成功
- 输入:'oanf$', 预期输出:匹配失败
- 输入:'ntt$', 预期输出:匹配成功
- 输入:'otntfnf$', 预期输出:匹配成功
- 输入:'of$', 预期输出:匹配失败
设计原因:
- 测试用例1包含了文法中的所有终结符,以及一个以'$'结尾的结束符号,可以检验文法是否能正确地识别输入串。
- 测试用例2包含了文法中所有非终结符的组合方式,可以检验文法是否能正确地进行规约。
- 测试用例3包含了不符合文法规则的输入串,可以检验文法是否能正确地识别错误。
- 测试用例4包含了文法中的所有终结符,可以检验文法是否能正确地识别输入串。
- 测试用例5包含了文法中所有非终结符的组合方式,可以检验文法是否能正确地进行规约。
- 测试用例6包含了不符合文法规则的输入串,可以检验文法是否能正确地识别错误。
原文地址: http://www.cveoy.top/t/topic/oHKS 著作权归作者所有。请勿转载和采集!