TY - GEN
T1 - Towards a framework for differential unit testing of object-oriented programs
AU - Xie, Tao
AU - Taneja, Kunal
AU - Kale, Shreyas
AU - Marinov, Darko
PY - 2007
Y1 - 2007
N2 - Software developers often face the task of determining how the behaviors of one version of a program unit differ from (or are the same as) the behaviors of a (slightly) different version of the same program unit. In such situations, developers would like to generate tests that exhibit the behavioral differences between the two versions, if any differences exist. We call this type of testing differential unit testing. Some examples of differential unit testing include regression testing, N-version testing, and mutation testing. We propose a framework, called Diffut, that enables differential unit testing of object-oriented pivgrams. Diffut enables "simultaneous" execution of the pairs of corresponding methods from the two versions: methods can receive the same inputs (consisting of the object graph reachable from the receiver and method arguments), and Diffut compares their outputs (consisting of the object graph reachable from the receiver and method return values). Given two versions of a Java class, Diffut automatically synthesizes annotations (in the form of preconditions and postconditions) in the Java Modeling language (JML) and inserts them into the unit under test to allow the simultaneous execution of the corresponding methods.
AB - Software developers often face the task of determining how the behaviors of one version of a program unit differ from (or are the same as) the behaviors of a (slightly) different version of the same program unit. In such situations, developers would like to generate tests that exhibit the behavioral differences between the two versions, if any differences exist. We call this type of testing differential unit testing. Some examples of differential unit testing include regression testing, N-version testing, and mutation testing. We propose a framework, called Diffut, that enables differential unit testing of object-oriented pivgrams. Diffut enables "simultaneous" execution of the pairs of corresponding methods from the two versions: methods can receive the same inputs (consisting of the object graph reachable from the receiver and method arguments), and Diffut compares their outputs (consisting of the object graph reachable from the receiver and method return values). Given two versions of a Java class, Diffut automatically synthesizes annotations (in the form of preconditions and postconditions) in the Java Modeling language (JML) and inserts them into the unit under test to allow the simultaneous execution of the corresponding methods.
UR - http://www.scopus.com/inward/record.url?scp=46649105499&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=46649105499&partnerID=8YFLogxK
U2 - 10.1109/AST.2007.15
DO - 10.1109/AST.2007.15
M3 - Conference contribution
AN - SCOPUS:46649105499
SN - 0769529712
SN - 9780769529714
T3 - Proceedings - International Conference on Software Engineering
BT - 29th International Conference on Software Engineering, ICSE'07 - 2nd International Workshop on Automation of Software Test, AST'07
T2 - 29th International Conference on Software Engineering, ICSE'07 - 2nd International Workshop on Automation of Software Test, AST'07
Y2 - 20 May 2007 through 26 May 2007
ER -