Volume 6 Number 4 (Apr. 2011)
Home > Archive > 2011 > Volume 6 Number 4 (Apr. 2011) >
JCP 2011 Vol.6(4): 769-775 ISSN: 1796-203X
doi: 10.4304/jcp.6.4.769-775

Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm

Lina Chen
College of Mathematics Physics and Information Engineering, Zhejiang Normal University Jinhua, China

Abstract—This paper studies automatic test cases generation for Statechart specifications. Applying Tretmans’ approach to generate test cases from labeled transition systems, we provide a solid mathematical basis for conformance testing and automatic test case generation for Statechart specifications. In order to make the test cases generation process more simple and efficient, we propose observable semantics as a suitable semantics model for describing observable behavior subset of a Statechart specification, which is different from complete semantics used for Statechart specification verification and model checking. Then we describe how to use this semantics model for not only generation reactive systems but also critical reactive systems. We also propose a formal conformance relation based on presented semantics model and test hypothesis, and provide an algorithm which, for a Statechart specification, generates a test suite. For Statechart specifications with graph semantics the algorithm can generate complete test suite, and for Statechart specifications with tree semantics cost-efficient sound test suite can be generated.

Index Terms—Statechart; Specification; Implementation; Conformance Testing; Test Suite; Test Cases Generation; Formal Semantics; Reactive Systems

[PDF]

Cite: Lina Chen, "Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm," Journal of Computers vol. 6, no. 4, pp. 769-775, 2011.

General Information

ISSN: 1796-203X
Abbreviated Title: J.Comput.
Frequency: Monthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Jul 19, 2019 News!

    Vol 14, No 7 has been published with online version   [Click]

  • Jun 21, 2019 News!

    Vol 14, No 6 has been published with online version   [Click]

  • Apr 28, 2019 News!

    Vol 14, No 5 has been published with online version 7 papers are published in this issue after peer review   [Click]

  • Mar 20, 2019 News!

    Vol 14, No 3 has been published with online version   [Click]

  • Feb 22, 2019 News!

    Vol 14, No 2 has been published with online version 8 papers are published in this issue after peer review   [Click]

  • Read more>>