FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구

Abstract

Function Block Diagram(FBD)는 산업용 컴퓨터인 Programmable Logic Controller(PLC)의 표준 프로그래밍 언어 중 하나이다. 다양한 시험 기법들의 오류 검출 효과성을 평가하기 위해 뮤테이션 분석 기법이 널리 쓰이고 있는데, FBD 모델에 대한 뮤테이션 연산자가 정의되어 있지 않기 때문에 적용에 어려움이 있었다. 본 연구에서는 FBD 모델의 특성, 다양한 FBD 모델의 실제 오류 및 기존 뮤테이션 분석 기법에 관한 분석을 통해 뮤테이션 연산자를 정의한다. 정의된 FBD 뮤테이션 연산자를 활용하여 실제 산업계에서 쓰이는 FBD 모델을 대상으로 뮤테이션 분석을 수행하여 FBD 모델 시험 데이터와 시험 기법을 체계적으로 평가한다.