Web/Testing and Verification

From HaskellWiki
< Web
Revision as of 06:27, 5 October 2010 by Chrisdone (talk | contribs) (Added selenium rc)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Haskell Web Development

Software:
Servers - Libraries - Frameworks
Deploy - Cloud
Interfaces to frameworks
Databases and Persistence
Testing and Verification
Content Management

Community & Research:
Forums and Discussion
Literature (research, talks and blogs)
Existing Haskell web applications
Ongoing projects and ideas

Methods, libraries and applications for verifying the correctness of a web site's behaviour.

GVerdi

The system GVERDI (Graphical VErification and Rewriting for Debugging Internet Sites) is a Web verifier prototype that is able to detect missing/incomplete Web pages and incorrect/forbidden information inside a Web site w.r.t. a given formal specification.

Home page http://users.dsic.upv.es/grupos/elp/GVerdi/

selenium

Haskell bindings to communicate with a Selenium Remote Control server. This package makes it possible to use Haskell to write test scripts that exercise web applications through a web browser.

Author: Aaron Tomb <atomb@galois.com>
Maintainer: Aaron Tomb <atomb@galois.com>
Package & repositories Hackage
Retrieved from "https://wiki.haskell.org/index.php?title=Web/Testing_and_Verification&oldid=37133"