Las aplicaciones Web emplean una serie de nuevos lenguajes, tecnologías, y modelos de programación, que se utilizan para implementar aplicaciones altamente interactivas que presentan un alto nivel de calidad exigido.

Analizar, modelar y probar estas aplicaciones presenta nuevos desafíos para desarrolladores e investigadores de software. Con el fin de incrementar la seguridad y la fiabilidad de una aplicación Web, las pruebas son uno de los métodos más eficaces. Sin embargo, investigadores y profesionales todavía están tratando de encontrar formas efectivas para modelar y probar aplicaciones Web.