고장수목을 이용한 테스트 케이스의 안전성 측정

A Safety Measurement of Test Case using Fault Tree Analysis

  • 윤상현 (건국대학교 정보통신대학) ;
  • 조재연 (건국대학교 정보통신대학) ;
  • 유준범 (건국대학교 정보통신대학)
  • 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)
  • 발행 : 2011.06.29

초록

테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.

키워드

과제정보

연구 과제번호 : 고신뢰자율제어 SW를 위한 CPS(Cyber-Physical Systems) 핵심 기술 개발

연구 과제 주관 기관 : 정보통신산업진흥원, 한국연구재단