Test Generation
R2026bGenerate tests for boundary values, coverage objectives, or functional requirements using Polyspace® Copilot
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).
You can also use Polyspace Copilot to generate functional tests that validate functional requirements.
System Commands
polyspace-test -generate-tests | (System Command) Generate C/C++ unit tests automatically in a Polyspace Platform project |
polyspace-test -create-testgen-config | (System Command) Create a default configuration file for automatic test generation in a Polyspace Platform project |
Topics
Automated Structural Test Generation
- 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.
Functional Test Generation Using Polyspace Copilot
- Generate Functional Tests Using Polyspace Copilot
Generate tests that validate functional requirements using Polyspace Copilot from the Polyspace Platform user interface. - Limitations of Test Generation Using Polyspace Copilot
See why test generation using Polyspace Copilot might not work for certain functions.
