한국인터넷방송통신학회논문지 (The Journal of the Institute of Internet, Broadcasting and Communication)

  • 제13권1호
  • /
  • Pages.129-134
  • /
  • 2013
  • /
  • 2289-0238(pISSN)
  • /
  • 2289-0246(eISSN)
한국인터넷방송통신학회 (The Institute of Internet, Broadcasting and Communication)
권호 표지
DOI QR코드

DOI QR Code

M2M 모델변환 기반의 UML 스테이트 다이어그램을 통한 테스트케이스 자동추출 메커니즘에 관한 연구

A Study on Automatic Test Case Extraction Mechanism from UML State Diagrams Based on M2M Transformation

  • 김동호 (홍익대학교 일반대학원 소프트웨어공학연구실) ;
  • 김영철 (홍익대학교 컴퓨터정보통신공학과)
  • 투고 : 2013.01.07
  • 심사 : 2013.02.08
  • 발행 : 2013.02.28
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

기존 연구실 연구에서는 메타모델 기반의 순차적 다이어그램을 통한 테스트케이스 생성의 자동화가 초점이었다. 하지만 메타모델 기반의 스테이트 다이어그램을 통한 테스트케이스 자동 생성에 관한 메커니즘에 관한 연구가 부족하다. 그래서 본 논문에서는 Model Driven Architecture(MDA) 메커니즘인 메타모델과 모델변형기법을 채택하여, UML내 스테이트 다이어그램을 통해 테스트케이스를 자동 추출메커니즘을 제안한다. 이를 위해 테스트케이스 생성단계 프로세스를 정의하고 각 단계별 메타모델 정의와 모델간의 변형 규칙을 정의한다. 제안한 기법을 통해 임베디드 소프트웨어 테스트 설계 및 테스트케이스 추출비용과 시간을 줄이고 임베디드 소프트웨어의 품질을 높이고자 한다.

Previous research is focus on testcase generation automation using message sequence diagram based on metamodel. but that research is not enough for testcase genaeration automation using state diagram based metamodel. so in this paper is adopt Model Driven Architecture (MDA) mechanism for using metamodel and model transformation. and we suggest testcase automation mechanism using state diagram in UML. we will decrease cost of embedded software design and testcase genaration and increase quality of embedded software using metamodel mechanism.

키워드

참고문헌

  1. "OMG Unified Modeling Language Specification" Version 1.4, September2001.
  2. "OMG Unified Modeling Language (OMG UML), Superstructure", Version 2.4.1, 2010.
  3. Hyun-Jeong Jo, Jong-Gyu Hwang "Analysis of S/W Test Coverage Automated Tool & Standard in Railway System" Journal of the Korea Academia-Industrial cooperation Society / Vol.11, no.11, pp.4460-4467, 2010, https://doi.org/10.5762/KAIS.2010.11.11.4460
  4. Bart Broekman, Edwin Notenboom 2002, "Testing Embedded Software"
  5. Dong-Kuk Ryu, Young-Chul Kim "Design and Implementation of M&S Based Test Environment for Interoperability Verification of Heterogeneous Composite Embedded System" Journal of Korean Institute of Information Technology, vol. 7, issue 2, pp. 33-40, Apr 2009.
  6. "Eclipse Modeling Framework Project(EMF)
  7. Stephan WeiBleder, Dehal Sokenou, (June 2008). "Cause-Effect Graphs for Test Models Based on UML and OCL" Treffen der GI-Fachgruppen TAV und RE.
  8. Gary E.Mogyorodi, "Requirements-Based Testing - Cause-Effect Graphing".
  9. Woo, Su Jeong, (December 2012) "Metamodel oriented Automatic Test Case Generation Based on Transforming UML 2.4.1 Message-Sequence Diagram via Cause-Effect Diagram"
  10. Wooyeol Kim, Hyunseung Son, Junbeom Yoo, Young B. Park, R. Youngchul Kim "A Study on Target Model Generation for Smartphone Applications using Model Transformation Technique".
  11. "Simplified State Machine Execution Verification" http://web.univ-pau.fr/-ecariou/contracts/simplified -state-machine.html
  12. Eclipse ATL, http://eclipse.org/atl/
  13. Dong Ho Kim, Hyun Seung Son, Woo Yeol Kim, Robert Young Chul Kim "Test Case Extraction for Intelligent Power Switch Heterogeneous Vehicles" ITCS(Information Technology and Computer Science)2012