如下:通过静态分析将程序巾与I/O操作有关的异常流提取出来,然后以错误植入思想为指导利用静态分析得出的异常流信息对软件中与I/O有关得异常流
进行测试.2007年【171他们在前面工作的基础上对程序中∞异常流的可视化做了研
究.
Jiang等118,19魄出了用错误植入的方法测试c++中异常处理代码的方法并开
第一章绪论
3
一
发了一个半自动工具.2006年他们将Robillard等提出的Java异常处理模型调整后用
在了C++程序中,以分析C++程序中的异常处理涮眇J.
Lu等【20J改进TSinha等提出的构建程序控制流图的算法,并将它用到了C++程
序中.改进的地方主要是:将数组操作,数值运算等可能引发的异常流也考虑在
了程序控制流图里.此外,他们还讨论了两种动态测试异的策略:基于约束求解的异常测试策略和统计结构性异常策略.
1.3目前存在的问题
由上面的现状可知:关于程序中异常处理代码的分析和测试,国内外研究者
已经做了大量的工作.但还有如下不足:
在引发异常语句的覆盖方面:Sinha,Jo的工作只考虑了由throw语句引发的异常.Robillard