Project title : Object-Z-Based Test Case Generator
Author : Diep Mai
Year : 2011
Abstract : This manuscript describes the development of a specification-based test case generator following the model-based testing methodology. Model-based testing is performed based on the testing models derived from a system under test. This test case generator reads the Object-Z specification modeling a testing model from the command line and employs the boundary value analysis technique to generate test cases for the model. All test cases are categorized to valid and invalid set. In addition, the tool can also be used to verify the inconsistency and ambiguity in a specification.