====== Assignment and Project ======

====== Project ======

[[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/project/EECS3311-S15_Project.pdf|Instructions]]

[[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/project/static_analyzer.zip|Starter]]

[[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/project/oracle|oracle executable]]


[[https://www.youtube.com/watch?v=upVlfD3naHM&index=3&list=PL5dxAmCmjv_5Xnqm0HcCBe6B4LB-75peL|This video]] illustrates how you are supposed to:
  * Generate the ETF project from the abstract UI file.
  * Override the default GUI mode of the generated ETF project.
  * Run the project, from the command line, on use case files.
  * Compare the actual output of your ETF project with the expected output.
  * Add a new cluster using **relative** paths.
  * Report errors from the abstract UI classes.
  * Set break ponints and debug your ETF project.


==== Eiffel Testing Framework (ETF) ====

=== Videos ===

Here is [[https://www.youtube.com/playlist?list=PL5dxAmCmjv_5Xnqm0HcCBe6B4LB-75peL|a series of tutorial videos]] to help you start with the Eiffel Testing Framework (ETF).

=== Summary of Steps ===

**Step 1: Install the ETF (Eiffel Testing Framework) Generator**:
  * Create a new directory //ETF// somewhere in your file system.
  * Download the [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/etf/mathmodels.zip|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 [[https://svn.eecs.yorku.ca/repos/sel-open/misc/eff-executables/|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 [[https://svn.eecs.yorku.ca/repos/sel-open/misc/eff-executables/|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 [[https://www.youtube.com/watch?v=2KbcOBsPwgw&list=PL5dxAmCmjv_6eGKzRH__poynurbWS3MIr&index=3|this lab session]]

==== Assignment ====
[[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/assignment/EECS3311-S15_Assignment.pdf|Instructions]]

[[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/assignment/peg_solitaire.zip|Starter Code]]