projects
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
projects [2010/12/09 18:30] – bil | projects [2010/12/10 14:54] (current) – bil | ||
---|---|---|---|
Line 127: | Line 127: | ||
The URL for Algorithmics Animation Workshop (AAW) is [[http:// | The URL for Algorithmics Animation Workshop (AAW) is [[http:// | ||
+ | |||
+ | |||
+ | ====== Selenium/ | ||
+ | |||
+ | |||
+ | **Supervisor**: | ||
+ | |||
+ | **Required background**: | ||
+ | |||
+ | **Recommended background**: | ||
+ | |||
+ | __Description__ | ||
+ | |||
+ | The Selenium IDE is an integrated development environment for Selenium scripts. It is implemented as a Firefox extension, and allows you to record, edit, and debug tests of web applications. The Selenium IDE is a recording tool, or you may edit your scripts by hand. With autocomplete support and the ability to move commands around quickly, Selenium IDE is the nice environment for creating webtests no matter what style of tests you prefer. | ||
+ | |||
+ | Tests can be translated to Java (JUnit), C#, Python etc. It can be extended to [[http:// | ||
+ | |||
+ | The goal of this project is (1) to translate Selenium tests into tests that can be run under Eiffel (e.g. via ESpec or AutoTest), and (2) to provide a complete Eiffel web application creation template (with embedded database such as sqlite) for creating and testing web applications. | ||
====== Automated Reasoning System for Quantified Propositional Logic ====== | ====== Automated Reasoning System for Quantified Propositional Logic ====== |
projects.1291919430.txt.gz · Last modified: by bil