의미론적 변이 결함 모델 하에서의 최소 완전 MR 부분 집합: 서포트 세트 지배 경계 (Support-Set Domination

본 논문은 변이 테스트 (Metamorphic Testing)에서 MR 부분 집합 (MR-subset) 선택이 단순한 거친 결함 클래스 카운팅 (fault-class counting)의 산물인지, 아니면 최소 완전 증거 (minimum complete evidence)를 위한 실제 변이 수준 (mutant-level)의 요구 사항인지를 탐구합니다. 우리는 허용된 변이--도출된 커버리지 유니버스 (coverage universe)에 대해 레이어 상대적 완전성 기준 (layer-relative completeness criterion)을 정의합니다. 핵심 결과는 서포트 세트 지배 경계 (support-set domination boundary)입니다. 이는 클래스 수준의 추상화 (class-level abstraction)가 안전한 시점과 변이 수준의 MR 최소화 (MR minimization)가 필요한 시점을 명시합니다. 이 경계는 킬 시그니처 이질성 (kill-signature heterogeneity)에 의해 제어되며, 이는 범위가 지정된 결함 시그니처 커널 (fault-signature kernel)을 생성하고 MR 특유의 문제를 일반적인 결함 클래스 카운팅과 분리합니다. 결과적으로 도출된 Min-MR-Complete 문제는 선택된 커버리지 유니버스 상에서 집합 커버 (Set-Cover)와 동등하며, 이에 따라 NP-난해성 (NP-hardness), 고전적인 로그 근사 경계 (logarithmic approximation boundary), 탐욕적 근사 (greedy approximation), 정확한 ILP 정식화 (exact ILP formulation), 그리고 하한(lower bound)이나 타이트한 예측기(tight predictor)는 아닌 SMS-rank 상한 (SMS-rank upper bound)을 가집니다. 아티팩트 레인 (Artifact lanes)은 레인 지역 최소화 (lane-local minimization) 및 감사 증거 (audit evidence)를 제공합니다. 별도로, 경로 증인 (route witnesses)은 경계 정리 (boundary theorem)에 대한 붕괴 (collapse) 및 비붕괴 (non-collapse) 체제를 모두 인스턴스화하며, 인구 수준의 실험 (population-level experiments)으로 풀링되지 않습니다. 기타 MR-클래스-프록시 (MR-class-proxy) 행들은 경로 허용 증인 증거 (route-admitted witness evidence)라기보다는 중간 신호 (intermediate signals)로 남습니다.