主要内容

工程设置

创建工程并管理文件

通过编译命令或编译数据库自动创建工程,或者通过添加源文件并配置编译选项手动创建工程。创建工程后,您可以将配置和图形化测试等组件提取到单独文件中(通过引用将这些文件关联到工程),来对您的工程进行模块化。

将工程、工作区、配置、图形化测试等 Polyspace® 文件以及工程源代码提交到您的版本控制系统。之后,您可以使用 Polyspace Python® API,根据已提交的源文件和组件文件按需动态创建工程。

虽然工程是很有用的工件,但如果您使用 Polyspace Test™ xUnit API 编写测试,则不一定需要创建工程。您可以在 IDE 中使用常用的开发工具编译测试,并使用 polyspace-code-profiler 命令执行代码探查。

类别