SE-2832 Introduction to Software Verification

Dr. Mark Sebern -- Spring quarter 2013-2014

Lab 8

Revised: 30 April 2014


This lab was developed by Dr. Walt Schilling; all errors in its adaptation are the responsibility of the instructor.


In this lab, you will work in a small team (2-3 members) to perform regression testing of a "web" (HTML + JavaScript) application. You may not do this lab by yourself.

Lab Assignment

Selenium test tool installation

If you have not already done so, install Selenium IDE. Selenium works best with Firefox, though it can be used with other browsers. To install Selenium, go to and download version 2.5.0 of the Selenium IDE. With Firefox, it will download the plug in and ask you if you wish to install it in Firefox. You will then need to restart Firefox.

Calculator: application to be tested

The application to be tested has a "web" GUI that looks like this:

Calculator GUI

The application can be accessed HERE. Develop a set of Selenium regression test for it, being as thorough as necessary to properly test the program. Save your test suite to an HTML file named calctest.html, using the Firefox/Selenium File->Save Test Case menu command that is available when the Selenium IDE window is selected.

Applying regression testing

Next, download an "updated" version of the calculator application, Unzip this version to a local directory, and run the application in Firefox. Execute your Selenium regression tests. If you identify any failures, fix the code in the JavaScript/HTML files, and re-run your regression test suite. As you make fixes, put comments in the corrected code explaining what you changed.

Assignment submission (due by 11:59PM CDT, Tuesday, May 6)

Prepare a PDF report (named "SE2832-username1-username2-username3-Lab8.pdf" (using dashes, not underscores, with the specified capitalization), where each "usernameN" is the lowercase MSOE email username of a team member) on your lab experience, including:

If you have any questions, consult the instructor.