DMCA
From Object-Z specifications to ClassBench test suites (2000)
Cached
Download Links
- [www.itee.uq.edu.au]
- [svrc.it.uq.edu.au]
- [www.itee.uq.edu.au]
- [www.itee.uq.edu.au]
- DBLP
Other Repositories/Bibliography
| Venue: | SOFTW TEST VERIF RELIAB |
| Citations: | 15 - 11 self |
BibTeX
@MISC{Carrington00fromobject-z,
author = {David Carrington and Ian MacColl and Jason McDonald and Leesa Murray and Paul Strooper},
title = {From Object-Z specifications to ClassBench test suites},
year = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 are combined to produce a finite state machine for the class that is used as the basis for test case execution using the ClassBench test execution framework. An oracle derived from the Object-Z specification is used to evaluate the outputs. The method is explained using a simple example and its application to a more substantial case study is also discussed.
Keyphrases
object-z specification test suite test template object-z specification language test case generation specification-based testing classbench test execution framework class testing finite state machine formal specification specification-based class test case execution individual operation single framework initial step previous achievement simple example substantial case study
