Proving the Validity and Accessibility of Dynamic Web-Pages Dr R G Stone & J Dhiensa Department of Computer Science, LoughboroughUniversity England {R.G.Stone, J.Dhiensa}@lboro.ac.uk ABSTRACT If a static web-page is checked for accessibility and passes then all is well. However checking the accessibility of the output from a dynamic (scripted) web-page is like testing a program to find errors. However many times a test succeeds it is always possible that the program will produce bad output next time. What is needed is something closer to a proof of correctness. This paper describes a first attempt to provide a proof of validity for dynamic web-pages which can be extended to a proof of accessibility. 3. SCRIPTED WEB-PAGES Consider the following scripted page which makes a check on whether its user is an administrator (who may have special privileges), an ordinary user who may be accessing the pages during office hours, or not. 1. INTRODUCTION Legal changes have placed a greater emphasis on web accessibility recently but authors have been concerned with the issue for some time. There are accessibility guidelines and there are several tools available to check that an individual page or a whole site conforms to the standards.
/lp/association-for-computing-machinery/proving-the-validity-and-accessibility-of-dynamic-web-pages-OHof1XLwX0