Achieving accessibility compliance is extremely important for many government agencies and businesses who wish to improve services for their consumers. With the growing reliance on dynamic web applications many organizations are finding it difficult to implement accessibility standards, often due to the inability of current automated testing tools to test the stateful environments created by dynamic web applications. In this paper, we present mathematical foundations and theory for the Demodocus framework and prototype, and outline its approach to using web science, web crawling,and accessibility testing to automatically navigate and test interactive content for accessibility. Our approach simulates the page interactions of users with and without disabilities, and compares graphs of reachable states from these simulations to determine both the accessibility and the difficulty of content access for these different users.

翻译：实现无障碍环境的合规对于许多希望改善消费者服务的政府机构和企业来说极为重要。随着对动态网络应用程序的依赖程度日益提高,许多组织发现难以实施无障碍标准,原因往往是当前自动化测试工具无法测试动态网络应用程序创造的显著环境。 在本文中,我们为Demodocus框架和原型提供了数学基础和理论,并概述了其使用网络科学、网络爬行和无障碍测试的方法,以自动导航和测试无障碍互动内容。我们的方法模拟了与残疾和非残疾用户的页面互动,并比较了这些模拟中可访问状态的图表,以确定这些不同用户的无障碍和访问内容的困难。