在 Polyspace 平台用户界面中执行测试

配置工程、编译测试、检查测试是否存在运行时错误、运行测试

在 Polyspace 平台工程中设置适当的选项后，您可以在该工程中编译和运行测试。

Polyspace 选项

`源代码语言 (-lang)`	指定源文件的语言
`C 标准版本 (-c-version)`	Specify C language standard followed in source code
`C++ 标准版本 (-cpp-version)`	Specify C++ language standard followed in source code
`编译工具链(测试)`	Specify the compiler that you use to build your source code and tests for dynamic testing

`预处理器定义 (-D)`	替换预处理代码中的宏
`已禁用的预处理器定义 (-U)`	取消定义预处理代码中的宏
`隐式 C(C++) 编译器定义`	View implicit compiler defines extracted from your build command (自 R2024b 起)
`额外的 C 标志`	Specify C compilation flags required for building project (自 R2023b 起)
`额外的 C++ 标志`	Specify C++ compilation flags required for building project (自 R2023b 起)

`包含路径 (-I)`	指定包含文件所在文件夹的路径
`其他包含路径 (-I)`	Specify build-specific include paths in addition to project-wide include paths (自 R2024a 起)
`隐式 C(C++) 编译器包含路径`	View implicit compiler include paths extracted from your build command (自 R2024b 起)
`强制包含文件 (-include)`	指定每个源文件必须通过 #include 包含的文件。 (自 R2023b 起)

`库路径`	Specify folders containing precompiled libraries for building tests (自 R2023b 起)
`库`	Specify precompiled libraries for building tests (自 R2023b 起)
`用于链接的额外标志`	Specify linker flags required for building project (自 R2023b 起)

`处理器`	Select the processor for the current build configuration
`启用可移植字长`	Allow compilation of code on host computer while retaining word sizes of target processor on which code is intended to run (自 R2023b 起)
`包对齐值 (-pack-alignment-value)`	为在 Visual C++ 中开发的代码指定默认结构体打包对齐值

`检查未定义的符号`	Specify whether to check for undefined symbols (自 R2023b 起)
`外部符号`	Specify symbol names that are not defined in code (自 R2023b 起)

工件目录 Specify folder for storing project artifacts such as generated test code and build information (自 R2025a 起)

Polyspace 平台设置	Settings for Polyspace Platform user interface (自 R2023b 起)
工具链	Create, validate, and register a custom toolchain for building C/C++ sources and tests

Configure Project for Testing in Polyspace Platform User Interface
Specify targets and build information to build and run tests.
在 Polyspace 平台用户界面中指定用于测试的 C/C++ 编译器
指定支持的编译器以进行初始代码分析和测试编译。

Build and Run Tests in Polyspace Platform User Interface
Validate tests, compile sources and tests into executables, run test executables.
Check for Bugs and Run-Time Errors in C/C++ Tests and Functions Under Test
Using Polyspace^® Bug Finder™ or Polyspace Code Prover™, check for undefined behavior that might make test results suspect.
Difference Between Code Prover Analysis of Tests and Full Code Prover Analysis
A Code Prover analysis of tests analyzes the function under test only with respect to test inputs.