paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Characterizing Real-World Accessibility Issues Reported in Kotlin Mobile Apps

刻画 Kotlin 移动应用中报告的真实世界无障碍问题
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 2/10 · 该论文研究 Kotlin Android 应用的无障碍问题分类法,虽然提及可改进静态/动态分析规则,但核心是移动无障碍的实证研究,不涉及 LLM/Agentic 程序、浮点程序分析、贝叶斯程序分析或 AI 与 PL 的交叉。因此与用户研究方向匹配度低。引用 0 inbox
Benjamín Enrique González-Briones, Juan Pablo Sandoval Alcocer, Alison Fernandez Blanco, Leonel Merino, Camilo Escobar-Velásquez, Mario Linares-Vásquez
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:通过分析 256 个 Kotlin Android 项目的 GitHub 无障碍 issue,构建真实世界无障碍问题分类法。

尽管无障碍指南与自动化检查广泛存在,移动应用仍存在排斥残障用户的障碍。已有工作多关注指南符合性与静态分析,而开发过程中无障碍问题如何产生仍缺乏了解。本文对开源 Kotlin 原生 Android 应用中的 256 个 GitHub 无障碍相关 issue 进行人工审查,并结合主题分析,构建了一个基于实证的问题分类法,涵盖辅助技术支持、视觉无障碍以及触摸与手势交互等反复出现的问题。结果表明,许多问题并非缺少元素,而是语义错误或缺失,导致辅助技术无法正确理解界面。该分类法可为现有静态与动态分析工具的无障碍规则、开发者实践及未来研究提供依据。

问题
现有工作侧重无障碍指南符合性和静态分析,但对真实开发过程中无障碍问题如何产生、以何种形式被报告缺乏理解。
方法
人工审查 256 个 Kotlin 原生 Android 开源项目中的 GitHub 无障碍 issue,并进行主题分析,归纳问题分类法。
评估
通过人工审查与主题分析得到分类法,覆盖辅助技术支持、视觉无障碍、触摸与手势交互,并指出语义错误或缺失是核心原因。
原文摘要(Abstract)

Although accessibility guidelines and automated checks are widely available, mobile applications continue to present barriers that exclude users with disabilities. Prior work has emphasized guideline conformance and static analysis, but little is known about how accessibility problems actually arise during the development process. This work analyzes real accessibility issues reported by developers in open-source mobile projects. A manual review of 256 GitHub issues related to accessibility (in Kotlin native Android applications), combined with thematic analysis, yields an empirically grounded taxonomy of problems not deeply considered before. The taxonomy captures recurring issues in assistive technology support, visual accessibility, and touch and gesture interaction. Our findings indicate that many accessibility issues are not due to the absence of elements, but rather to incorrect or missing semantics that impede assistive technologies. These findings provide a basis for improving accessibility rules used by existing static and dynamic analysis tools, as well as developer practices and future research efforts.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{Gonzalez-Briones26,
  title = {Characterizing Real-World Accessibility Issues Reported in Kotlin Mobile Apps},
  author = {Benjamín Enrique González-Briones and Juan Pablo Sandoval Alcocer and Alison Fernandez Blanco and Leonel Merino and Camilo Escobar-Velásquez and Mario Linares-Vásquez},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3805568}
}