Installation: Initial Test

set path = ( $path aahome/Ada-ASSURED3.5/bin )

Next, invoke Ada-ASSURED by entering the command:

aa

A window labeled Ada-ASSURED:*untitled* should appear on your screen. Check the following to make sure the installation is correct.

• If no such window appears, something is wrong. If you get an error message indicating that the license file contains invalid data, then you may have entered the key incorrectly during the installation procedure. The key may be re-entered by changing to the directory aahome/Ada-ASSURED3.5/files and running the mk_license program, or you can edit the license file directly with a text editor.

  If an error message indicates that permission is denied due to some other licensing difficulties, you should re-check the steps Installing Ada-ASSURED and License Management.

• If a window appears, but is labeled aa95:*untitled* or aa83:*untitled*, the X resources have not been loaded correctly. Check the step, Loading X Resources.

• If a window titled Ada-ASSURED:*untitled* does appear, select Tutorial from the Help menu. The first hypertext document of the Ada-ASSURED on-line tutorial should appear in the HTML viewer eMosaic. If the viewer does not appear, or if the Tutorial is not found, something is wrong. Check the steps Installing Ada-ASSURED and Loading X Resources.

• If you are seated at a color monitor, open the file aahome/Ada-ASSURED3.5/AdaSamples/terminal_io.style by selecting Open from the File menu. The violation messages (comments beginning with --VIOLATION--) should be red. If this is not the case, then something with the X resources is wrong, check the step, Loading X Resources, especially the instructions for using color monitors.

Exit Ada-ASSURED by selecting exit from the File menu.