一种基于异常控制流的程序错误行为分析方法
程序的异常处理机制是提高软件可靠性与软件容错的常用重要手段之一，该机制可以将程序从错误状态恢复到正常状态，避免软件失效的发生或以安全的方式退出程序。当程序发生错误且该错误被异常处理机制侦测时,程序控制流会跳转到异常控制流中进行相关异常的处理.异常控制流的发生表明了程序正处于错误状态之中,即程序存在差错.但目前相关研究并没有从异常控制流的角度对程序的错误行为进行描述与分析.针对以上问题,本文提出了一种基于异常控制流的程序错误行为分析方法,以源代码静态分析的方式对程序中throw/raise语句引起的显式异常控制流进行分析,并基于函数级异常控制流提出了用于描述程序中与异常控制流相关的错误行为模型.同时,本文描述了函数级异常控制流的生成以及与异常控制流相关的错误行为模型计算的相关算法,建立了自动化原型分析工具,对Openstack的核心组件进行了相关的错误行为分析.实验结果表明了从功能级别对程序进行基于异常控制流的错误行为分析的合理性和有效性,而该方法为当前具有较大规模的、具有异常处理机制的程序的错误行为自动化分析提供了可行性.
软件测试 程序错误行为 异常控制流 功能级别
孙亚 江建慧
同济大学软件学院,上海中国201804
国内会议
武汉
中文
266-276
2014-07-19（万方平台首次上网日期，不代表论文的发表时间）