FSM 기반 모델의 합성 테스트

초록

본 논문은 FSM을 이용해 컴포넌트 기반 시스템을 모델링하고, 통합 연산자를 통한 행동 결합 규칙을 정형화한다. 이어서, 개별 컴포넌트가 사양에 부합하는지 검증하는 합성 적합성 테스트 방법을 제시한다. 마지막으로, 전체 시스템의 정합성을 개별 컴포넌트 테스트로 보증할 수 있음을 증명한다.

상세 분석

이 연구는 먼저 컴포넌트 기반 시스템을 유한 상태 기계(FSM) 형태로 표현하는 통합 프레임워크를 정의한다. 각 컴포넌트는 입력·출력 알파벳을 갖는 독립적인 FSM으로 모델링되며, 시스템 레벨에서의 동작은 ‘동시합성’, ‘순차합성’, ‘선택합성’ 등 세 가지 기본 연산자를 통해 정의된다. 논문은 이러한 연산자를 정형적으로 기술함으로써, 복잡한 시스템 구조에서도 구성 요소 간 인터페이스와 동기화 메커니즘을 명확히 표현한다.

합성 적합성 테스트(partial conformance testing) 부분에서는 ioco(i​nput‑output conformance) 프레임워크를 확장한다. 기존 ioco는 단일 시스템에 대한 입력‑출력 관찰을 기반으로 하지만, 여기서는 각 컴포넌트가 자체 사양에 대해 ioco 적합성을 만족한다는 전제 하에, 전체 시스템이 목표 사양에 적합한지를 판단한다. 핵심 아이디어는 ‘글로벌 사양의 투영(projection)’이다. 즉, 전체 시스템 사양을 각 컴포넌트가 담당하는 부분으로 분해하고, 그 투영 사양에 대해 개별 테스트를 수행한다. 논문은 이 투영이 보존성을 갖는다는 정리를 증명한다. 즉, 모든 컴포넌트가 투영 사양에 대해 ioco 적합하면, 연산자를 적용한 전체 시스템도 원래의 글로벌 사양에 대해 ioco 적합한다.

증명 과정에서는 동시합성 연산자의 비교적 복잡성을 다루기 위해 ‘동시 실행 시나리오’를 추상화하고, 각 시나리오가 컴포넌트 수준에서 독립적으로 검증될 수 있음을 보인다. 또한, 순차 및 선택 연산자는 전통적인 동기화와 비동기화 모델을 각각 포괄하도록 설계되어, 테스트 목적(test purpose) 설계 시 시스템 컨텍스트를 자연스럽게 반영한다.

실용적인 측면에서 논문은 테스트 목적을 자동 생성하는 알고리즘을 제시한다. 이 알고리즘은 글로벌 사양을 입력으로 받아, 각 컴포넌트에 대한 투영 사양과 대응되는 테스트 목적을 출력한다. 결과적으로 테스트 엔지니어는 시스템 전체를 직접 테스트할 필요 없이, 컴포넌트 수준에서 충분히 검증된 테스트 시나리오만 수행하면 된다. 이는 대규모 임베디드 시스템이나 사이버‑물리 시스템에서 테스트 비용을 크게 절감할 수 있는 전략으로 평가된다.