If you are upgrading from an earlier version of Insure++, please consult the Release Notes for upgrade notes and other information.

Windows

Run the installer for your architecture and follow the onscreen directions.

Licensing

You can install either a machine-locked (local) license or network license served from Parasoft License Server (sold separately). License server manages licensing across your team or organization.

1. Open the Insure++ Control Panel. You can open the panel several ways:
   • Click the Insure++ Control Panel toolbar icon in Visual Studio.
   • Choose Insure++> Insure++ Control Panel from the main menu.
   • Choose Start> Programs> Insure++> Insure++ Control Panel.
2. Click the Password tab and enable either the Local license or Network license option.
   • Network licenses: Enter your License Server's host and port number. You can enable the default option to use the default License Server port (2002). If your License Server administrator did not change the default port, this option simplifies the connection process. You can also specify for how many seconds Insure++ will attempt to find and connect to License Server in the Timeout field.
   • Local licenses: Specify the password provided by your Parasoft representative in the Password field. 
     
     If you have not yet received a license, you will need to provide the Machine Id when contacting your Parasoft representative (see Contacting Parasoft).
3. Click OK to save your changes.

Unix

1. Open a command prompt and change to the directory you want to use for your Insure++ installation and make a directory (e.g., mkdir /usr/local/parasoft).
   

   When Insure++ is configured during installation, it must be configured for the development environment so that the proper compilers will be configured. Be sure to use a directory where Insure++ can use the same compilers that you would normally use during development.

    

2. Change to the directory your created (e.g., cd /usr/local/parasoft). All subsequent steps must be performed in the new directory. The remainder of this chapter assumes that you have chosen to install the software in a directory called /usr/local/parasoft (as indicated above). If you actually chose a different name, you will have to modify the following commands appropriately.
3. Copy the compressed tar file you downloaded from Parasoft to your installation directory and extract the installation script using the following command:
uncompress -c <tar_file> | tar xvf - install

   Use the following command for a gzipped tar file:
gzip dc <gzipped_tar_file_name> | tar xvf - install  
    

4. Run the installation script (./install) and confirm that you want to install Insure++ in the current directory when prompted. When the installation is complete, the following directories will be added to the directory:
   

   Directory	Contents
   bin	Insure++ executables
   lib	Insure++ libraries and interfaces
   src	Insure++ interface source code
   examples	Insure++ example programs and scripts for customizing your use of Insure++
   insra	Insra help files
   Inuse/	Inuse help files
   man/	Insure++ user’s manual
   tca/	TCA help files
   configure	Insure++ compiler configuration script
   install	Insure++ installation script

5. You will be prompted to confirm which compilers will be used with Insure++. This step does not tell Insure++ which compiler to use when instrumenting and compiling your source code, so you should answer yes to any compiler you might use with Insure++ in the future. You can change this configuration later by executing the ./configure script.
6. Specify whether you want to send output to sdtderr or Insra (a GUI report viewer) by default when prompted. You can change this configuration later by executing the ./configure script.
   

When installation and configuration are complete, Insure++ will check for a license. 

Licensing

After installing and configuring the necessary files, the installation script will look for a valid license for Insure++. If one is not found, you will be prompted to install one. Confirm to start the Parasoft License Manager (pslic). You can complete other Insure++ setup steps, but you will not be able to use Insure++ until a valid license is found.

If Parasoft License Manager cannot open a .psrc file, verify that you have write permission in the installation directory and/or run pslic as superuser. Parasoft License Manager will print out your machine and network IDs. Provide this information to Parasoft so that we can provide you with a license. 

Installing a Machine-locked License

1. Run pslic and choose (A)dd a license
2. Enter the network or host ID number when prompted. This should be the same information printed by pslic.
3. Enter the expiration date when prompted. The expiration data is provided by your Parasoft representative.
4. Enter the password you were given. The following option is useful on slow networks where the turn-around time is longer than five seconds:
   
   LicenseServer.timeout x
   
   In such cases, enter a positive integer for the single parameter (x). This will be the number of seconds to wait for a response from the license server. 
    
5. Choose (E)xit and save changes when finished to to exit and save changes. 

Shared Network Licenses

If you are using Parasoft's License Server to manage a floating license, specify the License Server host and port number in your .psrc file: 

LicenseServer.host hostname
LicenseServer.port port

Replace "hostname" and "port" with the name of the machine hosting License Server and the port number License Server is using. 

Insure++ can run on a different host from the one registered with License Server as long as the .psrc file for the new machine is altered to include the necessary shared network license information. For example, if the License Server is running on HostA, and the user runs Insure++ from HostB, then add the following information in the .psrc file wherever Insure++ is installed in HostB: 

LicenseServer.host HostA 
LicenseServer.port 2002 
registertool LicenseServer 1.0

If you are using License Server in the client where Insure++ is installed, you do not need to run or configure pslic.

Modifying Your PATH

You must add the directory containing the executables to your execution path. You can the directory to the definition of either the path or PATH variables according to the shell you are using.

The executables directory will have a name that can be derived from the type of system you are running on and is provided by the install script. The following command demonstrates how to set the path for a typical C-shell command:

path=($path /usr/local/insure/bin) 

The following command demonstrates how to set the path for a typical sh, ksh, or bash command:

PATH=$PATH:/usr/local/insure/bin

If you are in doubt as to which directory to put on your search path, ask your system administrator for help.

Modifying Your Environment

After modifying the appropriate configuration files, you should execute the following commands to modify your working environment:

source ~/.cshrc
rehash

Running an Example

Change to the Insure++ examples directory and run the makefile to run an example:

cd $PARASOFT/examples/c make all

See the following sections for additional information:

• Examples for Windows Systems
• Examples for Unix Systems