paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps

移动应用动态内容变化的自动化无障碍分析
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 2/10 · 该论文研究移动应用动态内容变化的无障碍自动分析,属于程序分析在特定领域的应用,但与用户核心方向(PL↔AI、LLM+静态分析/形式化验证、浮点程序分析、贝叶斯程序分析)无直接关联;仅因涉及程序分析技术而略有边缘联系。引用 5 inbox
Forough Mehralian, Ziyao He, Sam Malek
crossref: 2026-09-12

AI 速览

一句话:提出 TimeStump,一个基于形成性用户研究自动检测 Android 应用动态内容变化所引发无障碍问题的框架。

移动应用对残障用户的无障碍支持日益重要,但开发者常忽视屏幕阅读器等辅助技术用户的困难。屏幕阅读器用户通常按顺序浏览界面,一次聚焦一个元素,难以察觉应用其他位置发生的动态内容变化;这些变化对视力正常用户可能显而易见,却会造成严重的无障碍障碍。现有无障碍测试工具无法识别动态内容变化引发的盲用户问题。为此,作者先对 Android 应用中的动态变化及其无障碍障碍开展形成性用户研究,再基于发现提出自动化框架 TimeStump 来检测相关问题,最后在真实应用中实证评估其有效性和效率。

问题
移动应用中的动态内容变化对屏幕阅读器用户造成无障碍障碍,而现有无障碍测试工具无法识别这类问题。
方法
作者先开展形成性用户研究,总结 Android 应用中动态变化的无障碍问题;据此提出自动化检测框架 TimeStump。
评估
在真实世界应用上实证评估 TimeStump 检测动态变化相关无障碍问题的有效性和效率。
原文摘要(Abstract)

With mobile apps playing an increasingly vital role in our daily lives, the importance of ensuring their accessibility for users with disabilities is also growing. Despite this, app developers often overlook the accessibility challenges encountered by users of assistive technologies, such as screen readers. Screen reader users typically navigate content sequentially, focusing on one element at a time, unaware of changes occurring elsewhere in the app. While dynamic changes to content displayed on an app's user interface may be apparent to sighted users, they pose significant accessibility obstacles for screen reader users. Existing accessibility testing tools are unable to identify challenges faced by blind users resulting from dynamic content changes. In this work, we first conduct a formative user study on dynamic changes in Android apps and their accessibility barriers for screen reader users. We then present TimeStump, an automated framework that leverages our findings in the formative study to detect accessibility issues regarding dynamic changes. Finally, we empirically evaluate TimeStump on real-world apps to assess its effectiveness and efficiency in detecting such accessibility issues.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8793,
  title = {Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps},
  author = {Forough Mehralian and Ziyao He and Sam Malek},
  booktitle = {ICSE},
  year = {2025},
  doi = {10.1109/icse55347.2025.00039}
}