用于程序理解的部分评估

程序理解是软件维护最繁琐和耗时的任务，是软件生命周期的一个重要阶段。这一点在维护编写 Fortran 语言的科学程序时尤为突出，这些程序已存在数十年，即便如今更现代的语言被用于实现其用户界面。程序往往随着应用程序领域的不断扩大而演化变得非常复杂，due to extensive modifications。这种程序的通用性通过输入变量实现，这些变量的值在给定应用程序的上下文中不变。因此，对维护者而言，传播此类信息——即获得一种在使用时遵循限制条件的行为类似于初始程序的简化程序——是非常有趣的。我们采用了部分评估技术进行程序理解。我们的部分评估器主要执行两个任务：常量传播和语句简化。它包括一个跨过程别名分析。由于我们的目标是程序理解而非优化，与经典部分评估相比有两个主要区别。我们不改变原始程序。