The Community for Technology Leaders
Software Engineering Conference, Australian (2007)
Melbourne, Australia
Apr. 10, 2007 to Apr. 13, 2007
ISSN: 1530-0803
ISBN: 0-7695-2778-7
pp: 245-254
Florentin Ipate , University of Pitesti, Romania
ABSTRACT
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.
INDEX TERMS
null
CITATION

F. Ipate, "Class Testing from State Diagrams Using Stream X-Machine Based Methods," Software Engineering Conference, Australian(ASWEC), Melbourne, Australia, 2007, pp. 245-254.
doi:10.1109/ASWEC.2007.14
80 ms
(Ver 3.3 (11022016))