7편의 한국어 분석 — 최신순으로 정렬했어요
데이터 제약은 소프트웨어 시스템에서 허용되거나 요구되는 데이터 값을 명시하는 중요한 비즈니스 규칙이지만, 주로 자연어 텍스트 형태로 소프트웨어 아티팩트에 기술됩니다. 본 연구는 자연어 소프트웨어 문서에서 데이터 제약을 자동으로 식별하는 과제에 초점을 맞춥니다. 이를 위해 9개 소프트웨어 시스템의 자연어 아티팩트에 기술된 546개 데이터 제약을 분석하여, 이해관계자들이 자연어로 데이터 제약을 기술할 때 사용하는 9가지 언어적 담화 패턴을 발견하고 문서화했습니다. 이 패턴들을 활용하여 제약 식별 및 추출 문제를 텍스트 매칭 및 분류 …
소프트웨어 리팩토링은 품질과 유지보수성을 향상시키는 핵심 활동이나, 기존의 수동적·휴리스틱 기반 접근법은 한계가 있습니다. 최근 딥러닝(DL) 기술이 이러한 한계를 극복하기 위해 리팩토링에 적용되고 있으나, 관련 연구를 종합적으로 정리하고 체계화한 자료는 부족한 실정입니다. 본 연구는 딥러닝 기반 소프트웨어 리팩토링을 코드 스멜 탐지, 리팩토링 추천, 리팩토링 구현, 리팩토링 마이닝, 리팩토링 영향 분석의 다섯 가지 핵심 과업으로 분류하여 포괄적인 조사를 수행했습니다. 이를 통해 딥러닝 기반 리팩토링 연구의 현황과 분포를 체계적으…
소프트웨어 저장소에서 사용자 설명 기반의 실제 문제 해결은 소프트웨어 유지보수의 핵심입니다. 최근 대규모 언어 모델(LLM)의 추론 및 생성 능력 발전으로 자동화된 소프트웨어 문제 해결 분야에서 상당한 진전이 있었습니다. 그러나 실제 소프트웨어 문제 해결은 본질적으로 복잡하며, 장기적인 추론, 반복적 탐색, 피드백 기반 의사결정 등 기존의 단일 단계 접근 방식을 넘어서는 에이전트형 역량을 요구합니다. 본 연구는 LLM 기반 에이전트형 시스템이 소프트웨어 문제 해결의 유망한 방향임을 인식하고, 이 분야의 폭발적인 성장을 체계적으로 …
대규모 언어 모델(LLM)은 프로그램 복구, 문서화, 코드 리팩토링 등 다양한 소프트웨어 개발 관련 작업에서 뛰어난 성능을 보였습니다. 그러나 이러한 모델의 훈련에는 막대한 데이터와 상당한 컴퓨팅 자원이 필요합니다. 어댑터는 전체 모델을 재훈련할 필요 없이 특정 작업, 도메인 또는 애플리케이션에 맞춰 LLM을 효율적으로 미세 조정하기 위해 설계된 작고 특화된 모듈입니다. 모델 및 어댑터 병합은 최소한의 훈련 또는 훈련 없이 여러 작업을 수행할 수 있는 단일 모델을 개발하는 기술로 부상했습니다. 본 연구에서는 MergeRepair …
형식 방법론은 숨겨진 가정이나 간과된 요구사항을 밝혀낼 수 있는 수학 기반 접근법으로, 소프트웨어 및 시스템의 정밀한 명세, 설계, 검증을 가능하게 한다. 이 연구는 브라질 형식 방법론 커뮤니티에 대한 포괄적인 이해가 부족하다는 점에 주목하여, 그 역사적 궤적을 추적하고 지역 학술 문화, 정책, 자금 지원이 어떻게 이 분야를 형성했는지 분석한다. 본 연구는 브라질 형식 방법론 커뮤니티의 역사적 서사를 다양한 차원에서 제공한다. 과거 및 현재 연구 프로젝트, 연구 그룹, 교육 이니셔티브, 그리고 주요 학술 행사의 특징 등을 상세히 …
패키지 관리자는 프로그래밍 언어와 운영 체제마다 고유한 해결책을 제공하며, 의존성 해결을 위한 미묘하게 다른 의미론을 가집니다. 이러한 파편화는 다국어 프로젝트에서 언어 생태계 전반의 정밀한 의존성을 표현하는 것을 방해하고, 외부 시스템 의존성을 암묵적이고 버전 관리되지 않은 상태로 두며, 공급망 분석에 필요한 전체 의존성 그래프를 모호하게 만듭니다. 본 연구는 패키지 관리자의 핵심 의미론을 통합하는 의존성 해결을 위한 형식주의인 '패키지 계산법(Package Calculus)'을 제시합니다. 일련의 형식적 환원(formal re…
코드 분석은 소프트웨어 공학에서 디버깅, 성능 최적화, 보안 평가 등 핵심적인 역할을 수행합니다. 기존 도구들은 언어 특정성, 복잡한 설정, 그리고 교차 언어 일반화의 한계가 있었습니다. 최근 대규모 언어 모델(LLM)이 다양한 코드 관련 작업에 유망하게 부상했지만, 근본적인 코드 분석 능력에 대한 탐구는 부족했습니다. 본 연구는 LLM의 코드 분석 능력을 평가하여, LLM 기반 프로그래밍 도구의 발전 가능성을 모색합니다. 인간 개발자의 코드 분석 방식(구문 분석, 정적 의미 추론, 동적 추론)에 맞춰 연구를 구성했습니다. C, …
