期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向对象程序的异常分析与测试方法述评 被引量：2

Survey on exception analysis and testing methods of object-oriented programs
在线阅读 下载PDF
导出
摘要 从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。 The paper summarized the analysis methods and testing techniques for exception handlings, analyzed and compared some representative methods in each category. Then introduced the work of improving exception testing techniques and implementing the relevant prototype for C ＋ ＋ programs. Finally, explored directions of future research.
作者 毛澄映 卢炎生 闫伟 江胜
机构地区 华中科技大学计算机科学与技术学院
出处 《计算机应用研究》 CSCD 北大核心 2007年第8期25-29,37,共6页 Application Research of Computers
基金 国家"十五"科技预研基金资助项目(41315.9.2 10104010201) 湖北省自然科学基金资助项目(2005ABA266)
关键词 异常处理 分析与测试 控制流图 形式推理 覆盖准则 exception handling analysis and testing control flow graph formal inferencing coverage criteria
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献52

  • 1CARGILL T.Exception handling:a false sense of security[J].C+ + Report,1994,6(9):21-24.
  • 2MILLER R,TRIPATHI A.Issues with exception handling in object-oriented systems[C]//Proc of ECOOP'97,Lecture Notes in Computer Science.Finland:Springer-Verlag,1997:85-103.
  • 3SINHA S,HARROLD M J.Analysis and testing of programs with exception handling constructs[J].IEEE Trans on Software Eng,2000,26(9):849-871.
  • 4ROBILLARD M P,MURPHY G C.Static analysis to support the evolution of exception structure in object-oriented systems[J].ACM Trans on Software Eng and Methodology,2003,12(2):191-221.
  • 5GARCIA A F,BEDER D M,RUBIRA C M F.An exception hand-ling software architecture for developing fault-tolerant software[C]//Proc of HASE 2000.New Mexico:[s.n.],2000:311-320.
  • 6ISSARNY V,BENATRE J P.Architecture-based exception handling[C]//Proc of the 34th Annual Hawaii Int'l Conf on System Scie-nces.Washington D C:[s.n.],2001:1-10.
  • 7LIPPERT M,LOPES C V.A study on exception detection and hand-ling using aspect-oriented programming[C]//Proc of the 22nd Int'l Conf of Software Engineering (ICSE).Orlando:ACM Press,2000:418-427.
  • 8JIANG Shu-juan,XU Bao-wen.An efficient and reliable object-oriented exception handling mechanism[J].ACM SIGPLAN Notices,2005,40(2):27-32.
  • 9SHELEKHOV V I,KUKSENKO S V.Data flow analysis of Java programs in the presence of exceptions[C]//Proc of PSI'99.Novoqibirsk:[s.n.],2000:389-395.
  • 10CHOI J D,GROVE D,HIND M,et al.Efficient and precise mode-ling of exceptions for the analysis of Java programs[C]//Proc of PASTE'99.NewYork:ACM,1999:21-31.

二级参考文献37

  • 1毛澄映,卢炎生.面向对象类簇级测试中控制依赖分析方法研究[J].计算机工程与科学,2005,27(8):65-69. 被引量：6
  • 2J. Voas, L. Morell, K. Miller. Predicting where faults can hide from testing. IEEE Software, 1991, 8(2): 41-48.
  • 3S. A. Vilkomir, J. p. Bowen, Formalization and analysis of control-flow testing criteria. SCISM, South Bank University,London, UK, Tech. Rep. : SBU-CISM-01-01, 2001.
  • 4P. C. Jorgensen. Software Testing: A Craftsman's Approach(Second edition). Boca Raton, Florida, USA: CRC Press, 2002.
  • 5S. C. Ntafos. A comparison of some structural tempting strategies.IEEE Trans. Software Engineering, 1988, 14(6): 868-874.
  • 6D. F. Yates, N. Malevris. Reducing the effects of infeasible paths in branch testing. ACM SIGSOFT Soft. Eng. Notes,1989, 14(8): 48-54.
  • 7A. Bertolino, R. Mirandola, E. Peciola. A case study in branch testing automation. Journal of Systems and Software, 1997, 38(1): 47-59.
  • 8A. Bertolino, M Marre. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Trans. Software Engineering, 1994, 20(12) : 885 - 899.
  • 9E. J. Weyuker. The application of program schema results to programs. International Journal of Computer and Information Science, 1979, 8(5) : 387-403.
  • 10Chen H Y,Tse T H,Chen T Y.TACCLE:a methodology for Object-Oriented software testing at the class and cluster levels[J].ACM Transactions on Software Engineering and Methodology,2001,10(1):56-109.

共引文献66

同被引文献16

  • 1罗江琴.网络环境下多进程实时通信技术研究[J].长春工程学院学报（自然科学版）,2003,4(2):70-72. 被引量：2
  • 2王苓,苏维均.基于多线程技术的多串口通信[J].微计算机信息,2006,22(03S):253-255. 被引量：22
  • 3周明天.TCP／IP网络原理与技术[M].北京：清华大学出版社,1995.8-10.
  • 4ECKEL B.Java编程思想[M].4版.北京:机械工业出版社,2007.
  • 5THUMMALAPENTA S, XIE Tao. Mining exception-handling rules as sequence association rules [ C ]//Proc of the 31 st International Confer- ence on Software Engineering. 2009:496-506.
  • 6SHAH H, BGORG C, HARROLD M J. Understanding exception handling: viewpoints of novices and experts[ J]. IEEE Trans on Software Engineering, 2010, 36(2):150-161.
  • 7MOSER O, ROSENBERG F, DUSTDAR S. Non-intrusive monitoring and service adaptation for WS-BPEL [ C ]//Proc of the 17th Interna- tional Conference on World Wide Web. New York: ACM Press, 2008,815-824.
  • 8BANACH R, POPPLETON M, STEPNEY S. Retrenching the purse: finite exception logs, and validating the small[ C ]//Proc of the 30th Annual IEEE/NASA Software Engineering Workshop. 2006:234-248.
  • 9O' Reilly. An exception handling framework for J2EE applications [ EB/OL]. (2006-01-11 ) [2013-12-20]. http://www, onjava, cnm/ pub/a/on java/2006/01/11/exception-handling-framework-for-j2 ec. html.
  • 10W3C DOM IG. W3C document object model[ EB/OL]. (2009-01- 06). [ 2013-12-10 ]. http ://www. w3. org/DOM.

引证文献2

二级引证文献8

计算机应用研究
2007年 第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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