10.3969/j.issn.1003-3254.2009.07.010
TTCN-3编译器测试用例自动扩展生成
针对目前编译器采用手工测试方式存在出错率高、测试覆盖难以度量等问题,以TTCN-3语言编译器为例,在对TTCN-3核心语言进行等价类划分的基础上,手工编写黑盒测试用例作为输入,收集并求解被测TTCN-3编译器源码中的每个条件,据此修改由参考编译器生成的对应语法树相关结点,扩展生成新的测试用例.实验表明:根据对被测编译器源码中的条件收集而自动扩展生成的测试集,不仅可以提高测试集的正确性,还可以保证对被测编译器实现的条件覆盖.
TTCN-3编译器测试、自动化测试、约束求解、条件覆盖、语法树
18
TP3;G4
2009-07-10(万方平台首次上网日期,不代表论文的发表时间)
共4页
41-44