Automatic Extension and Generation of Test Cases for TTCN-3 Compiler
TTCN-3 编译器测试用例自动扩展生成

针对目前编译器采用手工测试方式存在出错率高、测试覆盖难以度量等问题，以TTCN-3 语言编译器为例，在对TTCN-3 核心语言进行等价类划分的基础上，手工编写黑盒测试用例作为输入，收集并求解被测TTCN-3 编译器源码中的每个条件，据此修改由参考编译器生成的对应语法树相关结点，扩展生成新的测试用例。实验表明：根据对被测编译器源码中的条件收集而自动扩展生成的测试集，不仅可以提高测试集的正确性，还可以保证对被测编译器实现的条件覆盖。