How to Access the Examples in the CVS

  • If you are new to CVS or CVS in Eclipse, take a look at the Basics of CVS.

To check out an example from the CVS repository as an Eclipse project perform the following steps:

  1. Follow the steps outlined on slide "Start a New Project from a CVS Repository".
  2. When asked for the CVS repository information, use the following information:
    • host: hive.cs.uwyo.edu
    • repository path: /home/cvs/wpw
    • your username, password for hives.
    • connection type: extssh
  3. The above should bring you to the "Select Module" tab. Mark the "Use an existing module" radio-button. You will see the list of folders currently available in the CVS.
  4. Expand the "test-box" folder. This view shows our current examples.
  5. Select the example of your choice (e.g. stop-lignt) and press the Finish button.
  6. You should see the example appear in the Navigator tab in Eclipse as a separate project.

The examples to check out:

  1. atm
  2. bank-loan
  3. calculator
  4. graphics
  5. puzzle
  6. stop-light
  7. warehouse

For each example:

  1. Run Daikon on the example and collect it's output into the file named daikon-results-MM-DD-YY.txt.
  2. Commit daikon-results-MM-DD-YY.txt into CVS:
    • Right-click on the file.
    • Choose Team -> Commit. The "Commit" dialog is displayed.
    • Enter your comment into the top text field. The comment may be of the form "Daikon results from MM/DD/YYYY".
    • Click the Finish button.
  3. Run ContExt on this example.
  4. Analyze and compare the results produced by the two tools. Which invariants are the same? Which are different?

CVS browsing in Eclipse.

To browse the contents of the CVS in Eclipse:

  1. Open the "CVS Repository Exploring" perspective (Window -> Open Perspective -> Other (choose CVS Repository Exploring))
  2. Choose the CVS Repository to browse.


Page last modified on December 01, 2007, at 03:29 PM