SWE 637 Homework 4
Fall 2006
Graph Coverage: Due 10/17, beginning of class

Answer the following questions. Bring hardcopies of your answers to class, hand written or printouts. All homeworks are due before class on the due date. Please remember that the GMU Honor Code is in effect: You may discuss the assignment with each other, the professor, or the GTA, but each homework should be done individually.

1. Coverage tool experience. (20 pts)
   (Only one question) You can choose one of two tools for this assignment, Agitar's agitator or Rational's PurifyPlus. Use whichever tool you choose to achieve coverage on our favorite vending machine program, vendingMachine.java.

   Your submission should include a short writeup that indicates which tool you used and details as specified below.

   • Agitator
     I have obtained an educational license from Agitar for us to use Agitator. We have 10 floating licenses, which I think means a maximum of 10 of us can use the tool at the same time and assumedly the tool checks at execution time. You have to be connected to the Internet to use Agitator. You can download the tool from Agitator's website: http://www.agitar.com/products/downloads. When you install the tool, you will need our customer ID: GMUniversity-2005-0926-0c84-3163-5db5-b79e.

     Important restrictions:

     • You may only use this tool for class-work, not work-work. If your company wants to evaluate agitator, please contact the company directly. The contact listed below will be happy to help.
     • DO NOT GIVE THIS LICENSE KEY TO ANYONE NOT IN OUR CLASS. It is for our use only, and if you distribute this key further, that will be considered an honor code violation (that is, cheating).

     Process and Submission: First run agitar without any of your own tests (that is, let it generate its own tests). What level of coverage were you able to achieve? Next add tests creating a main() method to try to achieve 100% coverage. Submit the tests you ran, identify any code that you were unable to cover, and explain why it is not covered.

     Getting Started:

     • Download vendingMachine.java
     • Create the directory structure vending/src/vendingMachine.java, vending/classes
     • Start agitator
     • File-new-project
     • Agitator-Java Project with Agitation-Next
     • Project name, Create project from existing source (browse to "vending/src")
     • Finish
     • In the Package Explorer pane: click testpat, (default package), right-click vendingMachine.java, open with, Java editor
     • Click the big "check" button to run agitator

     Agitar contact info: Our lecturer: Joel Patterson, joel@agitar.com
     Agitar's home page: http://www.agitar.com/
     Agitar support: http://support.agitar.com/
     Discussion group: http://forums.agitar.com/

   • Purify
     Download an evaluation copy (7 days, free) of Rational Software's PureCoverage (or PurifyPlus) product. You should use the "Java Code" option with Pure Coverage.

   Submission: Explain what coverage criterion you were able to satisfy, and how you obtained your test inputs. Also turn in a listing of the tests you ran. You should identify any code that you are unable to cover, and explain why it is not covered.