[发明专利]基于实时堆栈的程序切片方法

摘要

本发明涉及一种基于实时堆栈的程序切片方法，该程序切片方法利用程序异常抛出时保存的堆栈跟踪信息，推测程序的执行轨迹。该程序切片方法极大的提高了静态程序切片在软件开发中的实时性，提高了静态程序切片的精度，减少了切片结果包含的语句的数量，有效的缩短了程序开发和维护的时间。

主权项

基于实时堆栈的程序切片方法，其特征在于：包括如下步骤：(1)预处理程序，对程序进行语法、词法分析，生成抽象语法树；(2)根据程序测试用例运行程序，获取实时堆栈输出；(3)将实时堆栈输出信息导入堆栈信息分析器，确定程序语句的执行情况；(4)根据堆栈追踪分析程序中方法的执行情况，将调用程序方法分为三类，可能执行的方法，部分执行的方法，确定没有执行的方法；如果是可能执行的方法，则执行步骤(5)，如果是部分执行的方法，则执行步骤(6)，如果是确定没有执行的方法，则执行步骤(7)；(5)对方法中所有语句计算依赖关系，构造相应的程序依赖图，然后进行程序切片操作；(6)只对需要执行的那部分方法计算依赖信息，构造相应的程序依赖图，然后进行程序切片操作；(7)不对方法中的语句建立任何计算依赖关系，也不构造程序依赖图，结束程序。