트리 형태를 이용한 클래스의 단계별 상태 다이어그램 도출 기법에 대한 연구
Derivation of State Transition Diagram from Class Using Tree Structure
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
소프트웨어 시스템의 안정성 및 품질을 향상시키기 위해서 상태 다이어그램을 기반으로 한 테스트 기법들과 상태 다이어그램 도출에 관한연구들이 진행되고 있다. 기존의 연구들은 일부 상태와 전이를 변경하여 상태 다이어그램의 복잡도 문제를 해결하고 있다. 그러나 테스트 케이스 도출에는 상태와 전이를 유지하면서 상태 다이어그램을 도출하는 방법이 필요하며 복잡도를 낮추는 방법도 필요하다. 본 논문에서는 상태나전이의 변경 없이 복잡도를 감소시키기 위해 STMT(State-Transition Mapping Tree) 방법을 제안한다. 제안한 방법은 기존의 표기법과 비교하였을 때 복잡도가 낮다는 결과를 얻을 수 있었으며 시스템이 복잡해질수록 기존 방식에 비해 복잡도 개선에서 이점을 보였다.
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.
참고문헌 (11)
- B.Beizer, "Software System Testing, 2nd. Ed" (1990), van Nostrand Reinhold
- A. Pretschner, "Model based testing for real", Software Tools for Technology Transfer, 5(2-3), pp.140~157 (2004)
- Testing State Machine with AdaTEST and CANTATA, "IPL Information Processing Ltd", ~ (2011)
- H. Liang, "A comparative survey of scenario-based to state-based model synthesis approaches", SCESM, pp.5~12 (2006)
- S. Uchitel, "A workbench for synthesizing begaviour models from scenarios", ICSE, pp.188~197 (2001)
- J. Whittle, "Generating statechart designs from scenarios", ICSE, pp.314~323 (2000)
- J. Whittle, "From scenarios to code: An air traffic control case study", ICSE, pp.490~495 (2003)
- 이광민, "클래스 연산의 선행", 후행 조건에 바탕을 둔 클래스의 상태 다이어그램 자동 구성 기법, 2009, pp.16(4), 527~540[DOI]
- K. RyoungKwo, "Test Requirements for MC", DC Coverage, 2010, ~
- R.V. Binder, "Testing Object-Oriented Systems: Models, Patterns, and Tools" (1999), Addison Wesley
- K. Derr, "Applying OMT" (1995), SIGS Books, Prentice Hall