期刊文献+

基于覆盖测试的嵌入式软件自动裁剪 被引量:6

Automatic Tailoring for Embedded Software Based on Coverage Test
在线阅读 下载PDF
导出
摘要 针对软件移植嵌入式平台时的裁剪问题,提出一个通用的、自动化的裁剪方案。该方案基于覆盖测试思想,利用源代码静态分析技术,在每个函数的首尾插入桩代码,通过执行已插桩的程序,动态地获得函数的覆盖信息。根据函数的覆盖信息,能对软件进行自动化的裁剪。该裁剪方案可以将软件体积减少30%左右。 This paper gives a solution of a general way for automatic tailoring while transplanting a software to an embedded systeln. The solution is based on the technique of coverage test. It makes static analysis for the source code which is tailored, and inserts the stub code into the beginning and ending of each function. After instrumentation, it executes the code and gets the coverage information. It tailors those functions which are never used. Though this way, it can reduce the size of software by about 30%.
出处 《计算机工程》 CAS CSCD 北大核心 2010年第1期73-75,共3页 Computer Engineering
关键词 嵌入式软件 插桩 覆盖测试 裁剪 embedded software instrumentation coverage test tailoring
  • 相关文献

参考文献6

二级参考文献11

  • 1汪文勇,王学东,向渝,唐科,刘利枚.汇编嵌入式软件程序流程图自动生成的研究[J].计算机科学,2005,32(2):173-175. 被引量:9
  • 2Hawkins J,Howard R,Nguyen H.Automated Real-time Testingfor Embedded Control System[DB/OL].2004-12.http://arxiv.org/ abs/cs/0111005.7 Jan 2002/21.
  • 3Advanced coverage metrics for object-oriented software[EB/OL].IPL Information Processing Ltd,2005.
  • 4Ernst M D,Cockrell J,Griswold W G,et al.Dynamically discovering likely program invariants to support program evolution[C].Los Angeles,CA,USA:Proceedings of the 21 st International Conference on Software Engineering,1999:213-224.
  • 5Chen T Y,Low C K.Dynamic data flow analysis for C++[C].Proceedings of Asia Pacific Software Engineering Conference,1995:22-28.
  • 6Insure++ Manuals[OL].ParaSoft Corporation,2004.
  • 7Purify:Fast detection of memory leaks and access errors[EB/OL].Purify Product Informaiton Whitepapers,Rational Software Corporation,2006.
  • 8Huang J C.Program instrumentation and software testing[J].Computer,1978,11 (4):25-32.
  • 9王璞,张臻鉴,王玉玺.基于覆盖的软件测试技术在实时嵌入式软件中的应用研究[J].计算机工程与设计,1998,19(6):45-49. 被引量:18
  • 10魏光新,苏丽.逻辑覆盖测试工具的设计与实现[J].计算机工程与应用,2000,36(5):106-109. 被引量:11

共引文献18

同被引文献33

  • 1雷必成.嵌入式系统中TCP/IP协议的精简与实现[J].微计算机信息,2006(06Z):107-109. 被引量:23
  • 2吕琳.实时嵌入式软件测试研究与应用[J].电子科技,2006,19(8):28-30. 被引量:3
  • 3高传平,谈利群,宫云战.基于抽象语法树的代码静态自动测试方法研究[J].北京化工大学学报(自然科学版),2007,34(A01):25-29. 被引量:11
  • 4Karim Yaghmour. Building embedded linux system [ M ]. New York:O'Reilly,2008.
  • 5Joseph L. OSEK/VDX汽车电子嵌入式软件编程技术[M]. 罗克露, 译. 北京: 北京航空航天大学出版社, 2004.
  • 6Hutcheson M L. Software Testing Fundamentals Methods and Metrics[M]. 包晓露, 王小娟, 贾有良, 等, 译. 北京: 人民邮电出版社, 2007.
  • 7Milner JA.Mechanisms by which garlic and allyl sulfur compounds supress carcinogen bioactivition. Adv Exp Med Biol,2001,492:69-81.
  • 8罗克露,主编.嵌入式软件调试技术[M]. 电子工业出版社, 2008
  • 9Ebert, C.,Jones, C.Embedded Software: Facts, Figures, and Future. Computer . 2009
  • 10J. C. Huang.Program Instrumentation and Software Testing. Computer . 1978

引证文献6

二级引证文献21

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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