Hennessy, Mark and Power, James F. (2006) Ensuring behavioural equivalence in test-driven porting. In: CASCON 2006: Dublin Symposium, 17 October 2006, Dublin.
Preview
JP-Ensuring-behavioural.pdf
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: | https://mural.maynoothuniversity.ie/id/eprint/6401 |
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)
Downloads
Downloads per month over past year