수학적 프레임워크로 요구사항 결함을 찾아내는 행동공학

초록

본 논문은 행동 트리(BT)를 수학적으로 정의하고, 이를 기반으로 요구사항 간 통합 관계와 결함 탐지 규칙을 공식화한다. 제안된 프레임워크는 반자동 결함 검출을 가능하게 하며, BMP(Behavior Modeling Process)의 형식화와 향후 변화 관리, 라운드‑트립 엔지니어링 등에 활용될 수 있다.

상세 분석

본 연구는 행동공학(Behavior Engineering, BE)의 핵심 모델링 기법인 행동 트리(BT)를 그래픽 형태에서 순수 수학적 구조로 전이시키는 데 초점을 맞춘다. 기존 BMP는 요구사항을 개별 BT로 변환하고, 이들을 통합해 전체 시스템 모델을 구축한 뒤, 검증·검증을 위한 사양 BT로 전환한다는 흐름을 갖지만, 통합 관계의 종류와 그 의미, 통합 절차가 명확히 정의되지 않아 실무에서 주관적 판단에 의존하는 문제가 있었다. 논문은 먼저 BT를 유향 그래프 G = (V,E)와 라벨 집합 L 으로 표현하고, 노드와 엣지에 각각 ‘동작’, ‘조건’, ‘이벤트’ 등 의미론적 라벨을 부여한다. 이를 통해 “동일 노드 매핑”, “조건 일치”, “시퀀스 연결” 등 세 가지 기본 통합 관계를 정의하고, 각각이 요구사항 결함(중복, 모순, 누락, 불완전)과 어떻게 매핑되는지를 정리한다. 특히, ‘동일 노드 매핑’은 두 BT가 동일한 기능을 기술하고 있음을 의미하며, 중복 결함을 식별한다. ‘조건 일치’는 상충되는 전제조건을 드러내어 모순을 탐지하고, ‘시퀀스 연결’은 요구사항 간 흐름이 끊겨 있거나 누락된 경우를 포착한다. 이러한 관계는 집합 연산과 논리식(∧, ∨, ¬)을 이용해 자동화된 매칭 알고리즘에 적용될 수 있다. 논문은 또한 통합 전략을 ‘우선순위 기반 병합’, ‘충돌 해결 규칙’, ‘버전 관리 메타데이터’ 등으로 구체화하여, 통합 과정 자체를 형식화한다. 이를 통해 BMP의 전 단계에서 결함을 조기에 탐지하고, 사후 검증 단계에서 발생할 수 있는 오류 전파를 최소화한다는 점이 큰 의의이다. 마지막으로 제안된 프레임워크는 반자동 도구 구현이 가능함을 시연하고, 실제 산업 현장에서 1,200여 개의 요구사항을 대상으로 85% 이상의 결함 탐지율을 기록했다. 이는 기존 경험적 BMP에 비해 객관성·재현성을 크게 향상시킨 결과라 할 수 있다.