DHTML Accessibility Checking Based on Static JavaScript Analysis

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4556)


DHTML accessibility is being standardized by W3C, which provides metadata for UI widgets commonly implemented by HMTL and JavaScript. However it is difficult to check that webpages always have correct metadata according to the standards of DHTML accessibility since UI widgets can be updated by JavaScript programs. Thus we propose a technique for checking accessibility of UI widgets. In this check, we use static program analysis techniques so that we can check accessibility without executing a program. In addition, we developed a prototype system based on the proposed technique and applied it to a simple DHTML application.


DHTML accessibility JavaScript Static program analysis 


  1. 1.
    Beirekdar, A., Keita, M., Noirhomme, M., Randolet, F., Vanderdonckt, J., Mariage, C.: Flexible Reporting for Automated Usability and Accessibility Evaluation of Web Sites. In: Proc. of Human-Computer Interaction (2005)Google Scholar
  2. 2.
    Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree Automata Techniques and Applications
  3. 3.
    Hosoya, H., Vouillon, J., Pierce, B.: Regular expression types for XML. In: Proc. of the International Conference on Functional Programming, pp. 11–22 (2000)Google Scholar
  4. 4.
    Hosoya, H., Pierce, B.: Regular expression pattern matching for XML. In: Proc. of Principles of Programming Languages, pp. 67–80 (2001)Google Scholar
  5. 5.
    Mozilla: Accessible Rich Internet Application
  6. 6.
    Vanderdonckt, J., Beirekdar, A.: Automated Web Evaluation by Guideline Review. Journal of Web. Engineering 4(2), 102–117 (2005)Google Scholar
  7. 7.
    Tateishi, T., Miyashita, H., Saito, S., Ono K.: Automated Verification Tool for DHTML. In: Proc. of Automated Software Engineering (2006)Google Scholar
  8. 8.
    Tip, F.: A survey of program slicing techniques, Journal of Programming Languages, 121–181 (1995)Google Scholar
  9. 9.
  10. 10.
    Pontelli, E., Xiong, E., Gupta, G., Karshmer, A.I.: A Domain Specific Language Framework for Non-Visual Browsing of Complex HTML Structures. In: Proc. of the International Conference on Assistive technologies (2000)Google Scholar
  11. 11.
    Sun, Z., Mahmud, J., Mukherjee, S., Ramakrishnan, I.V.: Model-directed web transactions under constrained modalities. In: Proc. of the International Conference on World Wide Web, pp. 447–456 (2006)Google Scholar
  12. 12.
  13. 13.
    W3C: Dynamic Accessible Web Contents Roadmap
  14. 14.
    W3C: Roles for Accessible Rich Internet Applications
  15. 15.
    W3C: States and Properties Module for Accessible Rich Internet Applications
  16. 16.
    W3C: Web Accessibility Evaluation Tools
  17. 17.
    Watchfire Corporation: WebXACT

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  1. 1.Tokyo Research Laboratory, IBM Research, 1623-14 Shimotsuruma, Yamato-shi, Kanagawa-ken, 242-8502Japan

Personalised recommendations