Security Engineering for Lifelong Evolvable Systems

Specifying and detecting meaningful changes in programs

TitleSpecifying and detecting meaningful changes in programs
Publication TypeConference Paper
Year of Publication2011
AuthorsYu, Y., T. T. Tun, and B. Nuseibeh
Conference Name26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
Date PublishedNovember 6-10
PublisherLawrence, KS, USA
Conference LocationIEEE
Abstract

Software developers are often interested in particular changes in programs that are relevant to their current tasks: not all changes to evolving software are equally important. However, most existing differencing tools, such as diff, notify developers of more changes than they wish to see. In this paper, we propose a technique to specify and automatically detect only those changes in programs deemed meaningful, or relevant, to a particular development task. Using four elementary annotations on the grammar of any programming language, namely Ignore, Order, Prefer and Scope, developers can specify, with limited effort, the type of change they wish to detect. Our algorithms use these annotations to transform the input programs into a normalised form, and to remove clones across different normalised programs in order to detect non-trivial and relevant differences. We evaluate our tool on a benchmark of programs to demonstrate its improved precision compared to other differencing approaches.