论文部分内容阅读
COBOL系统在金融领域应用非常广泛，包含大量核心商业逻辑。但是由于系统存在的年代较久远，几乎没有最新文档，且COBOL程序员越来越稀缺，维护难度加大，因此有必要将COBOL系统转到现代架构上。 系统架构转换的基础是商业规则提取，但是由于COBOL系统一般都极其复杂，手工实现费事且易错，因此必须要有一个工具，能够准确快速得对系统进行商业规则的提取。经过对现有各类工具的调研知道，程序切片将帮助快速提取系统商业规则。 本文是MARK WEISER博士的论文“程序切片”在实际项目中的实现，是静态程序切片。本文完成的工作，主要是: 1)设计COBOL语言控制流，提供程序切片所需信息。 2)对每个过程进行过程内程序切片。 3)对包含PERFORM语句的过程进行过程间程序切片。 4)对包含CALL语句的过程进行过程间程序切片。 在该过程中，本文有如下创新的地方:提供业务变量的自动寻找;解决复合变量问题;提供过程调用上下文，缓存控制流信息，将CALL语句过程处理成一系列赋值语句并缓存，以提高工具响应速度。本文的方法在实际项目中已获得应用，并取得了较好的效果。