Back to University of Twente portal
Formal Testing of Correspondence Carrying Software
Bujorianu, M.C. and Bujorianu, L.M. and Maharaj, S. (2008) Formal Testing of Correspondence Carrying Software. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| 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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 250911