[发明专利]一种基于数据起源技术的程序异常传播模型构造方法

摘要

本发明公开了一种基于数据起源技术的程序异常传播模型构造方法，本发明的异常传播模型的构造分为三个阶段：第一个阶段针对程序的每个方法构造方法的异常控制流图，第二个阶段基于生成的控制流图，进行数据流分析，生成异常的派生图和异常处理动作序列。第三个阶段将根据程序的每个方法之间的调用关系，将各个方法的异常传播图进行合并，生成整个程序的异常传播模型。本发明中的异常传播模型具有丰富的表达能力，能够完整表达和展现软件异常传播演变的过程，可以更有效辅助开发人员理解程序中的异常处理过程，分析异常处理机制中存在的问题，支持异常处理过程测试用例的组织，从而设计出合理有效的异常处理方案，使软件具有更高的健壮性。

主权项

一种基于数据起源技术的程序异常传播模型构造方法，其特征在于，包括以下步骤：步骤1：对程序的每个方法在异常情况下的控制流进行分析，分析语句可能抛出的异常，以及处理或者操作该异常的语句，利用数据起源技术建立这些语句之间的关系，创建异常抛出、捕获与处理的异常控制流图；步骤2：对所述程序的每个方法进行数据流分析，分析多个异常之间的派生关系，以及所述程序中异常的产生、使用、转化、处理、抛出关系，利用数据起源技术创建异常派生图和异常处理动作序列；步骤3：对所述程序进行过程间分析，依据所述程序的调用图，将所述各个方法的异常控制流图、异常派生图、异常处理动作序列进行连接和映射，整合为所述程序的完整的异常传播模型。