소프트웨어 산출물 전반에 걸친 의미론적 시딩 및 그래프 전파 기반 영향 분석을 향하여: 비전

단일 소프트웨어 산출물(artifact)—요구사항(requirement), 설정값(configuration value), 또는 함수(function)—이 변경될 때, 엔지니어는 무엇이 추가로 영향을 받는지 결정해야 합니다. 기존의 변경 영향 분석(Change-Impact-Analysis, CIA) 도구들은 다음 두 가지 신호 중 하나에만 고립되어 의존하는 경향이 있습니다: 텍스트에서 복구된 의미론적 유사성(semantic similarity)(정보 검색 추적성(information-retrieval traceability), 코드 검색(code search), 임베딩(embeddings)), 또는 구조적 의존성 추적(structural dependency following)(호출 그래프(call graphs), IDE의 "사용처 찾기(find usages)", 테스트 영향 선택(test-impact selection)). 각각은 고유한 사각지대(blind spot)를 가지고 있습니다. 의미론적 기반 도구는 변경 사항과 어휘를 공유하지 않는 영향을 받는 산출물을 놓치며, 구조적 기반 도구는 의미적으로는 연관되어 있으나 엣지(edge)로 연결되지 않은 산출물을 놓칩니다. 또한 대부분의 도구는 Requirement-Config-Service-Test 체인이 아닌 코드에 대해서만 작동합니다. 우리는 동일한 임베딩 상에서 두 신호를 융합하는, 별도의 학습이 필요 없는(training-free) 해석 가능한 분석기를 제안합니다. 우리는 시스템을 정적 분석(static analysis)을 통해 복구된 타입화된 엣지(typed edges)를 가진 이종 산출물 그래프(heterogeneous artifact graph)로 모델링하고, 변경된 산출물과의 코사인 유사도(cosine similarity)를 통해 의미론적 사전 확률(semantic prior)을 계산하며, 행 정규화된 전파 행렬(row-normalized propagation matrix)을 통해 감쇠(decay)를 동반한 멀티 홉(multi-hop) 영향 전파를 수행하고, 단일 조절 가능한 가중치 람다(lambda)로 이 두 가지를 혼합합니다. 결제 서브시스템(5개의 레이블이 지정된 변경 시나리오)에 대한 작지만 완전한 개념 증명(proof-of-concept)은 우리가 주목하는 메커니즘을 보여줍니다: 변경 사항과 텍스트 중복이 전혀 없는 산출물도 전파(propagation)를 통해 여전히 복구되며, 전파만으로는 도달할 수 없는 헬퍼 함수(helper functions)는 의미론적 계층(semantic layer)을 통해 복구됩니다. 이 융합(fusion)은 두 사각지대를 모두 커버하는 유일한 구성이며, 람다는 명시적인 정밀도/재현율(precision/recall) 제어 장치로 작동합니다. 공개적으로 문서화된 4가지 운영 장애 사례를 바탕으로, 우리는 동일한 공식이 코드 전용 분석이 도달할 수 없는 운영 산출물(이미지, 메트릭, 대시보드, 데이터 스키마)로 확장될 수 있다고 주장합니다.