DOI QR코드

DOI QR Code

Derivation of State Transition Diagram from Class Using Tree Structure

트리 형태를 이용한 클래스의 단계별 상태 다이어그램 도출 기법에 대한 연구

  • 최수경 (단국대학교 전자계산학과) ;
  • 박용범 (단국대학교 컴퓨터과학과)
  • Received : 2012.10.05
  • Accepted : 2012.11.27
  • Published : 2013.01.31

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.

소프트웨어 시스템의 안정성 및 품질을 향상시키기 위해서 상태 다이어그램을 기반으로 한 테스트 기법들과 상태 다이어그램 도출에 관한 연구들이 진행되고 있다. 기존의 연구들은 일부 상태와 전이를 변경하여 상태 다이어그램의 복잡도 문제를 해결하고 있다. 그러나 테스트 케이스 도출에는 상태와 전이를 유지하면서 상태 다이어그램을 도출하는 방법이 필요하며 복잡도를 낮추는 방법도 필요하다. 본 논문에서는 상태나 전이의 변경 없이 복잡도를 감소시키기 위해 STMT(State-Transition Mapping Tree) 방법을 제안한다. 제안한 방법은 기존의 표기법과 비교하였을 때 복잡도가 낮다는 결과를 얻을 수 있었으며 시스템이 복잡해질수록 기존 방식에 비해 복잡도 개선에서 이점을 보였다.

Keywords

References

  1. B.Beizer, "Software System Testing, 2nd. Ed," van Nostrand Reinhold, 1990.
  2. 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. https://doi.org/10.1007/s10009-003-0128-3
  3. IPL Information Processing Ltd, "Testing State Machine with AdaTEST and CANTATA," IPL paper, Mar., 2011.
  4. 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.
  5. S. Uchitel and J. Kramer. "A workbench for synthesizing begaviour models from scenarios," In ICSE, pp.188-197, 2001.
  6. J. Whittle and J. Schumann, "Generating statechart designs from scenarios," In ICSE, pp.314-323, Jun., 2000.
  7. J. Whittle, R. Kwan and J. Saboo, "From scenarios to code: An air traffic control case study," In ICSE, pp.490-495, May, 2003.
  8. 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.
  9. K. RyoungKwo, H. SeungAn and K. Gihwon, "Test Requirements for MC/DC Coverage," Software Engineering, 2010.
  10. R.V. Binder, "Testing Object-Oriented Systems: Models, Patterns, and Tools," Addison Wesley, 1999.
  11. K. Derr, "Applying OMT," SIGS Books, Prentice Hall, 1995.