Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2001 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2001 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Data structures for Z testing tools.

      Utting, Mark
      Thumbnail
      Files
      content.pdf
      211.6Kb
      Citation
      Export citation
      Utting, M. (2001). Data structures for Z testing tools. (Working paper series. University of Waikato, Department of Computer Science. No. 01/4/2001). Hamilton, New Zealand: University of Waikato.
      Permanent Research Commons link: https://hdl.handle.net/10289/96
      Abstract
      This paper describes some of the difficulties and challenges that arise during the design of tools for validating Z specifications by testing and animation. We address three issues: handling undefined terms, simplification versus enumeration, and the representation of sets, and show how each issue has been handled in the Jaza tool.

      Finally, we report on a brief experimental comparison of existing Z animators and conclude that while the state of the art is improving, more work is needed to ensure that the tools are robust and respect the Z semantics.
      Date
      2001-06-01
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      01/4
      Publisher
      University of Waikato, Department of Computer Science
      Collections
      • 2001 Working Papers [5]
      Show full item record  

      Usage

      Downloads, last 12 months
      31
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement