A test sequence selection method for statecharts

This paper presents a method for the selection of test sequences from statecharts. It is shown that a statechart can be transformed into a flow graph modelling the how of both control and data in the statechart. The transformation enables the application of conventional control and data flow analysis techniques to test sequence selection from statecharts. The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired flow of control and data expressed in statecharts, Copyright (C) 2000 John Whey & Sons, Ltd.
Publisher
JOHN WILEY SONS LTD
Issue Date
2000-12
Language
ENG
Keywords

DESIGN

Citation

SOFTWARE TESTING VERIFICATION RELIABILITY, v.10, no.4, pp.203 - 227

ISSN
0960-0833
URI
http://hdl.handle.net/10203/15992
Appears in Collection
CS-Journal Papers(저널논문)
  • Hit : 271
  • Download : 39
  • Cited 0 times in thomson ci
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡClick to seewebofscience_button
⊙ Cited 40 items in WoSClick to see citing articles inrecords_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0