Formal Testing of Correspondence Carrying Software

Share/Save/Bookmark

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

[img]
Preview
PDF
2453Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/64685
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 250911