CddOldDocumentation

CddBranch

Installation (old version, new version not ready yet)

Requirements

Install CDD-Extension for EiffelStudio

  • Windows
    • Start the registry editor (regedit.exe) and delete the key "HKEY_CURRENT_USER\Software\ISE\Eiffel57"
    • Download http://se.ethz.ch/people/leitner/cdd/cdd_win32_0_2_1.zip
    • Unpack it over your existing EiffelStudio installation. (You have done it right when you are overwriting a few files in the process.)

How to Use

Make sure you also have assertion checking enabled. This can be done easily in: "Project->Project Settings..." select assertions and select "True" for all of them (the more the better cdd will work).

Step 1: Show Testing Window

If not already visible, you need to make sure the testing windows are all properly displayed. You can make them appear by following the menu "View->Tools->Testing":

Show testing.png

Step 2: Enable CDD-Testing

To enable CDD-testing for your project, open your project and then enable CDD-testing, by clicking on the half-black / half-white button in the testing window. You can disable testing again at any time by pressing this button again.

Enable testing.png

Now continue developing your project as usual. You will notice that for every exception that occurs a new test case shows up in the testing window. Test cases are automatically executed on each compilation to see whether you fixed that particular bug or not. A test case can be in one of three states:

  • "F" for failing - last time the test case was executed the original problem was reproduced
  • "OK" for passing - last time the test case was executed the original problem appeared fixed
  • "INV" for invalid - the test case is out of date (it can no longer run your program in the expected way)

Test case states.png

You can now delete test cases with the delete button and debug test cases with the debug button as shown below:

Testing buttons.png

"bank_account" example walkthrough

TODO: ...

How Test Cases Are Extracted

TODO: ...

How to modify test cases by hand

TODO: ...

Re-extracting test cases

TODO: ...

Release Notes

  • CDD can be quite fragile, if there you encounter problems you can do the following:
    • Look into the testing-log-window (bottom half of screen) and see what went wrong
    • Remove the directory EIFGENs/cdd_tester from your projects directory.
    • Disable precompiles if having problems
    • Have a look at the test cases (you can just pick&drop them into the editor)
    • Do enable assertion checking!
    • Make sure you don't open your project with the 'cdd_tester' target, this target is only used internaly.

Source Code

The source of the last stable version can be found on the cdd branch of the EiffelStudio svn repository (https://origo.ethz.ch/eiffelsoftware/es/branches/cdd/Eiffel_57). After compiling it you need to do the following to create a delivery

  • Take an existing delivery (5.7 final should be fine)
  • Copy the resulting executable ec.exe resp. ec to $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin/
  • Copy the the file Delivery/eifinit/studio/default.xml to $ISE_EIFFEL/eifinit/studio/default.xml
  • Copy the directory Src/library/cdd to $ISE_EIFFEL/library/cdd

If you would like to have a look at the latest source use https://origo.ethz.ch/eiffelsoftware/es/branches/cdd/Eiffel_60. Attention: this code is still under developement. Most functionality is not implemented yet.

NOTE: To compile the Eiffel_57 version of cdd, you will need the latest 5.7 release of estudio. Same for the Eiffel_60 version, there you will need the latest 6.0 release of estudio.