Browse > Article
http://dx.doi.org/10.3745/KTSDE.2013.2.1.019

Derivation of State Transition Diagram from Class Using Tree Structure  

Choi, Soo Kyung (단국대학교 전자계산학과)
Park, Young Bom (단국대학교 컴퓨터과학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.2, no.1, 2013 , pp. 19-26 More about this Journal
Abstract
To improve the reliability and quality of software system, many studies of the testing based on state-transition diagram have been in progress. Existing studies tried to solve the complexity problem of state-transition diagram. But the development of test case demands the better way to derive and manage the state diagram with low complexity. In this paper, the STMT(State-Transition Mapping Tree) is proposed to decrease the complexity of state diagram without changing or loosing the original state or transition information. Comparing with other methods, the proposed method turns out to be less complex.
Keywords
Software Testing; State Diagram;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 IPL Information Processing Ltd, "Testing State Machine with AdaTEST and CANTATA," IPL paper, Mar., 2011.
2 H. Liang, J. Dingel and Z. Diskin, "A comparative survey of scenario-based to state-based model synthesis approaches," In SCESM, pp.5-12, 2006.
3 S. Uchitel and J. Kramer. "A workbench for synthesizing begaviour models from scenarios," In ICSE, pp.188-197, 2001.
4 J. Whittle and J. Schumann, "Generating statechart designs from scenarios," In ICSE, pp.314-323, Jun., 2000.
5 J. Whittle, R. Kwan and J. Saboo, "From scenarios to code: An air traffic control case study," In ICSE, pp.490-495, May, 2003.
6 L. Kwang-Min, B. Jung Ho and C. Heung Seok, "An Automatic Construction Approach of State Diagram from Class Operations with Pre/Post Conditions," DOI: 10.3745/KIPSTD.2009.16-D.4.527, 2009.   DOI   ScienceOn
7 K. RyoungKwo, H. SeungAn and K. Gihwon, "Test Requirements for MC/DC Coverage," Software Engineering, 2010.
8 R.V. Binder, "Testing Object-Oriented Systems: Models, Patterns, and Tools," Addison Wesley, 1999.
9 K. Derr, "Applying OMT," SIGS Books, Prentice Hall, 1995.
10 B.Beizer, "Software System Testing, 2nd. Ed," van Nostrand Reinhold, 1990.
11 A. Pretschner, O. Slotosch, E.Aiglastorfer and S. Kriebel, "Model based testing for real," Software Tools for Technology Transfer, 5(2-3):140-157, March, 2004.   DOI   ScienceOn