主要内容

工程创建

创建并配置用于测试的工程

在开始使用 Polyspace® Test™ 编写测试之前,您必须先创建工程、添加源代码并指定受支持的编译器。您可以通过以下方式创建工程:

  • 通过显式将源代码添加到工程中,然后配置编译选项(例如包含路径和定义)来手动创建工程。

  • 使用编译命令自动创建工程。

Polyspace 选项

全部展开

名称查看 Polyspace 平台工程的名称 (自 R2024a 起)
作者Specify author name for Polyspace Platform project
版本Assign a source code version identifier to Polyspace Platform project
创建时间查看 Polyspace 平台工程的创建日期和时间 (自 R2024a 起)
上次修改时间查看上次修改 Polyspace 平台工程的日期和时间 (自 R2024a 起)
源代码编码指定源文件的编码
包含路径指定包含文件所在文件夹的路径
应用程序源文件夹Add source folders to Polyspace Platform project (自 R2024a 起)
应用程序源文件Add source files to Polyspace Platform project
桩源文件夹Add stub source folders to Polyspace Platform project (自 R2026a 起)
桩源文件Add stub source files to Polyspace Platform project (自 R2026a 起)
Polyspace xUnit 测试文件夹Add Polyspace xUnit test folders to Polyspace Platform project (自 R2024a 起)
Polyspace xUnit 测试文件Add Polyspace xUnit test files to Polyspace Platform project (自 R2024a 起)
外部测试文件夹Add external test folders to Polyspace Platform project (自 R2024a 起)
外部测试文件Add external test files to Polyspace Platform project (自 R2024a 起)
包括文件名模式Specify patterns for file names to be included in Polyspace Platform project (自 R2024a 起)
排除模式Specify folders or files to be excluded from static analysis or testing (自 R2024a 起)
工程变量Define environment variables for use as shorthands in Polyspace Platform project (自 R2024a 起)
工件目录Specify folder for storing project artifacts such as generated test code and build information (自 R2025a 起)

工具

Polyspace 平台设置Settings for Polyspace Platform user interface (自 R2023b 起)

主题

创建工程

配置工程