Semantic Diff: a tool for summarizing the effects of modifications
Semantic Diff: a tool for summarizing the effects of modifications
复制标题
DOI：
10.1109/icsm.1994.336770
复制
发表时间：
1994-09
期刊：
影响因子：
--
通讯作者：
D. Jackson;David A. Ladd
中科院分区：
文献类型：
--
作者：
D. Jackson;David A. Ladd
描述一个工具，该工具采用过程的两个版本并生成一个报告，总结它们之间的语义差异。与现有的工具相比，程序依赖图的基础上，我们的工具表示其结果的可观察到的输入输出行为的过程中，而不是它的语法结构。由于分析是真正语义的，它不需要语法成分的预先匹配，并且产生更少的虚假差异，因此可以正确地确定保持意义的转换（例如重命名局部变量）没有可见的效果。对一个大型实时系统的代码进行修改的初步实验表明，该方法是实用的。
Describes a tool that takes two versions of a procedure and generates a report summarizing the semantic differences between them. Unlike existing tools based on comparison of program dependence graphs, our tool expresses its results in terms of the observable input-output behaviour of the procedure, rather than its syntactic structure. And because the analysis is truly semantic, it requires no prior matching of syntactic components, and generates fewer spurious differences, so that meaning-preserving transformations (such as renaming local variables) are correctly determined to have no visible effect. A preliminary experiment on modifications applied to the code of a large real-time system suggests that the approach is practical.>