From Object-Z Specifications to ClassBench Test Suites

  title={From Object-Z Specifications to ClassBench Test Suites},
  author={David A. Carrington and Ian MacColl and Jason McDonald and Leesa Murray and Paul A. Strooper},
  journal={Softw. Test., Verif. Reliab.},
This paper describes a method for specification-based class testing that incorporates test case generation, execution, and evaluation based on formal specifications. This work builds on previous achievements in the areas of specification-based testing and class testing by integrating the two within a single framework. The initial step of the method is to generate test templates for individual operations from a specification written in the Object-Z specification language. These test templates… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS