Functional Testing for Alternative Python Interpreters via Static Analysis of CPython
이공학학술연구기반구축(R&D) · 석사과정생연구장려금지원
2026년
2340066489
교육부
한국연구재단
고려대학교
임정섭
1명
2026.09.01 ~ 2027.08.31
2026.09.01 ~ 2027.08.31
1,200만원
1,200만원
응용연구
대학
서울특별시 성북구
정보/통신 > 정보이론 > 프로그래밍 언어/자연어 처리
□ 최종 목표CPython 소스 코드에 대한 정적 분석을 통해, 대체 Python 인터프리터의 표준 라이브러리에서 기능 오류를 일으키는 테스트 프로그램을 자동으로 생성하는 기법을 개발□ 목표 내용ㅇ CPython: Python 언어의 공식 참조 구현체. Python 사용자에게 가장 유명한 인터프리터. 본 연구에서는 CPython의 C 언어로 작성된 소스 코...
□ 연구 내용1. CPython 소스 코드 분석: CPython의 C 소스 코드를 정적으로 분석하여, 각 표준 라이브러리 함수가 입력 타입에 따라 어떤 조건 분기를 거쳐 동작하는지를 자동으로 추출함.2. 스켈레톤 생성: 추출된 분기 조건을 만족하는 미완성 Python 프로그램(스켈레톤)을 자동 생성. 스켈레톤은 채워야 할 값의 타입 제약이 명시된 빈칸(구멍...
... 인터프리터 개발자가 지속적으로 활용할 수 있는 검증 인프라로 활용□ 기대효과ㅇ 대체 Python 인터프리터에 잠복한 기능 오류를 자동으로 검출함으로써, 산업 현장에서 실제로 활용되는 구현체의 품질 및 신뢰성 향상에 이바지ㅇ 현대 AI 구현체의 핵심 라이브러리에 대한 프로그램 분석 연구로 이어질 수 있어, 장기적으로 AI 소프트웨어 신뢰성 연구에 기반을 제공