Stone_Dhiensa_May.pdf (51.75 kB)
Download fileProving the validity and accessibility of dynamic web pages
online resource
posted on 2007-02-13, 13:45 authored by Roger Stone, Jatinder DhiensaIf 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