PDFa11yMut：衡量PDF无障碍检查器中突变特异性检测

中文摘要 AI 辅助

自动化PDF无障碍检查器提供了有用的合规性证据，但一份干净的报告并非完整的无障碍性判定标准。PDFa11yMut通过将成对的结构级变换应用于参考套件基线，验证预期的差异和非目标不变性，并记录哈希关联的检查器证据，来衡量突变特异性的检查器行为。在30个面向合规性的突变体中，PAC和veraPDF各自产生了30个直接目标发现，而Acrobat产生了23个直接发现及3个预设的后果代理发现。39个语义/辅助表示突变体在测试配置下未产生自动化目标发现，而Acrobat对其中一部分发出了人工审查提示；B类被描述性地解释，而非作为普遍的检查器义务。一个单独便利选择的探索性AT样本在固定的NVDA/Acrobat/Windows程序下，9对中有8对观察到了表示差异。该工件贡献了可复用的操作符、结构和纯度判定标准、成对的基线/突变证据，以及针对限定范围的突变测试研究的可复现分析，而非通用的检查器准确性基准。

英文摘要

Automated PDF accessibility checkers provide useful conformance evidence, but a clean report is not a complete accessibility oracle. PDFa11yMut measures mutation-specific checker behavior by applying paired structure-level transformations to reference-suite baselines, verifying intended deltas and non-target invariants, and recording hash-linked checker evidence. Across 30 conformance-oriented mutants, PAC and veraPDF each produced 30 and 30 direct target findings, respectively, while Acrobat produced 23 direct findings plus 3 prespecified consequence-proxy findings. The 39 semantic/assistive-representation mutants produced no automated target finding in the tested configurations, while Acrobat issued manual-review prompts for a subset; Class B is interpreted descriptively rather than as a universal checker obligation. A separate convenience-selected exploratory AT sample observed representation differences in 8 of 9 pairs under one fixed NVDA/Acrobat/Windows procedure. The artifact contributes reusable operators, structural and purity oracles, paired baseline/mutant evidence, and reproducible analysis for a scoped mutation-testing study rather than a general checker-accuracy benchmark.

发表机构

• University of California, Santa Cruz（加州大学圣克鲁兹分校）

机构由 AI 辅助整理，请以论文原文为准。