Inspectable Control for Structure-Preserving Software Regeneration

보조 한국어 제목: 구조 보존형 소프트웨어 재생성을 위한 점검 가능한 제어

초록: 제약된 복구, 단계적 정제, 구조 보존형 수정과 같은 소프트웨어 공학 절차에는 무엇을 바꾸고 무엇을 유지할지 명시적으로 제어하는 방법이 필요하다. 토큰 단위 생성은 국소적인 표면 문자열은 제약할 수 있지만, 소프트웨어 공학에서 유지하고 싶은 거친 구조 불변량을 표현하기 어렵다. 이 논문은 계층적 이산 잠재 변수를 점검 가능한 소프트웨어 산출물의 중간 표현으로 연구한다. 계층적 VQ-VAE는 64-token Python 함수를 거친 이산 코드와 세밀한 이산 코드로 압축하고, 마스킹 이산 생성은 일부 제약 아래 선택한 위치만 다시 생성한다. 전처리된 Python 함수 2,000개에서 상위 코드 4개를 고정하면 파싱 성공률이 0.453에서 0.591로 높아졌으며, 고정하지 않은 위치는 높은 변화 자유도(0.936)를 유지했고 표본 고유성은 거의 최대(0.998)였다. 거친 문맥을 고정했을 때 하위 정제 효과는 약하지만 단조롭게 변해 계층을 거친 수준에서 세밀한 수준으로 해석할 수 있음을 뒷받침한다. 이 결과는 토큰 수준 위에서 제한적이고 구조 보존적인 소프트웨어 산출물 재생성을 지원할 수 있는 제어층의 초기 근거를 제공한다.

핵심 결과: 거친 잠재 코드를 고정하면 구문 안정성이 높아지면서도 편집 가능한 영역의 변화가 사라지지 않는다. 이는 구조 제어 가능성을 보여 주지만 기능적 동등성을 보장하지는 않는다.

근거의 한계: 64 token으로 잘린 짧은 Python 함수만 다룬다. argmax 디코딩과 구문·구조 대리 지표를 사용했으며 기능적 동등성 테스트는 하지 않았다. 정확한 함수 시그니처 보존 성능은 여전히 낮다. 하위 수준 제어는 상위 수준 제어보다 약하다. 잠재 위치가 AST 영역, 함수 시그니처, 제어 흐름 구조 같은 의미 영역과 정렬되어 있지 않다. 실제 프로그램 복구, 리팩터링, 저장소 규모 변경의 정확성을 입증하지 않는다.

한국어 논문 안내: https://aogavrilov.com/ko/publications/inspectable-control/
영어 논문 페이지: https://aogavrilov.com/publications/inspectable-control/
영어 논문 전문: https://aogavrilov.com/publications/inspectable-control/full-text/
영어 PDF: https://aogavrilov.com/publications/inspectable-control/paper.pdf
DOI: https://doi.org/10.1145/3803437.3807386