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

We strongly recommend completely removing prior versions of Insure++ before you installing new versions

Windows

Visual Studio should already be installed on your system prior to installing Insure++. This is because Insure++ integrates with the MSBuild component of Visual Studio during the installation process.

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 Insure++ from the Windows Start menu and choose Help > License from the main menu.
  2. Enable either the Local license or Network license option.
    • 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).
    • 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.
  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.

  2. Create a directory for Insure++ (e.g., mkdir /usr/local/parasoft) and navigate into it (e.g., cd /usr/local/parasoft).

    Installing Insure++ as root is not recommended

    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.

     

    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 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:

    DirectoryContents
    binInsure++ executables
    libInsure++ libraries and interfaces
    srcInsure++ interface source code
    examplesInsure++ example programs and scripts for customizing Insure++
    insraInsra help files
    Inuse/Inuse help files
    man/Insure++ user’s manual
    installInsure++ 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. 
  6. Specify whether you want to send output to sdtderr or Insra (a GUI report viewer) by default when prompted. 

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:

  • No labels