Abstract | ||
---|---|---|
This paper describes a tool that takes two versions of a procedure and generates a report summarizing the seman- tic 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 struc- ture. 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 prelimi- nary experiment on modifications applied to the code of a large real-time system suggests that the approach is prac- tical. |
Year | DOI | Venue |
---|---|---|
1994 | 10.1109/ICSM.1994.336770 | Victoria, BC |
Keywords | Field | DocType |
semantic diff,input output,real time system,real time systems,configuration management | Graph,Observable,Computer science,Real-time operating system,Theoretical computer science,Configuration management,Syntax,Spurious relationship,Local variable,Syntactic structure | Conference |
ISBN | Citations | PageRank |
0-8186-6330-8 | 113 | 5.92 |
References | Authors | |
9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Jackson | 1 | 113 | 5.92 |
David A. Ladd | 2 | 147 | 16.18 |