上下文无关文法测试充分性
| 外文标题 | On adequate testing of context-free grammars |
| 文献类型 | 期刊 |
| 作者 | 李虎[1];金茂忠[2];高仲仪[3];刘超[4] |
| 机构 | [1]北京航空航天大学计算机学院,北京航空航天大学计算机学院,北京航空航天大学计算机学院,北京航空航天大学计算机学院 北京100083,北京100083,北京100083,北京100083 [2]北京航空航天大学计算机学院,北京航空航天大学计算机学院,北京航空航天大学计算机学院,北京航空航天大学计算机学院 北京100083,北京100083,北京100083,北京100083 [3]北京航空航天大学计算机学院,北京航空航天大学计算机学院,北京航空航天大学计算机学院,北京航空航天大学计算机学院 北京100083,北京100083,北京100083,北京100083 [4]北京航空航天大学计算机学院,北京航空航天大学计算机学院,北京航空航天大学计算机学院,北京航空航天大学计算机学院 北京100083,北京100083,北京100083,北京100083 ↓ |
| 来源信息 | 年:2003卷:29期:10页码范围:869-872 |
| 期刊信息 | 北京航空航天大学学报ISSN:1001-5965 |
| 关键词 | 上下文无关文法;文法测试;测试充分性准则;测试复杂性 |
| 摘要 | 讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性准则,提出了一个上下文无关文法的测试充分性准则族.分析了该准则族中各准则之间的包含关系,以及这种包含关系与揭示文法所特有的2类缺陷的能力之间的关系. 计算和比较了准则族中各准则的测试集规模复杂性.为了评价文法的测试开销,定义了一个上下文无关文法的测试复杂性度量,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小. |
| 收录情况 | PKU |
| 所属部门 | 计算机学院 |
| 链接地址 | http://d.g.wanfangdata.com.cn/Periodical_bjhkhtdxxb200310006.aspx |
| DOI | 10.3969/j.issn.1001-5965.2003.10.006 |
全文
影响因子：
软件工程研究所
dc:title:上下文无关文法测试充分性
dc:creator:李虎;金茂忠;高仲仪,等
dc:date: publishDate:2003-11-30
dc:type:期刊
dc:format: Media：北京航空航天大学学报
dc:identifier: LnterrelatedLiterature：北京航空航天大学学报.2003,29(10),869-872.
dc:identifier:DOI：10.3969/j.issn.1001-5965.2003.10.006
dc: identifier:ISBN:1001-5965
