上下文无关文法测试充分性

摘要：

讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性准则,提出了一个上下文无关文法的测试充分性准则族.分析了该准则族中各准则之间的包含关系,以及这种包含关系与揭示文法所特有的2类缺陷的能力之间的关系. 计算和比较了准则族中各准则的测试集规模复杂性.为了评价文法的测试开销,定义了一个上下文无关文法的测试复杂性度量,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小.

关键词：上下文无关文法、文法测试、测试充分性准则、测试复杂性

所属期刊栏目：29

分类号：TP301.2;TP311.5(计算技术、计算机技术)

在线出版日期：2003-11-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：869-872