面向对象程序的异常分析与测试方法述评  

Survey on exception analysis and testing methods of object-oriented programs

作　　者：毛澄映[1] 卢炎生[1] 闫伟[1] 江胜[1] 

机构地区：[1]华中科技大学计算机科学与技术学院

出　　处：《计算机应用研究》2007年第8期25-29,37,共6页Application Research of Computers

基　　金：国家"十五"科技预研基金资助项目(41315.9.2;10104010201);湖北省自然科学基金资助项目(2005ABA266)

摘　　要：从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在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.

关 键 词：异常处理 分析与测试 控制流图 形式推理 覆盖准则 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]