User Tools
espec:start
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
espec:start [2016/07/06 19:18] marina created |
— (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | We will be using the ESPEC unit testing framework (a library developed at York University and now part of the EiffelStudio distribution). | ||
| - | |||
| - | On the Prism/Linux workstations and the VM, the ESpec Library is present by default (when creating a new project). If it is your own install, then you need to add the library. | ||
| - | |||
| - | ===Add ESpec library=== | ||
| - | |||
| - | * Open your project with EiffelStudio | ||
| - | * Open “project settings window” from Eiffel Studio (Project → Project Settings …) | ||
| - | * Expand the groups section by clicking on the arrow next to it | ||
| - | * Select the ESpec library as shown below | ||
| - | |||
| - | {{:espec:espec.png?200|}} | ||
| - | |||
| - | (To add other libraries, or to add the ESPEC library that comes with your version of eiffelStudio, see [[https://wiki.eecs.yorku.ca/project/eiffel/getting_started:add-library:start|here]]) | ||
| - | |||
| - | The ECF file will thus have the following line in it: | ||
| - | |||
| - | <code> | ||
| - | <library name="espec" | ||
| - | location="$ISE_LIBRARY\contrib\library\testing\framework | ||
| - | \espec\library\espec-safe.ecf"/> | ||
| - | </code> | ||
| - | |||
| - | Change the code in class HELLO_WORLD to the following, in order to test if the ESpec library is working. In the tool bar, select the HELLO_WORLD class and change the class the code below: | ||
| - | |||
| - | class HELLO_WORLD inherit | ||
| - | ES_TEST | ||
| - | create | ||
| - | make | ||
| - | |||
| - | feature {NONE} -- Initialization | ||
| - | |||
| - | make | ||
| - | -- Run tests | ||
| - | do | ||
| - | add_boolean_case (agent t0) | ||
| - | --show_errors | ||
| - | show_browser | ||
| - | run_espec | ||
| - | end | ||
| - | feature -- tests | ||
| - | t0: BOOLEAN | ||
| - | do | ||
| - | comment("t0: succeed?") | ||
| - | Result := false | ||
| - | end | ||
| - | |||
| - | end | ||
espec/start.1467832701.txt.gz · Last modified: 2016/07/06 19:18 by marina
Page Tools
