MURAL - Maynooth University Research Archive Library



    Ensuring behavioural equivalence in test-driven porting


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

    [thumbnail of JP-Ensuring-behavioural.pdf]
    Preview
    Text
    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)

    Item control page
    Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads