User Tools

Site Tools


projects

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
projects [2010/12/09 18:30] bilprojects [2010/12/10 14:54] (current) bil
Line 127: Line 127:
  
 The URL for Algorithmics Animation Workshop (AAW) is [[http://www.cs.yorku.ca/~aaw]].  The main purpose of AAW is to be a pedagogical tool by providing animation of important algorithms and data structures in computer science, especially those studied in courses CSE 3101, 4101, 5101, 6114, 6111. This is an open ended project in the sense that more animations can be added to this site over time. The URL for Algorithmics Animation Workshop (AAW) is [[http://www.cs.yorku.ca/~aaw]].  The main purpose of AAW is to be a pedagogical tool by providing animation of important algorithms and data structures in computer science, especially those studied in courses CSE 3101, 4101, 5101, 6114, 6111. This is an open ended project in the sense that more animations can be added to this site over time.
 +
 +
 +====== Selenium/Eiffel Web Test Driven Development ======
 +
 +
 +**Supervisor**: Jonathan Ostroff
 +
 +**Required background**: General prerequisites, at least a B+ in CSE 3311
 +
 +**Recommended background**: Knowledge of Javascript a plus
 +
 +__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://seleniumhq.org/about/platforms.html|any language]] that can make HTTP calls.
 +
 +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