랜덤 테스트의 복잡도 이론적 기초

요약

본 논문은 소프트웨어 테스트를 위한 랜덤 생성기의 복잡도 이론적 기초를 제시합니다. 생성기를 튜링 변환기로 모델링하고, 생성 가능한 언어가 재귀적으로 열거 가능한 언어와 일치함을 증명했습니다. 또한, 효율적인 생성과 결정의 복잡도가 다름을 보이며, 커버리지 기반 퍼징 등 현대 테스트 기법에 대한 이론적 틀을 제공합니다.

핵심 포인트

• 생성기를 튜링 변환기로 모델링하여 이론적 기초를 확립함.
• 효율적인 생성 가능성은 검증기(verifier)의 '인증서 방식'을 요구함.
• 효율적인 생성과 결정의 복잡도는 같지 않다는 것을 증명함.
• 공간 제한된 복잡도가 상관관계가 있는 샘플 생성을 포괄하는 프레임워크임을 제시함.