TTCN-3类型系统测试用例集自动生成

摘要：

针对编译器测试中最为重要的测试用例集构造问题,提出了针对TTCN-3语言类型系统的编译器测试用例集层次化、结构化的自动生成方案.语法方面,严格遵从语言规格说明中的扩展巴科斯-瑙尔范式(EBNF):语义正确性上,采用定义"元素定义偏序文件"、建立抽象语法树等多种方法加以保证.实验表明新方案极大提高了测试用例集的生成效率,对TTCN-3类型系统语法、语义两方面都达到很好的测试覆盖.增强了发现编译器缺陷的能力.该方案对于其他语言的编译器测试也具有参考价值.

关键词：TTCN-3类型系统、编译器测试、测试用例集自动生成、层次化、结构化方法

所属期刊栏目：18

分类号：TP3;H04

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

页数：共5页

页码：45-49