Formal Testing of Correspondence Carrying Software

M.C. Bujorianu, L.M. Bujorianu, S. Maharaj

    Research output: Book/ReportReportProfessional

    32 Downloads (Pure)


    Nowadays formal software development is characterised by use of multitude formal specification languages. Test case generation from formal specifications depends in general on a specific language, and, moreover, there are competing methods for each language. There is a need for a generic approach to formal testing and for sound ways of combining test case generation methods. We address these issues using Correspondence Carrying Software, a paradigm for integrating heterogeneous specifications using viewpoints and category theory. We illustrate our approach with a small example of a train system specified using OCL and Z.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages16
    Publication statusPublished - 18 Mar 2008

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    ISSN (Print)1381-3625


    • MSC-68N30
    • EWI-12116
    • IR-64685
    • METIS-250911

    Cite this