运行时异常对软件静态测试的影响研究
提出一种结合运行时异常的静态-刹试方法，将故障检测及控制流扩展交替重复执行：故障检测导致控制流上添加代表运行时异常的边，额外添加的边又导致检测到更多的故障，这个过程重复迭代到控制流不再扩展为止．应用异常模式状态机描述运行时异常的特性，通过其故障状态发现运行时异常；应用运行时异常控制流作为故障检测的运行环境，在传统控制流上增加处理运行时异常的边；结合现有静态测试技术，通过迭代方程生成运行时异常控制流集，以实现控制流扩展和新故障检测的反复迭代过程．最后是静态测试工具DTS的实施环境以及该方法在DTS上的应用．
静态测试 异常控制流 异常控制流集
金大海 官云战 杨朝红 肖庆
北京邮电大学网络与交换技术国家重点实验室,北京,100876
国内会议
合肥
中文
149-157
2010-07-24（万方平台首次上网日期，不代表论文的发表时间）