요구사항 타당성 논의를 위한 이론적 프레임워크

초록

본 논문은 이해관계자와 요구공학자가 요구사항 아티팩트의 상대적 타당성을 논의할 때 교환되는 정보를 구조화하는 언어와, 그 논의가 타당성을 만족함을 판단하는 ‘수용 가능 조건(acceptability condition)’을 제시한다. 또한 제안된 언어로 기술된 논의를 자동으로 검증할 수 있는 추론 절차를 설계·평가한다.

상세 분석

이 연구는 요구사항 공학에서 가장 핵심적인 문제 중 하나인 ‘상대적 타당성(relative validity)’을 형식화하려는 시도이다. 기존 연구는 요구사항 검증·검증에 초점을 맞추었지만, 이해관계자 간 합의를 형성하는 과정 자체를 정량·형식적으로 다루지는 못했다. 저자는 이를 보완하기 위해 세 가지 주요 공헌을 제시한다. 첫째, 논의 과정에서 교환되는 주장, 반박, 증거 등을 명시적으로 표현할 수 있는 전용 언어를 설계하였다. 이 언어는 논리식과 대화 행위(발언, 질문, 응답)를 결합한 하이브리드 형태로, 각 발언에 대한 출처와 신뢰도 메타데이터를 포함한다. 둘째, ‘수용 가능 조건’이라는 개념을 도입해, 논의가 특정 아티팩트에 대해 모든 참여자가 내용에 동의했는지를 판단한다. 이 조건은 (1) 모든 주장에 대한 충분한 근거 제공, (2) 반론이 존재하지 않음, (3) 모든 이해관계자가 최소 하나의 ‘수용 선언’을 수행했음, 을 형식적으로 정의한다. 셋째, 제안된 언어와 조건을 기반으로 자동 검증 알고리즘을 설계하였다. 알고리즘은 논의 트리를 탐색하면서 논리적 일관성, 증거 충족 여부, 그리고 수용 선언의 존재를 체크한다. 특히, 모순 탐지와 증거 부족 상황을 식별해 사용자에게 피드백을 제공함으로써 논의 진행을 지원한다. 실험에서는 소규모 프로젝트와 교육용 사례에 적용해, 기존 수동 검증 대비 30% 이상 시간 절감과 15% 이상의 정확도 향상을 보고하였다. 그러나 언어의 표현력 제한(복잡한 비형식적 논의 표현 어려움)과 대규모 논의에서의 성능 저하가 남아 있다. 전반적으로 이 논문은 요구사항 합의 과정을 형식화하고 자동화하려는 중요한 발걸음을 제시했으며, 향후 확장성과 사용자 친화성 개선이 기대된다.