4、Polyspace分析：源文件选择、模块化与多环境集成指南

Polyspace分析：源文件选择、模块化与多环境集成指南

1. polyspace - configure源文件选择语法

在使用 polyspace - configure 创建项目时，可通过 -include - sources 和 -exclude - sources 选项来包含或排除路径匹配特定模式的源文件。这两个选项可多次指定并在命令行组合使用。

以下是运行示例命令所需的步骤：
1. 使用 polyspaceroot\help\toolbox\codeprover\examples\sources - select 中的演示文件，其中 polyspaceroot 是Polyspace安装文件夹。
2. 运行命令：

polyspace - configure - allow - overwrite - include - sources "glob_pattern" \
- print - excluded - sources - print - included - sources make - B 

这里的 glob_pattern 是用于匹配要包含或排除文件路径的通配模式，为确保shell不扩展通配模式，需将其用双引号括起来。

不同的通配模式语法及其示例如下表所示：
| 通配模式语法 | 示例 |
| — | — |
| 无特