期刊文献+

C编译系统中断处理机制测试方法 被引量:2

Testing Method for Interrupt Handling Mechanism of C Compiling System
下载PDF
导出
摘要 处理器在实际工作中会面对大量异步中断,而编译系统生成的代码可能由于多种原因导致处理器在中断干扰下不能正确运行。本文根据中断嵌套的递归特性提出一种基于寄存器采样与比较的编译系统测试方法,着重考察代码在异步中断干扰下运行的正确性。该方法同时可用于错误诊断,能够高效实现错误定位。实际应用证明该方法能够有效揭示并定位编译系统存在的错误,是对已有编译系统测试方法的一个补充。 Processor must react to interrupts from the outside world,but code generated by a compiling system may cause the system to not run correctly in such environment.According to the recursive nature of interrupt nesting,this paper proposes a testing method based on registers sampling and make a discussion on how to improve the efficiency of bug finding.The method is a supplement to normal testing methods and practical application demonstrated its efficiency.
出处 《微计算机信息》 2011年第5期182-184,共3页 Control & Automation
关键词 编译器 软件测试 中断 Compiler Software Testing Interrupt
  • 相关文献

参考文献8

  • 1Bailey, Mark W. and Davidson, Jack W., "Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls" [J], IEEE Transac- tions on Software Engineering, volume 29, issue 11, 2003.
  • 2Sheridan, Flash, "Practical Testing of a C99 Compiler Using Output Comparison"[J], software: Practice and Experience, Vol- ume 37, Issue 14, 25 November 2007.
  • 3GCC team. Installing GCC: Testing[EB/OL]. (2010-12). http:// gcc.gnu.org/install/test.html.
  • 4Plum Hall Inc. CV-Suite: The Plum Hall Validation Suite for C [EB/OL]. (2009-3). http://plumhall.com.
  • 5Perennial Inc. PERENNIAL CVSA, A Conformance Validation Suite for C Compilers[EB/OL]. (2008-12). http://www.peren.com.
  • 6American National Standard for Programming Language - C》(ANSI/ISO9899-1990) [S].
  • 7崔冬华,张霞.类对象测试数据自动生成研究[J].微计算机信息,2009,25(6):213-214. 被引量:3
  • 8Lindig, Christian, "Random Testing of the Translation of C Function Calls"[C], Proceedings of the Sixth International Work- Shop on Automated Debugging, ISBN 1-59593-050-7, Associa- tion for Computing Machinery 2005.

二级参考文献5

  • 1MCGRAW GE, MICHEAL C, SCHATZ M. Generating Software Test Data by Evolution [J].IEEE Transaction on Software Engineering, 2001, 27(12): 1085-1110.
  • 2MICHAEL C, MCGRAW G. Automated Software Test Data Generation for Complex Programs.13th IEEE International Conference on Automated Software Engineering, 1998[C][S.l.].1998:136-146.
  • 3STHAMER HH. The Automatic Generation of Software Test Data Using Genetic Algorithms [D]. Glamorgan: the University of Glamorgan, 1995.
  • 4姬秀荔,李爱玲,孙玉强.一种新的软件测试数据的进化生成方法[J].微计算机信息,2007,23(21):249-251. 被引量:3
  • 5沈昌松,朱建方,罗晓沛.软件测试用例的设计[J].微计算机信息,2001,17(2):48-49. 被引量:12

共引文献2

同被引文献6

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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