2007 Australian Software Engineering Conference (ASWEC'07) Class Testing from State Diagrams Using Stream X-Machine Based Methods Melbourne, Australia April 10-April 13 ISBN: 0-7695-2778-7
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASWEC.2007.14
The Stream X-machine (SXM) is a form of extended finite state machine that describes a system as a finite set of states, an internal memory and a number of transitions between the states. One of the strengths of using a SXM to specify a system is that, under certain well defined conditions, it is possible to produce a test suite that is guaranteed to determine the correctness of the implementation under test. This paper shows how SXM based testing techniques can be applied to generate test suites at class level from state diagrams. Furthermore, a technique for constructing test suites for a hierarchical SXM without flattening the diagram, by reusing the test suites for the components, is given.
Citation:
Florentin Ipate, "Class Testing from State Diagrams Using Stream X-Machine Based Methods," aswec, pp.245-254, 2007 Australian Software Engineering Conference (ASWEC'07), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||