The Australian National University TR-CS-95-06 Object Test Coverage Using Finite State Machines

@inproceedings{Bosman1995TheAN,
  title={The Australian National University TR-CS-95-06 Object Test Coverage Using Finite State Machines},
  author={Oscar Bosman and Heinz W. Schmidt},
  year={1995}
}
Objects have been described as having identity, state and behaviour, but there are di ering views as to what are an object's states. For a programmer using an object-oriented programming language, the state is the current values of all the attributes, hidden and accessible. In most object-oriented design methods, an object's state is an abstraction of this: design states are determined by the observable behaviour of the object. The di erence is signi cant, for example the two views behave di… CONTINUE READING