Function Block Diagram(FBD)는 산업용 컴퓨터인 Programmable Logic Controller(PLC)의 표준 프로그래밍 언어 중 하나이다. 다양한 시험 기법들의 오류 검출 효과성을 평가하기 위해 뮤테이션 분석 기법이 널리 쓰이고 있는데, FBD 모델에 대한 뮤테이션 연산자가 정의되어 있지 않기 때문에 적용에 어려움이 있었다. 본 연구에서는 FBD 모델의 특성, 다양한 FBD 모델의 실제 오류 및 기존 뮤테이션 분석 기법에 관한 분석을 통해 뮤테이션 연산자를 정의한다. 정의된 FBD 뮤테이션 연산자를 활용하여 실제 산업계에서 쓰이는 FBD 모델을 대상으로 뮤테이션 분석을 수행하여 FBD 모델 시험 데이터와 시험 기법을 체계적으로 평가한다.
Function Block Diagram(FBD) is one of the standard programming language of Programmable Logic Controller(PLC). While mutation analysis has been widely used to evaluate fault detection effectiveness of various test technique, it was hard to apply for FBD models because FBD mutation operators were not defined. In this research, we widely analyze FBD model characteristics, real FBD model faults, and previous mutation analysis works to define FBD mutation operators. With the defined mutation operators, we perform case study for application of FBD mutation analysis with industrial FBD models and evaluate FBD model test data and test technique systematically.
