Please use this identifier to cite or link to this item: https://doi.org/10.1145/2483760.2483772
Title: Expressing and checking intended changes via software change contracts
Authors: Yi, J.
Qi, D.
Tan, S.H.
Roychoudhury, A. 
Keywords: Dynamic checking
Software changes
Test generation
Test repair
Issue Date: 2013
Source: Yi, J.,Qi, D.,Tan, S.H.,Roychoudhury, A. (2013). Expressing and checking intended changes via software change contracts. 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings : 1-11. ScholarBank@NUS Repository. https://doi.org/10.1145/2483760.2483772
Abstract: Software errors often originate from incorrect changes, including incorrect program fixes, incorrect feature updates and so on. Capturing the intended program behavior explicitly via contracts is thus an attractive proposition. In our recent work, we had espoused the notion of "change contracts" to express the intended program behavior changes across program versions. Change contracts differ from program contracts in that they do not require the programmer to describe the intended behavior of program features which are unchanged across program versions. In this work, we present the formal semantics of our change contract language built on top of the Java Modeling Language (JML). Our change contract language can describe behavioral as well as structural changes. We evaluate the expressivity of the change contract language via a survey given to final year undergraduate students. The survey results enable us to understand the usability of our change contract language for purposes of writing contracts, comprehending written contracts, and modifying programs according to given change contracts. Finally, we discuss the tool support developed for our change contract language. The tool support enables (i) test generation to witness contract violation, as well as (ii) automated repair of certain tests which are broken due to program changes. © 2013 ACM.
Source Title: 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings
URI: http://scholarbank.nus.edu.sg/handle/10635/78138
ISBN: 9781450321594
DOI: 10.1145/2483760.2483772
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

6
checked on Feb 21, 2018

Page view(s)

24
checked on Feb 17, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.