%0 Journal Article
%T Test Suite Generation for TTCN-3 Type System<br>TTCN-3类型系统测试用例集自动生成
%A 蒋凡
%A 金鑫
%A 吴文娟
%J 计算机系统应用
%D 2009
%I 
%X 针对编译器测试中最为重要的测试用例集构造问题，提出了针对TTCN-3语言类型系统的编译器测试用例集层次化、结构化的自动生成方案。语法方面，严格遵从语言规格说明中的扩展巴科斯-瑙尔范式(EBNF); 语义正确性上，采用定义“元素定义偏序文件”、建立抽象语法树等多种方法加以保证。实验表明新方案极大提高了测试用例集的生成效率，对TTCN-3类型系统语法、语义两方面都达到很好的测试覆盖，增强了发现编译器缺陷的能力。该方案对于其他语言的编译器测试也具有参考价值。
%K TTCN-3类型系统
%K 编译器测试
%K 测试用例集自动生成
%K 层次化、结构化方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D4F6864C950C88FFCE5B6C948A639E39&aid=EE88677AC1D38C8F8431678723DC20BF&yid=DE12191FBD62783C&vid=13553B2D12F347E8&iid=9CF7A0430CBB2DFD&sid=94E7F66E6C42FA23&eid=2A3781E88AB1776F&journal_id=1003-3254&journal_name=计算机系统应用&referenced_num=0&reference_num=7