TTCN-3类型系统测试用例集自动生成
Test Suite Generation for TTCN-3 Type System
摘要
针对编译器测试中最为重要的测试用例集构造问题,提出了针对TTCN-3语言类型系统的编译器测试用例集层次化、结构化的自动生成方案。语法方面,严格遵从语言规格说明中的扩展巴科斯-瑙尔范式(EBNF);语义正确性上,采用定义"元素定义偏序文件"、建立抽象语法树等多种方法加以保证。实验表明新方案极大提高了测试用例集的生成效率,对TTCN-3类型系统语法、语义两方面都达到很好的测试覆盖,增强了发现编译器缺陷的能力。该方案对于其他语言的编译器测试也具有参考价值。
出处
《计算机系统应用》
2009年第9期45-49,共5页
Computer Systems & Applications
参考文献7
-
1Malloy BA, Power JF. An interpretation of purdom's algorithm for automatic generation of test cases. 1st Annual International Conference on Computerand Information Science, Orlando, FL, 2001.
-
2沈扬,陈海明.基于上下文依赖规则覆盖的句子生成[J].计算机工程与应用,2005,41(17):96-100. 被引量：3
-
3Kalinov A, Kossatchev A. Petrenko A. Coverage-Driven Automated Compiler Test Suite Generation Proc. of LDTA'2003(Language descriptions, Tools and Applications). Elsevier, 2003.
-
4Yoshikawa T, Shimura K. Random program generator for Java JIT compiler test system. QSIC2003 (the 3rd International Conference on Quality Soitware), 2003.
-
5ETSI. ES 201 873-1. The Testing and Test Control Notation version 3. Part 1: TTCN-3 Core Language. France: ETS12007 - 02.
-
6Bazzichi F, Spadafora I. An automatic generator for compiler testing. IEEE Transactions on Software Engineering, 1982, SE-8(4):343 - 353.
-
7Celentano A, Reghizzi S, Vigna DP, Ghezzi C. Compiler testing using a sentence generator. Software-Practice and Experience, 1980,10:897 - 913.
二级参考文献11
-
1P Purdom.A sentence generator for testing parsers[J].BIT, 1972-04;12:366-375.
-
2F Bazzichi,I Spadaforo.An automatic generator for compiler testing[J].IEEE Transactions on Software Engineering,1982;SE-8(4):343-353.
-
3A Celentano,S Reghizzi,P Della Vigna et al.Compiler testing using a sentence generator[J].Software-Practice and Experience, 1980;10:897-913.
-
4Brian A Malloy,James F Power.An Interpretation of Purdom's Algorithm for Automatic Generation of Test Cases[C].In:ACIS Annual International Conference on Computer and Information Scienee(ICLS'01).
-
5V Murali ,R K Shyamasundar.A sentence generator for a compiler for PT,a pascal subset[J].Software-Practice and Experience, 1983;13:857-869.
-
6Ralf Lammel.Grammar testing[C].In:H Hussmarm ed.FASE 2001 ,LNCS 2029,2001:201-216.
-
7陈海明.LFC语言的测试方法[R]..中科院软件所课题报告[C].,2004..
-
8J Earley.An efficient context-free parsing algorithm[J].Communications of the ACM,1970;13(2):94-102.
-
9吴端仪.关于覆盖分析程序的文档说明[R]..中科院软件所课题报告[C].,2003..
-
10Dong Yunmei,Li Kaide,Chen Haiming et al.Design and ImpIementation of the Formal Specification Acquisition System SAQ[C].In:IFIP 16th World Computer Congress 2000,Beijing,China:Publishing House of Electronics Industry,2000-08:201-211.
-
1曾伟明,薛云志,赵琛,贺也平.一种编译优化测试用例自动生成方法的设计与实现[J].小型微型计算机系统,2009,30(1):13-18. 被引量：2
-
2陈张荣.一种基于TTCN-3工具的简单设计与实现[J].计算机光盘软件与应用,2014,17(8):256-256.
-
3宋波,李秀峰,蒋朝哲.对TTCN-3同步的扩展[J].西南交通大学学报,2005,40(1):39-43. 被引量：2
-
4曹成,闫相宏.TTCN-3语法分析器的自动生成[J].硅谷,2010,3(17):183-184. 被引量：1
-
5市场[J].中国公共安全,2007,0(06B):24-25.
-
6史晋,陈英,孙文灿.O_OCTT设计中面向对象方法的研究[J].计算机工程与应用,2004,40(31):114-116.
-
7吕映芝,冯建华.基于LL（2）文法的编译器的构造工具—SD＆EBNF—LL（2）[J].新浪潮,1995(12):2-4. 被引量：2
-
8饶彦,陈伟.基于编译器控制流结构测试用例的生成[J].计算机时代,2005(4):34-35.
-
9孙海燕,陈跃跃,王峰,杨灿群,阳柳,王霁.TI DSP C语言编译器正确性测试[J].计算机科学,2015,42(S1):513-515 545. 被引量：2
-
10郑海函,刘俊.一种基于TTCN-3语言的RRU自动化测试实现[J].数字通信,2014,41(1):24-27.
