Browsing by Subject "unit testing"

Now showing items 1-1 of 1

  • Unit testing of Z specifications

    Utting, Mark; Malik, Petra (Springer, 2008)
    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 ...