사이버 물리 시스템의 자동화된 블랙박스 테스트를 위한 GFT 모델링 도구 설계 및 개발 (Design and Implementation of a GFT Modeling Tool for Automated Black-Box Testing of Cyber-Physical Systems)

서지정보

· 발행기관 : 한국정보기술학회
· 수록지 정보 : 한국정보기술학회논문지 / 10권 / 9호 / 117 ~ 130페이지
· 저자명 : 조나연, 민덕기

초록

최근 자동차, 항공, 의료와 같은 분야에서 사이버 물리 시스템의 폭넓은 확산으로 인하여 소프트웨어 테스트는 소프트웨어 개발 중 수행되어야 할 중요한 과정이 되었다. 특히 네트워크 기반 사이버 물리 시스템 개발자는 블랙박스 테스트와 같은 기능성 테스트를 수행하여 오류 및 예측 불가능한 상태로 인한 시스템 문제들을 예방할 필요가 있다. 본 논문에서는 TTCN-3 언어를 사용하여 테스트 케이스 설계 환경을 지원하는 GFT 도구를 설계하고 제시하였다. 모델 기반의 블랙박스 테스트를 위한 도구인 GFT 도구는 GFT 메타모델과 모델 인터프리터로 구성된다. 표준 기반의 GFT 메타모델은 GME를 사용하여 GFT 도구를 생성한다. 또한 GFT 모델 인터프리터는 테스터가 설계한 GFT 모델의 테스트 프로시저 보존을 위해 자동으로 텍스트 기반의 순차데이터로 변환한다. 따라서 본 논문의 GFT 도구는 고도의 테스트 자동화, 효율적 테스팅 프로세스, 신뢰성 있는 네트워크 기반 사이버 물리 시스템 구성을 위한 시간 및 비용 절감을 통해 품질을 향상시킬 수 있을 것이다.

영어초록

Recently, software testing has been become an important process during a system development since CPSs (Cyber-Physical Systems) are widely spread in the fields of automotive, aircraft, healthcare and so on. Especially, developers of the networked CPSs need to perform a functional test, such as black-box test, to prevent system faults caused by erroneous and unpredictable behaviors of the system. In this paper, we design and implement a GFT tool that provides test-case designing environment using TTCN-3 language. As a tool for model-based black-box testing, the GFT tool consists of a GFT meta-model and a model interpreter. The GFT meta-model generates the GFT tool, which is designed to correspond to the GFT specification, by using GME. Moreover, the GFT model-interpreter automatically transforms a GFT model, that is designed by a tester, into text-based sequence data to preserve test procedures of the designed GFT model. Consequently, the GFT tool can improve the quality of CPS by virtue of a high degree of test automation, efficient testing process, time and cost savings to construct a reliable networked CPS.

참고자료

· 없음