异常控制流相关论文
程序的异常处理机制是提高软件可靠性与软件容错的常用重要手段之一，该机制可以将程序从错误状态恢复到正常状态，避免软件失效的发生......
提出一种结合运行时异常的静态-刹试方法，将故障检测及控制流扩展交替重复执行：故障检测导致控制流上添加代表运行时异常的边，额外添......
当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的......
通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的＂故障-差错-异常＂传播过程.结合......
