上下文无关文法测试充分性
更新时间：2019-05-21
访问次数：
关键词：上下文无关文法 文法测试 测试充分性准则 测试复杂性
作者单位：北京航空航天大学计算机学院 北京 （100083）
内容提要：讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这种包含关系与揭示文法所特有的 2类缺陷的能力之间的关系 .计算和比较了准则族中各准则的测试集规模复杂性 .为了评价文法的测试开销 ,定义了一个上下文无关文法的测试复杂性度量 ,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小 .
期刊名：北京航空航天大学学报
期号：第9-11期
年份：2003
页数：869-873
