期刊文献+

基于CIL的C语言类型系统构建研究

C type system construction research based on CIL
下载PDF
导出
摘要 针对C单元的测试用例自动生成的研究,提出在基于OCAML(object CAML)的CIL(C intermediate language)工具包上的类型系统构建方法。通过工具前端对C单元中代码的类型插桩,对基本数据类型以及每个全局对象、自定义对象进行类型统计,实现自动检测C单元中对象类型,在工具后端根据这些对象类型和其内存布局将当前的测试用例可视化。结合具体的CIL开源工具,为解决这类测试用例可视化的问题提供一个解决方案。 Aiming at the study of automatic test data generation on C units, a method is proposed on how to construct type system based on CIL toolkit in object CAML. The front-end of tool instruments type of C units, and add up the primitive data type, each global object and object user-defined. Automatic detection of object type in C units is implemented. Finally, the back-end of tool prints the runtime test case based on the object type and memory layout. The tool supports a solution for the problem of test case visualization to combine open source tool CIL.
出处 《计算机工程与设计》 CSCD 北大核心 2014年第5期1667-1673,共7页 Computer Engineering and Design
基金 国家自然科学基金重点项目(91118007) 国防科工局"航天器产品软件安全性评价体系及关键技术研究"基金项目
关键词 测试用例 自动生成 CIL(C语言中间语言) 类型系统 类型插桩 可视化 test case automated generation CIL (C intermediate language) type system type instrumentation visualization
  • 相关文献

参考文献14

  • 1Boonstoppel P,Cadar C,Engler D.Rwset:Attacking path explosion in constraint-based test generation[C]//Proceedings of the Theory and Practice of Software,14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,2008:351-366.
  • 2Atif M Memon,Myra B Cohen.Automated testing of GUI applications:Models,tools and controlling flakiness[C]//Proceedings of the International Conference on Software Engineering,2013.
  • 3Inderveer Chana,Priyanka Chawla.Testing perspectives for cloud-based applications[J].Software Engineering Frameworks for the Cloud Computing Paradigm Computer Communications and Networks,2013:145-164.
  • 4Nguyen,CD,Marchetto A,Tonella P.Test Case prioritization for audit testing of evolving Web services using information retrieval techniques[C]//IEEE International Conference on Web Services,2011.
  • 5Ho Cheng-Yuan,Wang Fu-Yu,Tseng Chien-Chao,et al.NAT-compatibility testbed:An environment to automatically verify direct connection rate[J].IEEE Communications Letters,2011,15 (1):4-6.
  • 6Huang W Y,Hu J W,Lin S C,et al.Design and implementation of automatic network topology discovery system for international multi-domain future internet testbed[J].Journal of Internet Technology,2013,14 (2):181-188.
  • 7Tarik Nahhal.A formal framework of hybrid test cases generation applied to embedded systems[J].IJCSI International Journal of Computer Science Issues,2013,10 (2):337-345.
  • 8Burnim J,Sen K.Heuristics for scalable dynamic test generation[C]//Washington,DC,USA:Proceedings of the 23rd IEEE/ACM International Confere-nce on Automated Software Engineering.IEEE Computer Society,2008:443-446.
  • 9Yu Xiao,Sun Shuai,Pu Geguang,et al.A parallel approach to concolic testing with low-cost synchronization[C]//Shanghai,China:Proc the 4th International Wokshop on Harnessing Theories for Tool Support in Software,2010.
  • 10Wang Zheng,Yu Xiao,Sun Tao,et al.Test data generation for derived types in C program[C]//Tianjin,China:Proc the Third IEEE International Symposium on Theoretical Aspects of Software Engineering,2009.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部