Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Derivation of Finite State Machines for Class Testing (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Carrington, David Strooper, Paul Maccoll, Ian Murray, Leesa Mcdonald, Jason |
| Abstract | Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-objectoriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal 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 under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. |
| File Format | |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | State Machine Formal Specification Object-z Specification Non-objectoriented Software Classbench Framework Formal Derivation Possible Interaction Classbench Testgraph Test Suite Class Testing Test Template Framework Finite State Machine |
| Content Type | Text |
