Book chapter
Unit testing of Z specifications
Abstract State Machines, B and Z, pp.309-322
Abstract State Machines, B and Z (ABZ) International Conference, 1st (London, United Kingdom, 16-Sep-2008–18-Sep-2008)
Lecture Notes in Computer Science (LNCS), 5238, Springer Berlin Heidelberg
2008
Abstract
We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable by the CZT animator, ZLive. © 2008 Springer-Verlag Berlin Heidelberg.
Details
- Title
- Unit testing of Z specifications
- Authors
- Mark Utting (Author) - University of Waikato, New ZealandPetra Malik (Author) - Victoria University of Wellington, New Zealand
- Contributors
- E Borger (Editor)M Butler (Editor)J P Bowen (Editor)P Boca (Editor)
- Publication details
- Abstract State Machines, B and Z, pp.309-322
- Conference details
- Abstract State Machines, B and Z (ABZ) International Conference, 1st (London, United Kingdom, 16-Sep-2008–18-Sep-2008)
- Series
- Lecture Notes in Computer Science (LNCS); 5238
- Publisher
- Springer Berlin Heidelberg
- Date published
- 2008
- DOI
- 10.1007/978-3-540-87603-8_24
- ISBN
- 9783540876021
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99448747702621
- Output Type
- Book chapter
Metrics
2 File views/ downloads
533 Record Views