Object test coverage using finite state machines
Objects have been described as having identity, state and behaviour, but there are differing 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 difference is significant, for example the two views behave...[Show more]
|Collections||ANU Research Publications|
|TR-CS-95-06.pdf||232.95 kB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.