DMCA
Formal Derivation of Finite State Machines for Class Testing (1998)
Cached
Download Links
- [svrc.it.uq.edu.au]
- [www.itee.uq.edu.au]
- [archive.csee.uq.edu.au]
- DBLP
Other Repositories/Bibliography
| Venue: | ZUM'98: THE Z FORMAL SPECIFICATION NOTATION |
| Citations: | 16 - 7 self |
BibTeX
@INPROCEEDINGS{Murray98formalderivation,
author = {Leesa Murray and David Carrington and Ian MacColl and Jason McDonald and Paul Strooper},
title = {Formal Derivation of Finite State Machines for Class Testing},
booktitle = {ZUM'98: THE Z FORMAL SPECIFICATION NOTATION},
year = {1998},
pages = {42--59},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Previous work on generating state machines for the purpose of class testing has been informally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal object-oriented specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class un...
