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

  • 2012.06b
  • /
  • Pages.126-128
  • /
  • 2012
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

TC2SMV: A CASE tool for Translating SMV Input Program from Test Cases Generated from State Chart Diagram in UML

TC2SMV: UML State Chart Diagram에서 생성된 테스트 케이스를 SMV 입력 프로그램으로 변환하는 CASE 도구

  • Yoon, Sang-Hyun (College of Information and Communication, Konkuk University) ;
  • Jo, Jae-Yeon (College of Information and Communication, Konkuk University) ;
  • Yoo, Jun-Beom (College of Information and Communication, Konkuk University)
  • 윤상현 (건국대학교 정보통신 대학) ;
  • 조재연 (건국대학교 정보통신 대학) ;
  • 유준범 (건국대학교 정보통신 대학)
  • Published : 2012.06.22

⟨ Previous Next ⟩

Abstract

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

Keywords

Acknowledgement

Supported by : 정보통신산업진흥원