Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2011.06a
  • /
  • Pages.217-220
  • /
  • 2011
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

LTL Synthesis and Graph coverage, GUI test path generation using

LTL Synthesis와 그래프 커버리지를 이용한 GUI 테스트 경로 생성

  • Kim, Tae-Kyun (Department of Computer Science, Kyonggi University) ;
  • Cho, Min-Taek (Department of Computer Science, Kyonggi University) ;
  • Kwon, Gi-Hwon (Department of Computer Science, Kyonggi University)
  • 김태균 (경기대학교 컴퓨터 과학과) ;
  • 조민택 (경기대학교 컴퓨터 과학과) ;
  • 권기현 (경기대학교 컴퓨터 과학과)
  • Published : 2011.06.29

⟨ Previous Next ⟩

Abstract

LTL Synthesis와 그래프 커버리지를 이용하여 시스템의 요구사항으로 속성을 추출하여 GUI 의 테스트경로 생성에 대하여 설명한다. LTL Synthesis 는 GR formula 라는 특수한 형태를 사용하여 시스템의 상태, 환경으로부터의 입력 정보와 시스템의 행위, 상위 수준의 작업의 작업 명세를 입력으로 받아 GR formula 형태로 변환하고 기대되는 작업이 실현 가능하면 오토마타를 생성한다. 이렇게 생성된 오토마타에 그래프 커버리지를 이용하여 실험 가능한 GUI 테스트 경로를 생성하여 시스템을 검사한다.

Keywords

Acknowledgement

Grant : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발