Test Generation
In the Polyspace Platform user interface, you can automatically generate test inputs with respect to specific objectives. For instance, you can generate tests that call functions with boundary values of inputs, or tests that cover true or false outcomes of all conditions in a function (full condition coverage).
Topics
- Generate C/C++ Tests for Boundary Values of Function Inputs
Generate tests that call functions with boundary values for inputs.
- Generate C/C++ Tests for Code Coverage Objectives
Generate tests that satisfy predefined coverage objectives.
- Generate C/C++ Tests to Diagnose or Guard Against Input Related Defects
Generate non-regression tests from Bug Finder results showing input-related defects.
- Generate Additional C/C++ Tests for Missing Code Coverage
Generate tests that satisfy predefined coverage objectives, taking into account existing tests.
- Constrain Values and Target Sizes in Generated C/C++ Tests
Fix some input values while generating others, fix pointer target size.
- Generate C/C++ Tests for Scripts Calling Functions
Generate scripted tests for functions not supported for graphical test authoring.
- Limitations of Automatic C/C++ Test Generation
See why automatic test generation with Polyspace® Test™ might not work in certain cases.
