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.
Type
Conference Contribution
Type of thesis
Series
Citation
Utting, M. & Malik, P. (2008).Unit testing of Z specifications. In E. Borger et al. (Eds), Proceeding of First International Conference, ABZ 2008, London, UK, September 16-18, 2008. (pp. 309-322). Berlin: Springer.
Date
2008
Publisher
Springer