OSD 객체 상태 기반 디버깅 기법

본 논문은 객체 지향 임베디드 시스템에서 발생하는 버그를 소스 레벨에서 효율적으로 찾아내기 위한 새로운 디버깅 기법인 OSD(Object State‑based Debugging)를 제안한다. 기존 디버깅 방법은 주로 제어 흐름이나 데이터 의존성만을 고려했으며, 객체의 런타임 상태를 충분히 활용하지 못한다는 문제점을 지적한다. 이를 해결하기 위해 저자는 클래스 의존 그래프(ClDG)에 객체 상태 정보를 통합하는 방법을 고안한다. 먼저 서론에서는 임베디드 시스템이 복잡해짐에 따라 객체 지향 설계가 확대되고, 디버깅 비용이 급증하고 있음을 설명한다. 디버깅이 여전히 수동적이고 시간 소모적인 작업이며, 자동화된 기법이 실무에 널리 채택되지 못한 이유를 ‘확장성 부족’과 ‘정확도 문제’로 요약한다. 관련 연구 섹션에서는 회귀 테스트 선택, 프로그램 슬라이스, 모델 기반 테스트 등 기존 기법들을 간략히 소개하고, 이들 기법이 객체 상태 정보를 활용하지 못한다는 점을 강조한다. OSD 접근법 개요에서는 전체 흐름을 7단계로 나눈다. (1) 버그가 포함된 C++ 프로그램을 준비하고, (2) 해당 프로그램의 UML 상태 차트를 작성한다. (3) 상태 차트로부터 상태 전이 테이블을 생성한다. (4) 프로그램을 분석해 클래스 별 PDG를 만들고, 이를 연결해 ClDG를 구성한다. (5) 각 ClDG 노드에 상태 차트의 상태를 메타데이터로 부착한다. (6) 테스트 스위트를 실행해 실패 입력(t_j)과 다수의 통과 입력(t_i)을 얻는다. (7) 실패 입력과 가장 제어 흐름이 유사한 통과 입력을 선택하고, 두 입력의 상태 트레이스를 비교해 차이가 발생한 노드를 버그 위치로 보고한다. 구체적인 예제로는 3층 건물 엘리베이터 제어 프로그램을 사용한다. 이 프로그램은 RequestResolver와 Control 두 클래스로 구성되며, Control 클래스가 엘리베이터의 이동과 문 열림을 담당한다. 상태 차트는 Idle, Going Up, Going Down, Door Open 네 가지 상태와 전이 조건을 정의한다. 상태 전이 테이블은 각 전이의 초기 상태, 조건, 동작, 최종 상태를 명시한다. ClDG는 Control 클래스의 메서드와 변수 간 의존성을 그래프 형태로 나타내며, 각 노드에 ‘u, d, o, t’와 같은 상태 기호를 붙여 객체 상태를 표시한다. 테스트 스위트는 (floor, request) 쌍을 입력으로 하며, <0,1> 입력이 실패하고 <1,2> 등은 통과한다. 제어 의존 흐름 비교 단계에서는 <0,1>과 <1,2>가 대부분 동일한 제어 경로를 따르지만, S13, S14 노드에서 상태가 서로 다름을 발견한다. 상태 비교 행렬을 통해 이 차이를 시각화하고, 차이가 발생한 노드가 if문(라인 13)임을 확인한다. 해당 if문이 잘못된 조건을 사용해 문을 과도하게 열게 만들며, 이는 버그의 원인으로 보고된다. 결론에서는 OSD가 객체 상태 정보를 ClDG에 결합함으로써 제어 흐름과 상태 변화를 동시에 고려한 정밀한 버그 위치 추정이 가능함을 주장한다. 현재는 구현 단계에 머물고 있으며, 향후 대규모 임베디드 시스템에 대한 확장성 테스트와 기존 기법과의 정량적 비교가 필요하다고 제시한다. 참고문헌은 회귀 테스트 선택, 프로그램 의존 그래프, 모델 기반 테스트 등 18개의 선행 연구를 인용한다.