Instructions

Starter Code

Instructions

Starter

Here is a series of tutorial videos to help you start with the Eiffel Testing Framework (ETF).

Step 1: Install the ETF (Eiffel Testing Framework) Generator:

• Create a new directory ETF somewhere in your file system.
• Download the MATHMODELS library
• Unzip the downloaded file mathmodels.zip into ETF.
• Create a new environment variable MATHMODELS, and let it point to ETF/mathmodels.
• Download the executable of ETF Generator from here (choose according to your operating system) into ETF/exe
• Rename the downloaded executable to etf.
• Add the directory path ETF/exe into your system path.

Step 2: Generate and Compile your first ETF Project:

• Create a new directory etf_bank somewhere in your file system.
• Download the following 3 files from here into etf_bank:
  • definitions.txt
  • input.txt
  • input_bad.txt
• Change the current directory into etf_bank, run the following command (This should generate a list of file in the current etf_bank directory):

  >etf -new definitions.txt .

• Run the following command to compile the generated project:

>ec15.01 -c_compile -finalize -config bank.ecf

Step 3: Play with the Default Generated ETF Project:

• GUI mode
  • Show history panel
  • Hide history panel
• Interactive mode
• Batch mode

Step 4: Changing the Business Model:

• Covered in this lab session