Hennessy, Mark and Power, James F. (2006) Ensuring behavioural equivalence in test-driven porting. In: CASCON 2006: Dublin Symposium, 17 October 2006, Dublin.

Preview

Download (371kB) | Preview

Abstract

In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing strategy to verify the behaviour of the ported system at intra and inter-class level. We utilise the recently defined methodology for porting C++ applications, eXtreme porting, as a framework for porting. This defines a systematic routine based upon porting and unit-testing classes in turn. We augment this approach by using Object Relation Diagrams to define an order for porting that minimises class stubbing. Since our strategy is class-oriented and test-driven, we can ensure the structural equivalence of the ported system, along with the limited behavioural equivalence of each class. In order to extend this to integration-level equivalence, we exploit aspect-oriented programming to generate UML sequence diagrams, and we present a technique to compare such automatically-generated diagrams for equivalence. We demonstrate and evaluate our approach using a case study that involves porting an application from C++ to Java.

Item Type:	Conference or Workshop Item (Paper)
Keywords:	behavioural equivalence; test-driven porting; object-oriented language; porting code;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	6401
Depositing User:	Dr. James Power
Date Deposited:	23 Sep 2015 16:11
Refereed:	Yes
URI:
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads