ConQEC: 양자 오류 수정 코드 구현을 위한 Concolic 테스트

요약

본 논문은 양자 오류 수정 코드(QECC) 구현의 검증 문제를 다루며, 기존 방식이 부족했던 구체적인 결함 진단 워크플로우를 제시합니다. 연구진은 ConQEC라는 최초의 concolic 테스트 프레임워크를 제안했습니다. 이 프레임워크는 결함 재생과 기호적 복구 경로 제약 조건을 결합하여, 단순 실패 여부를 넘어 결함부터 복구까지의 상세 진단(FSDR)을 제공하며 확장성을 입증했습니다.

핵심 포인트

• ConQEC는 QECC 구현을 위한 최초의 concolic 테스트 프레임워크입니다.
• 결함 재생과 기호적 제약 조건을 결합하여 검증의 깊이를 높였습니다.
• 단순 실패가 아닌, FSDR(결함-신드롬-디코더-복구) 상세 진단이 가능합니다.
• 수천 큐비트 규모에서도 확장 가능한 테스트 워크플로우를 제공합니다.