1) Compile system, open Debugging Options dialog via both Debug / Debugging Options and by right-clicking on the Start button, dialog should appear both times. Check OK, Cancel, Run and Run and Close do as expected. Try the 'Run Workbench' and 'Run Finalized' Outside of EiffelStudio options. 'Run Workbench' should execute the system as expected, but 'Run Finalized' should either be disabled or bring up a message saying that there is no finalized system available.

2) Add a Profile, Make sure Duplicate, Remove work.

• In the note field add all types of input, numeric, spaced, uppercase, lowercase, symbols, no input.
• In the system, change make is to make (args: ARRAY [STRING]), in the arguments field, try the following argument notations and check that the args array is set properly when stepping in to the routine
  • 123
  • 123 abc -- abc should be in lowercase
  • -- Completely empty. 'args' should only contain the working directory as the first element of the array.
  • 123%T%T%N%Nabc
  • Use the text area to set the arguments and make sure that it gets updated.
• Make sure that the switching of one profile to another actually uses the currently set profile
• Disable an active profile by unchecking 'Enable Profiles' to make sure that the profile is not used when executing a workbench system.
• In the Working Directory field use the following current working directory scenarios checking that it is passed as the first argument to args. l_dir: STRING l_dir := (create {EXECUTION_ENVIRONMENT}).current_working_directory (you should also be able to use (create {EXECUTION_ENVIRONMENT}).current_working_directory in the expression evaluation but it doesn't currently work for static access.
  • '.' - This should be Eiffel Projects Home directory if launched as workbench
  • 'C:\' -- Valid for Windows but invalid for Linux, should run on Windows but come up with a dialog saying system cannot be launched on Linux.
  • 'C:\abcdef' or '/abcdef' (or a valid directory that does not exist), even though both directorys are valid for the appropriate platform the cannot launch dialog should still popup as they do not exist.
  • ' ' A single space, should fail for both platforms as it is not a valid directory
  • '..' Should run in the parent of the Eiffel Projects directory.
  • Use the directory dialog to set a directory, and make sure that it gets used when executing the system, repeat with different directories.

• In the Environment field, use the following environment variables settings and use the following line l_env_var: STRING l_env_var := (create {EXECUTION_ENVIRONMENT}).get ( 'environment used for test') to make sure that the set environment variable is properly set.

• • "abc" with value set to '123'
  • "abc" with value set to '123', then set below another "abc' with value set to '321', check that '321' is the one that is used as this is set last, going back to the dialog should have removed the initial 'abc' -> '123' item.
  • " " Add an empty name, see if the tool lets you set a value for the empty name.
  • "123" with value set to 'abc"
  • "abc123" with value unset, the tool should not set anything and the value returned should be Void.
  • Check that the added environment variables can easily be removed via the delete key and via the right-click context menu
  • Add ISE_PLATFORM, options should recognise that an existing environment variable is being overridden and give the options (via right click) to reset to its original preset value at all times, system should be executable with the following set ISE_PLATFORM, ISE_EIFFEL and they should also be able to be reset back to their original values.

EiffelStudio with a basic compiled program