A test sequence selection method for statecharts

Cited 48 time in webofscience Cited 0 time in scopus
  • Hit : 732
  • Download : 118
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
English
Article Type
Article
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(저널논문)
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 48 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0