Formal Testing of Correspondence Carrying Software


Bujorianu, M.C. and Bujorianu, L.M. and Maharaj, S. (2008) Formal Testing of Correspondence Carrying Software. [Report]

open access
Abstract: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.
Item Type:Report
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 250911