CN102214141A - 基于实时堆栈的程序切片方法 - Google Patents
基于实时堆栈的程序切片方法 Download PDFInfo
- Publication number
- CN102214141A CN102214141A CN2011101888100A CN201110188810A CN102214141A CN 102214141 A CN102214141 A CN 102214141A CN 2011101888100 A CN2011101888100 A CN 2011101888100A CN 201110188810 A CN201110188810 A CN 201110188810A CN 102214141 A CN102214141 A CN 102214141A
- Authority
- CN
- China
- Prior art keywords
- program
- parameter
- node
- limit
- dependence
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
本发明涉及一种基于实时堆栈的程序切片方法，该程序切片方法利用程序异常抛出时保存的堆栈跟踪信息，推测程序的执行轨迹。该程序切片方法极大的提高了静态程序切片在软件开发中的实时性，提高了静态程序切片的精度，减少了切片结果包含的语句的数量，有效的缩短了程序开发和维护的时间。
Description
技术领域
本发明涉及一种在软件开发过程中进行程序切片的方法，尤其是不仅可以有效处理复杂大型程序，而且可以提高静态程序切片精度的基于实时堆栈的程序切片方法。
背景技术
随着软件规模的日益增大，传统的调试技术不能够有效的处理复杂大型程序。大型应用系统通常有数百行的代码，程序开发人员往往不能够快速的理解程序中的代码，这给程序的调试和维护工作带来了很大的困难。而程序切片是一种程序分析技术，用来将大程序分解成小片段，删除一些与兴趣点不相关的语句，帮助开发人员从中提取感兴趣的部分。其概念和原理由M.Weiser于1979年首次建立。使用程序切片技术，将简化程序分析和理解的难度，加速程序的测试和调试工作，缩短程序的开发和维护时间。
程序P中的切片准则可以表示成一个二元组<P，V>，其中P是程序中的一条语句，V是在n处定义或引用的变量。关于该切片准则的切片将包含哪些影响和控制P处变量V的值得语句。程序切片的计算可以看作一个图的可达性问题，是在系统依赖上找出可达节点。系统依赖图由一个或多个程序依赖图组成。每个过程依赖图表示一个过程内的控制依赖和数据依赖关系。在系统依赖图中，每个过程的依赖图被连接起来，这些边表示过程间的数据依赖和控制依赖。
程序切片可以分为静态程序切片和动态程序切片。针对给定的切片准则，两者主要的差异在于进行切片时所需要的信息不同，静态程序切片仅需要程序的静态信息，即源程序；而动态程序切片需要根据程序的输入，记录程序的整个执行轨迹。静态程序切片考虑的是程序所有的执行情况，而动态切片仅考虑程序针对某一输入的特定执行情况。因此，动态切片包含的语句更少，结果更精确些。然而，动态程序切片需要的程序执行轨迹在获取和储存方面都受到时间和空间的限制。优化过的动态切片算法需要数分钟到几十分钟，其前期的准备时间更长。
目前大多数的编程语言都支持异常处理机制，在异常处理机制的帮助下，可以提高软件的健壮性，但是异常引起的程序终止也成为一种常见的程序错误。异常通常是由于程序执行过程中，出现了不期望或者错误的状态而引起的。以Java语言为例，异常分为应用异常和实时异常。运行时异常由Java虚拟机抛出，Java编译器不强制要求程序开发人员捕获。如果产生了运行时异常，而程序没有对其进行捕捉，那么程序只能终止。例如空指针引用这类异常，通常发生在多个过程的交互过程中。复杂的控制流及过程调用，使得定位引发异常的原因变得非常复杂。
当程序异常终止时，Java虚拟机将会产生堆栈跟踪信息，其中会包括抛出异常的方法以及异常抛出的行号，还有当前调用栈中的所有方法和调用语句所在的行。堆栈跟踪信息可以帮助开发人员修复程序中的错误，然而仅仅通过这些信息，开发人员往往无法精确的找到引发异常的原因。
发明内容
为了克服现有的静态程序切片其精度和实用性低的不足，本发明提供一种基于实时堆栈的程序切片方法，该切片方法可以利用程序异常抛出时保存的堆栈跟踪信息，推测程序的执行轨迹，并在切片的过程中排除与本次执行无关的语句，从而达到减小切片大小、提高程序切片精度的目的。
本发明解决其技术问题所采用的技术方案是：该基于实时堆栈的程序切片方法包括如下步骤：
(1)预处理程序，对程序进行语法、词法分析，生成抽象语法树。
(2)根据程序测试用例运行程序，获取实时堆栈输出。
(3)将实时堆栈输出信息导入堆栈信息分析器，确定程序语句的执行情况。
(4)根据堆栈追踪分析程序中方法的执行情况，将调用程序方法分为三类，可能执行的方法，部分执行的方法，确定没有执行的方法。如果是可能执行的方法，则执行步骤(5)，如果是部分执行的方法，则执行步骤(6)，如果是确定没有执行的方法，则执行步骤(7)。
(5)在程序执行中，这类方法可能被调用过，但是不能确定其中某个语句是否执行过。产生这种情况主要有两点原因，一是仅依靠堆栈追踪信息，对那些已经调用并且正常返回的方法，我们无法确定方法内具体的执行路径；二是由于面向对象语言中多态的特性，即使我们确定某个调用语句执行了，但是其调用的方法可能已经返回，无法确定其调用的是哪个类的方法。在这种情况下，应该对方法中所有语句计算依赖关系，构造相应的程序依赖图，然后进行程序切片操作。
(6)在程序执行中，这类方法中有一部分语句可能执行了，而另外一部分语句是可以确定没有被执行的。这类方法必须满足在执行中只被调用一次，并且因异常的抛出而终止，它们一定出现在堆栈追踪里面。我们可以根据该方法内异常终止的节点来确定，方法中哪些节点确定执行过，哪些节点没有执行过。在这种情况下，只对需要执行的那部分方法计算依赖信息，构造相应的程序依赖图，然后进行程序切片操作。
(7)在发生异常的执行过程中，这类方法是确定没有被执行过的。这类方法必须满足，在可能执行的方法和部分执行的方法中都没有被调用过，因此它们与本次执行没有任何关系，也就是他们与异常的产生没有关系，在后续切片计算过程中不需要考虑。在这种情况下，不对方法中的语句建立任何计算依赖关系，也不构造程序依赖图，结束程序。
所述步骤(5)中的可能执行方法包括如下步骤：
(5a)计算所有程序中过程内的依赖关系，并且为每个过程构造程序依赖图。程序依赖图是由控制依赖图和数据依赖图组成，表示程序语句间的控制依赖和数据依赖关系。
(5b)添加过程调用产生参数输入边，参数输出边，以及总结边，来表示过程间的依赖关系，构造出被切片程序的系统依赖图。
(5c)添加形式参数节点(Formal_in)和形式输出节点(Formal_out)节点。对于每个函数调用点，需要添加相应的实际参数节点(Actual_in)和实际输出节点(Actual_out)，并添加从实际参数节点到形式参数节点的参数输入边和从形式输出到实际输出节点的参数输出边用来表示参数的传递。并且添加从实际参数节点到实际输出节点的概括边。
(5d)首先不沿parameter_out边对系统依赖图进行第一遍遍历，然后第二次遍历时不沿parameter_in和call边，两步遍历过程中标记的节点即为切片。
(5e)程序切片完成后，结束程序。
所述步骤(6)中的部分执行的方法包括如下步骤：
(6a)计算部分程序中过程内的依赖关系，并且为每个过程构造程序依赖图。程序依赖图是由控制依赖图和数据依赖图组成，表示程序语句间的控制依赖和数据依赖关系。
(6b)添加过程调用产生参数输入边，参数输出边，以及总结边，来表示过程间的依赖关系，构造出被切片程序的系统依赖图。
(6c)添加形式参数节点(Formal_in)和形式输出节点(Formal_out)节点。对于每个函数调用点，需要添加相应的实际参数节点(Actual_in)和实际输出节点(Actual_out)，并添加从实际参数节点到形式参数节点的参数输入边和从形式输出到实际输出节点的参数输出边用来表示参数的传递。并且添加从实际参数节点到实际输出节点的概括边。
(6d)首先不沿parameter_out边对系统依赖图进行第一遍遍历，然后第二次遍历时不沿parameter_in和call边，两步遍历过程中标记的节点即为切片。
(6e)程序切片完成后，结束程序。
所述步骤(7)中的确定没有执行的方法包括如下步骤：
(7a)不进行程序模型的遍历，自动跳过确定没有执行的方法，结束程序。
本发明的有益效果是，该基于实时堆栈的程序切片方法极大的提高了静态程序切片在软件开发中的实时性，提高了静态程序切片的精度，减少了切片结果包含的语句的数量，有效的缩短了程序开发和维护的时间。
附图说明
下面结合附图和实施例对本发明作进一步说明。
图1是本发明依据堆栈跟踪进行程序切片的流程。
图2是本发明依据堆栈跟踪进行方法分类的算法。
具体实施方式
为了便于利用实时堆栈信息对程序进行切片，我们首先对切片过程的依赖关系进行定义：
定义1控制依赖：如果程序中语句u和w满足以下三个条件，那么就称w直接控制依赖于u；
1)从u到w之间存在一条路径P；
2)从P上除u，w之外的每个节点v，节点w都是它的后向必经节点；
3)节点w不是节点u的后向必经节点。
定义2控制依赖图G(N，E)，N表示程序中语句对应的节点集合，E表示边集，其中每条边u→w表示w控制依赖于u。
定义3数据依赖：如果程序中，语句u对变量v进行了定义，w引用了变量v的值，并且u到w之间存在一条路径，该路径上没有对v进行重新定义，那么就称w关于变量v直接数据依赖于w。
定义4数据依赖图G(N，E)，N表示程序中语句对应的节点集合，E表示边集，其中每条边u→w表示w直接数据依赖于u。
在图中，该基于实时堆栈的程序切片方法包括如下步骤：
(1)预处理程序，对程序进行语法、词法分析，生成抽象语法树。
(2)根据程序测试用例运行程序，获取实时堆栈输出。
(3)将实时堆栈输出信息导入堆栈信息分析器，确定程序语句的执行情况。
(4)根据堆栈追踪分析程序中方法的执行情况，将调用程序方法分为三类，可能执行的方法，部分执行的方法，确定没有执行的方法。如果是可能执行的方法，则执行步骤(5)，如果是部分执行的方法，则执行步骤(6)，如果是确定没有执行的方法，则执行步骤(7)。
(5)在程序执行中，这类方法可能被调用过，但是不能确定其中某个语句是否执行过。产生这种情况主要有两点原因，一是仅依靠堆栈追踪信息，对那些已经调用并且正常返回的方法，我们无法确定方法内具体的执行路径；二是由于面向对象语言中多态的特性，即使我们确定某个调用语句执行了，但是其调用的方法可能已经返回，无法确定其调用的是哪个类的方法。在这种情况下，应该对方法中所有语句计算依赖关系，构造相应的程序依赖图，然后进行程序切片操作。
(6)在程序执行中，这类方法中有一部分语句可能执行了，而另外一部分语句是可以确定没有被执行的。这类方法必须满足在执行中只被调用一次，并且因异常的抛出而终止，它们一定出现在堆栈追踪里面。我们可以根据该方法内异常终止的节点来确定，方法中哪些节点确定执行过，哪些节点没有执行过。在这种情况下，只对需要执行的那部分方法计算依赖信息，构造相应的程序依赖图，然后进行程序切片操作。
(7)在发生异常的执行过程中，这类方法是确定没有被执行过的。这类方法必须满足，在可能执行的方法和部分执行的方法中都没有被调用过，因此它们与本次执行没有任何关系，也就是他们与异常的产生没有关系，在后续切片计算过程中不需要考虑。在这种情况下，不对方法中的语句建立任何计算依赖关系，也不构造程序依赖图，结束程序。
所述步骤(5)中的可能执行方法包括如下步骤：
(5a)计算所有程序中过程内的依赖关系，并且为每个过程构造程序依赖图。程序依赖图是由控制依赖图和数据依赖图组成，表示程序语句间的控制依赖和数据依赖关系。
(5b)添加过程调用产生参数输入边，参数输出边，以及总结边，来表示过程间的依赖关系，构造出被切片程序的系统依赖图。
(5c)添加形式参数节点(Formal_in)和形式输出节点(Formal_out)节点。对于每个函数调用点，需要添加相应的实际参数节点(Actual_in)和实际输出节点(Actual_out)，并添加从实际参数节点到形式参数节点的参数输入边和从形式输出到实际输出节点的参数输出边用来表示参数的传递。并且添加从实际参数节点到实际输出节点的概括边。
(5d)首先不沿parameter_out边对系统依赖图进行第一遍遍历，然后第二次遍历时不沿parameter_in和call边，两步遍历过程中标记的节点即为切片。
(5e)程序切片完成后，结束程序。
所述步骤(6)中的部分执行的方法包括如下步骤：
(6a)计算部分程序中过程内的依赖关系，并且为每个过程构造程序依赖图。程序依赖图是由控制依赖图和数据依赖图组成，表示程序语句间的控制依赖和数据依赖关系。
(6b)添加过程调用产生参数输入边，参数输出边，以及总结边，来表示过程间的依赖关系，构造出被切片程序的系统依赖图。
(6c)添加形式参数节点(Formal_in)和形式输出节点(Formal_out)节点。对于每个函数调用点，需要添加相应的实际参数节点(Actual_in)和实际输出节点(Actual_out)，并添加从实际参数节点到形式参数节点的参数输入边和从形式输出到实际输出节点的参数输出边用来表示参数的传递。并且添加从实际参数节点到实际输出节点的概括边。
(6d)首先不沿parameter_out边对系统依赖图进行第一遍遍历，然后第二次遍历时不沿parameter_in和call边，两步遍历过程中标记的节点即为切片。
(6e)程序切片完成后，结束程序。
所述步骤(7)中的确定没有执行的方法包括如下步骤：
(7a)不进行程序模型的遍历，自动跳过确定没有执行的方法，结束程序。
Claims (4)
1.基于实时堆栈的程序切片方法，其特征在于：包括如下步骤：
(1)预处理程序，对程序进行语法、词法分析，生成抽象语法树；
(2)根据程序测试用例运行程序，获取实时堆栈输出；
(3)将实时堆栈输出信息导入堆栈信息分析器，确定程序语句的执行情况；
(4)根据堆栈追踪分析程序中方法的执行情况，将调用程序方法分为三类，可能执行的方法，部分执行的方法，确定没有执行的方法；如果是可能执行的方法，则执行步骤(5)，如果是部分执行的方法，则执行步骤(6)，如果是确定没有执行的方法，则执行步骤(7)；
(5)对方法中所有语句计算依赖关系，构造相应的程序依赖图，然后进行程序切片操作；
(6)只对需要执行的那部分方法计算依赖信息，构造相应的程序依赖图，然后进行程序切片操作；
(7)不对方法中的语句建立任何计算依赖关系，也不构造程序依赖图，结束程序。
2.根据权利要求1所述的基于实时堆栈的程序切片方法，其特征是：所述步骤(5)中的可能执行的方法包括如下步骤：
(5a)计算所有程序中过程内的依赖关系，并且为每个过程构造程序依赖图，程序依赖图是由控制依赖图和数据依赖图组成，表示程序语句间的控制依赖和数据依赖关系；
(5b)添加过程调用产生参数输入边，参数输出边，以及总结边，来表示过程间的依赖关系，构造出被切片程序的系统依赖图；
(5c)添加形式参数节点(Formal_in)和形式输出节点(Formal_out)节点，对于每个函数调用点，需要添加相应的实际参数节点(Actual_in)和实际输出节点(Actual_out)，并添加从实际参数节点到形式参数节点的参数输入边和从形式输出到实际输出节点的参数输出边用来表示参数的传递，并且添加从实际参数节点到实际输出节点的概括边；
(5d)首先不沿parameter_out边对系统依赖图进行第一遍遍历，然后第二次遍历时不沿parameter_in和call边，两步遍历过程中标记的节点即为切片；
(5e)程序切片完成后，结束程序。
3.根据权利要求1所述的基于实时堆栈的程序切片方法，其特征是：所述步骤(6)中的部分执行的方法包括如下步骤：
(6a)计算部分程序中过程内的依赖关系，并且为每个过程构造程序依赖图，程序依赖图是由控制依赖图和数据依赖图组成，表示程序语句间的控制依赖和数据依赖关系；
(6b)添加过程调用产生参数输入边，参数输出边，以及总结边，来表示过程间的依赖关系，构造出被切片程序的系统依赖图；
(6c)添加形式参数节点(Formal_in)和形式输出节点(Formal_out)节点，对于每个函数调用点，需要添加相应的实际参数节点(Actual_in)和实际输出节点(Actual_out)，并添加从实际参数节点到形式参数节点的参数输入边和从形式输出到实际输出节点的参数输出边用来表示参数的传递，并且添加从实际参数节点到实际输出节点的概括边；
(6d)首先不沿parameter_out边对系统依赖图进行第一遍遍历，然后第二次遍历时不沿parameter_in和call边，两步遍历过程中标记的节点即为切片；
(6e)程序切片完成后，结束程序。
4.根据权利要求1所述的基于实时堆栈的程序切片方法，其特征是：所述步骤(7)中的确定没有执行的方法包括如下步骤：
(7a)不进行程序模型的遍历，自动跳过确定没有执行的方法，结束程序。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN 201110188810 CN102214141B (zh) | 2011-07-02 | 2011-07-02 | 基于实时堆栈的程序切片方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN 201110188810 CN102214141B (zh) | 2011-07-02 | 2011-07-02 | 基于实时堆栈的程序切片方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN102214141A true CN102214141A (zh) | 2011-10-12 |
| CN102214141B CN102214141B (zh) | 2013-11-06 |
Family
ID=44745460
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN 201110188810 Expired - Fee Related CN102214141B (zh) | 2011-07-02 | 2011-07-02 | 基于实时堆栈的程序切片方法 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102214141B (zh) |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104091283A (zh) * | 2014-07-07 | 2014-10-08 | 西安交通大学 | 基于栈操作胎记的报税人身份动态认证方法 |
| CN105700893A (zh) * | 2016-02-23 | 2016-06-22 | 南京邮电大学 | 基于改进系统依赖图的llvm ir程序切片方法 |
| CN106951366A (zh) * | 2017-03-09 | 2017-07-14 | 南京邮电大学 | 一种基于程序切片技术的c语言死代码检测方法 |
| CN108319858A (zh) * | 2018-01-29 | 2018-07-24 | 中国科学院信息工程研究所 | 针对不安全函数的数据依赖图构建方法及装置 |
| CN110795327A (zh) * | 2018-08-01 | 2020-02-14 | 中国矿业大学 | 一种基于加权依赖图的并发程序执行轨迹静态简化方法 |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20080184011A1 (en) * | 2007-01-30 | 2008-07-31 | Nema Labs Ab | Speculative Throughput Computing |
| CN101901188A (zh) * | 2010-07-23 | 2010-12-01 | 哈尔滨工程大学 | 一种基于可达路径的软件测试方法 |
-
2011
- 2011-07-02 CN CN 201110188810 patent/CN102214141B/zh not_active Expired - Fee Related
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20080184011A1 (en) * | 2007-01-30 | 2008-07-31 | Nema Labs Ab | Speculative Throughput Computing |
| CN101901188A (zh) * | 2010-07-23 | 2010-12-01 | 哈尔滨工程大学 | 一种基于可达路径的软件测试方法 |
Non-Patent Citations (1)
| Title |
|---|
| 姜淑娟 等: "一种基于异常传播分析的依赖性分析方法", 《软件学报》 * |
Cited By (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104091283A (zh) * | 2014-07-07 | 2014-10-08 | 西安交通大学 | 基于栈操作胎记的报税人身份动态认证方法 |
| CN105700893A (zh) * | 2016-02-23 | 2016-06-22 | 南京邮电大学 | 基于改进系统依赖图的llvm ir程序切片方法 |
| CN106951366A (zh) * | 2017-03-09 | 2017-07-14 | 南京邮电大学 | 一种基于程序切片技术的c语言死代码检测方法 |
| CN108319858A (zh) * | 2018-01-29 | 2018-07-24 | 中国科学院信息工程研究所 | 针对不安全函数的数据依赖图构建方法及装置 |
| CN108319858B (zh) * | 2018-01-29 | 2020-07-10 | 中国科学院信息工程研究所 | 针对不安全函数的数据依赖图构建方法及装置 |
| CN110795327A (zh) * | 2018-08-01 | 2020-02-14 | 中国矿业大学 | 一种基于加权依赖图的并发程序执行轨迹静态简化方法 |
| CN110795327B (zh) * | 2018-08-01 | 2021-07-30 | 中国矿业大学 | 一种基于加权依赖图的并发程序执行轨迹静态简化方法 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN102214141B (zh) | 2013-11-06 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN102214141B (zh) | 基于实时堆栈的程序切片方法 | |
| US20130283242A1 (en) | Tracing Closures in a Callback Environment | |
| CN103218296B (zh) | 一种充分检测空指针引用缺陷的方法 | |
| US10241897B2 (en) | Identifying test gaps using code execution paths | |
| CN110750459B (zh) | 基于白盒分析的测试用例自动生成和测试进程管理方法 | |
| CN108897676B (zh) | 基于形式化规则的飞行引导控制软件可靠性分析系统与方法 | |
| Santos et al. | Static-time extraction and analysis of the ROS computation graph | |
| CN102662828A (zh) | 一种实现软件自动测试的方法及装置 | |
| CN102222035A (zh) | 基于符号执行技术的软件行为检测系统及检测方法 | |
| CN111737033A (zh) | 一种基于运行时图谱分析的微服务故障定位方法 | |
| CN103713933B (zh) | 计算机程序中热点函数、变量的汇聚方法、装置及系统 | |
| CN102110051A (zh) | 应用程序切片技术的静态缺陷检测方法 | |
| CN102063328A (zh) | 一种用于检测中断驱动型程序数据竞争的系统 | |
| Laguna et al. | Probabilistic diagnosis of performance faults in large-scale parallel applications | |
| CN104572474A (zh) | 一种基于动态切片的轻量级错误定位技术实现方法 | |
| CN106294136B (zh) | 并行程序运行期间性能变化的在线检测方法和系统 | |
| CN117574244A (zh) | 基于物联网的超声波水表故障预测方法、装置及设备 | |
| CN106933572B (zh) | 一种基于llvm中间表示程序切片的度量模型 | |
| CN105700893A (zh) | 基于改进系统依赖图的llvm ir程序切片方法 | |
| US20090105981A1 (en) | Method of Calculating Key Performance Indicators in a Manufacturing Execution System | |
| CN102521126A (zh) | 基于模块分解技术的软件缺陷检测系统的复杂性分析方法 | |
| CN102968372A (zh) | 具有程序分析功能的程序调试系统 | |
| CN105243023A (zh) | 并行运行时错误检测方法 | |
| CN102521135B (zh) | 线性系统的测试方法和装置 | |
| CN107562619B (zh) | 一种基于神经元模型的自动遍历控件方法及终端 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant | ||
| CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20131106 Termination date: 20140702 |
|
| EXPY | Termination of patent right or utility model |