Generating test sequences from Statecharts for concurrent program testing

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 624
  • Download : 0
This paper presents an approach to specification-based testing of concurrent programs with representative test sequences generated from Statecharts. Representative test sequences are a subset of all possible interleavings of concurrent events that define the behaviors of a concurrent program. Because a program's correctness may be determined by checking whether a program implemented all behaviors in its specification or not, the program can be regarded as being correct if it can supply an alternative execution that has the same effects as the program's behavior with each representative test sequence. Based on this observation, we employ each representative test sequence as a seed to generate an automaton that accepts its equivalent sequences to reveal the same behavior. In order to effectively test a concurrent program, the automaton such generated accepts all sequences equivalent to the representative test sequence and it is used to control test execution. This paper describes an automated process of generating automata from a Statecharts specification and shows how the proposed approach works on Statecharts specifications through some examples.
Publisher
IEICE-Inst Electronics Information Communications Eng
Issue Date
2006
Language
English
Article Type
Article
Keywords

FINITE-STATE MACHINES; SYSTEMS

Citation

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E89D, no.4, pp.1459 - 1469

ISSN
0916-8532
URI
http://hdl.handle.net/10203/88429
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0