A11yLTLNav: 접근성 내비게이션 실패 자동 감지

요약

본 논문은 정적 스냅샷으로는 감지하기 어려운, 상호작용 중 발생하는 웹 접근성 내비게이션 실패를 자동으로 감지하는 A11yLTLNav라는 속성 기반 접근 방식을 제안합니다. 이 시스템은 접근성 실패를 형식화된 Linear Temporal Logic(LTL) 속성으로 정의하고, 무작위 키보드 탐색과 런타임 모니터링을 결합하여 작동합니다. 실제 웹사이트 평가 결과, 기존 검사기보다 높은 정밀도로 많은 접근성 실패를 식별했습니다.

핵심 포인트

• A11yLTLNav는 상호작용 중 발생하는 접근성 실패 감지 시스템입니다.
• 접근성 실패를 LTL 속성으로 형식화하여 검증합니다.
• 무작위 키보드 탐색과 런타임 모니터링을 결합했습니다.
• 실제 웹사이트 평가에서 높은 정밀도로 많은 실패를 식별했습니다.