posted on 2007-02-13, 13:45authored byRoger Stone, Jatinder Dhiensa
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.
History
School
Science
Department
Computer Science
Pages
52997 bytes
Citation
STONE and DHIENSA, 2004. Proving the validity and accessibility of dynamic web pages. IN: Harper, Yesilda and Goble (eds.), Proceedings of the International Cross-Disciplinary Workshop on Web Accessibility, 13th International World Wide Web Conference, New York, May 2004