Code Verification Summary
创建 Polyspace 分析结果表
描述
此组件创建包含以下结果的表：
结果数
每种编码规则类型（例如 MISRA C™）的编码规则违规次数
缺陷数（对于 Polyspace® Bug Finder™ 结果）
每种颜色的检查数量（对于 Polyspace Code Prover™ 结果）
工程是否通过了软件质量目标
属性
包含来自 Polyspace 标准库桩件函数的检查
除非您取消选择此选项，否则表中将包含出现在标准库函数 Polyspace 桩件中的 Polyspace Code Prover 检查。
