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.

    Download (371kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    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
      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)

      View Item Item control page


      Downloads per month over past year

      Origin of downloads