Setting up Project to Automatically Test Orange Code (C Only)

Polyspace Automatic Orange Tester

The Polyspace Automatic Orange Tester performs dynamic stress tests on unproven C code (orange checks) to help you identify potential run-time errors. By default, the Automatic Orange Tester is disabled. If you enable the Automatic Orange Tester,

• The software runs the Automatic Orange Tester at the end of static verification

• You can manually run the Automatic Orange Tester after the verification

For more information, see Automatically Testing Orange Code.

Back to Top

Enabling the Automatic Orange Tester

To enable the Automatic Orange Tester (-automatic-orange-tester):

1. In the Configuration pane of the Project Manager perspective, select the All Settings tab.

2. Under Analysis Options, expand the Polyspace inner settings node.

3. Select the Automatic Orange Tester check box.

   

4. Specify values for the following options:

   • Number of automatic tests — Total number of tests. Default is 500. Software supports maximum of 100,000.

   • Maximum loop iterations — Maximum number of iterations allowed before a loop is considered to be an infinite loop. Default is 1000, which is also the maximum value that software supports.

   • Maximum test time — Maximum time allowed for each test. Default is 5 seconds. Software supports maximum of 60.

For more information about the Automatic Orange Tester, see Automatically Testing Orange Code.

Back to Top

Setting Up Project to Check Coding Rules

Setting Up Project to Generate Metrics