From Object-Z Specifications to ClassBench Test Suites

@article{Carrington2000FromOS,
  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.},
  year={2000},
  volume={10},
  pages={111-137}
}
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