메뉴 건너뛰기
소속 기관 / 학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
고객센터 ENG
주제분류

논문 기본 정보

저자정보
(한국과학기술원) (한국과학기술원) (한국과학기술원)
저널정보
Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.53 No.8
오류 신고하기

피인용 0

검색

    초록·키워드

    린터는 소스 코드의 품질 유지와 잠재적 오류 예방을 보조하는 도구이다. 본 연구에서는 F# 언어를 대상으로 구문 기반 경량 린터인 FSLint를 설계하고 구현하였다. F#의 타입 시스템은 많은 타입 오류를 컴파일 단계에서 탐지할 수 있지만, 공백, 줄바꿈, 명명 규칙, 코드 배치와 같은 형식 및 코딩 관례의 일관성까지 보장하지는 않는다. FSLint는 타입 검사나 심볼 해석 없이 F# 구문 트리와 형식 정보를 활용하여 이러한 규칙 위반을 검사한다. FSLint를 6개의 오픈소스 프로젝트에 적용한 결과, 기본 규칙 기준 총 70,361개의 규칙 위반 지점을 탐지하였다. 또한 FSharpLint와의 실행 비용 비교에서 FSLint는 29.8배 짧은 실행 시간과 183배 적은 메모리 사용량을 보였다. 이는 FSLint가 CI 및 LSP 기반 IDE 환경에서 반복적으로 실행 가능한 경량 코드 일관성 검사 도구로 활용될 수 있음을 보여준다.

    최근 본 자료 전체보기