위키득계정 ↗
기술

FileCheck

FileCheck기술
소속
LLVM
분류
출력 패턴 검사기
입력
검사 지시문과 대상 텍스트
기본 지시 접두사
CHECK
FileCheck는 텍스트 출력이 지정한 패턴과 조건을 만족하는지 검사하는 도구다. 컴파일러가 생성한 코드와 진단 등에 대한 회귀 테스트에 활용한다.

출력의 일부를 검사하기

검사 규칙이 있는 파일과 실제 출력 텍스트를 함께 사용한다. 여러 패턴이 지정한 순서로 나타나는지 확인할 수 있다. 전체 출력이 문자 단위로 완전히 같은지를 비교하는 방식보다 중요한 변화에 초점을 맞추는 데 쓰인다.

조건의 정밀도

행 단위 일치나 공백 처리, 나타나면 안 되는 패턴 등 검사 조건을 조정할 수 있다. 조건이 너무 느슨하면 잘못된 출력도 통과하고 너무 엄격하면 무관한 변경에 자주 실패한다. 검증하려는 의미에 맞게 범위를 정하는 것이 중요하다.

실행 도구와 조합

FileCheck는 텍스트를 판정하는 역할이며 전체 테스트 모음의 탐색과 실행은 Lit 같은 도구가 맡을 수 있다. 검사 성공이 실행 의미의 완전한 동등성을 증명하는 것은 아니다. 실제로 보장한 출력 조건과 별도로 필요한 기능 검사를 구분한다.

관련 문서

Lit LLVM / Clang / LLVM Opt / LLVM LLC