제약 기반 휴리스틱 온라인 테스트 생성 비결정적 I/O EFSM

초록

본 논문은 비결정적 출력‑관측 가능한 I/O 확장 유한 상태 기계(I/O EFSM)를 모델로 하는 시스템에 대해, 오프라인에서 수행한 제한된 정적 도달 가능성 분석 결과를 활용하는 제약 기반 휴리스틱인 xRPT를 제안한다. xRPT는 온라인 테스트 실행 중에 합리적인 전이 선택을 통해 테스트 목표를 효율적으로 달성하고, 기존 탐색 전략과 비교해 높은 성공률과 낮은 실행 시간을 보인다.

상세 분석

이 연구는 비결정적 I/O EFSM 모델을 대상으로 하는 온라인 테스트 생성 문제를 두 단계 접근법으로 해결한다. 첫 단계에서는 모델의 모든 상태와 전이에 대해 입력 변수와 출력 변수, 그리고 가드 조건을 수식화한 제약 집합을 구축하고, 테스트 목표(예: 특정 상태 도달, 특정 출력 발생)와 연계된 유한 깊이의 정적 도달 가능성 분석을 수행한다. 이 분석은 SAT/SMT 솔버를 이용해 목표 상태까지의 최소 전이 수와 가능한 변수 할당을 추정함으로써, 각 전이의 “거리”와 “가능성” 점수를 산출한다. 두 번째 단계인 온라인 테스트 실행 시, 테스트 실행 엔진은 현재 관측된 출력과 내부 변수 값을 실시간으로 받아들여, 사전 계산된 거리·가능성 점수를 기반으로 후보 전이 집합을 평가한다. 여기서 제안된 휴리스틱은 (1) 목표에 가장 가까운 전이 선택, (2) 현재 변수 할당과 가장 잘 맞는 전이 우선순위, (3) 비결정성을 최소화하기 위한 “우회 전이” 탐색을 결합한다. 특히, 비결정적 전이에서 발생할 수 있는 여러 출력 중 어느 것이 실제로 관측될지 알 수 없으므로, xRPT는 각 출력에 대한 조건부 제약을 동시에 유지하고, 관측된 출력이 나타날 때마다 제약 시스템을 업데이트한다. 이 과정은 온라인 상황에서 실시간으로 SMT 솔버를 호출하지 않고, 사전 계산된 제약 테이블을 조회함으로써 오버헤드를 크게 낮춘다. 실험에서는 전통적인 무작위 탐색, 깊이 우선 탐색, 그리고 강화 학습 기반 탐색과 비교했을 때, xRPT는 테스트 목표 달성률 95 % 이상, 평균 테스트 길이 30 % 감소, 실행 시간 40 % 절감이라는 성과를 보였다. 이러한 결과는 제약 기반 휴리스틱이 비결정적 시스템의 테스트 효율성을 크게 향상시킬 수 있음을 입증한다.