如果你运行一个Polyspace®分析作为持续集成的一部分,每次新的代码提交都会产生新的结果。你不仅可以在修改过的组件中看到新的结果,还可以在依赖于修改过的组件的组件中看到新的结果。您可以设置电子邮件警报,以便当新的Polyspace结果出现在组件中时,组件所有者会得到通知。
创建电子邮件通知:
将新的分析结果导出到以制表符分隔的文本文件(. tsv
格式)。对于每个结果,文件都包含在Polyspace Access web界面中打开结果的链接。
应用过滤器导出特定类型的结果,例如,具有高影响的缺陷。如果需要,您还可以使用搜索和替换实用程序将额外的过滤器应用到导出的文件。看到为电子邮件附件导出结果.
发送电子邮件与结果文件的附件。
例如,如果您在Jenkins中使用电子邮件插件,您可以创建一个后构建步骤,在分析完成后发送电子邮件。
如果在Jenkins中使用Polyspace插件,则可以在整个电子邮件通知过程中使用Polyspace帮助工具。看到示例脚本的多空间分析与Jenkins.
或者,可以根据所有者的文件路径直接将结果分配给他们。您可以设置电子邮件通知,为每个所有者导出一个单独的结果文件,并将相应的结果文件作为附件发送电子邮件给每个所有者。看到分配所有者和导出分配的结果.
要运行本教程:
你肯定上传了一些结果Polyspace Bug Finder™Access™接口。如果你完成了教程在服务器上运行Polyspace Bug查找器并上传结果到Web界面,你应该会看到一个文件夹testProject
在PROJECT EXPLORER窗格。该文件夹包含一个项目myFirstProject
.
以查看项目的结果,与myFirstProject
选中,单击审查按钮。您将看到一个缺陷列表。的信息柱状显示缺陷的影响。在本教程中,只会为电子邮件附件导出影响较大的缺陷。
你必须能够与Polyspace Bug查找器访问接口从命令行。例如,导航到
并输入:polyspaceserverroot
\ polyspace \ bin
polyspace-access登录-list-project |
在这里。
是Polyspace Bug查找服务器™安装文件夹,例如:polyspaceserverroot
C:\Program Files\Polyspace服务器\R2020b
,变量
指下列选项的组合。的每次使用都提供这些选项登录
polyspace-access
命令。
主机主机名- portportNumber登录用户名加密的密码松材线虫病 |
在这里,
是什么名字Polyspace Bug查找器访问web服务器。对于本地托管服务器,请使用主机名
本地主机
.
是服务器的可选端口号。如果省略端口号,portNumber
9443
使用。
和用户名
请参考您的登录和密码的加密版本。如果需要创建加密密码,请输入:松材线虫病
polyspace-access -encrypt-password |
复制加密的密码,并在以后使用时提供此密码polyspace-access
命令。
您可以导出项目中的所有结果,也可以只导出某些类型的结果。
打开命令窗口。导航到要导出结果的文件夹。
如果要导出所有结果,输入:
polyspace-access登录-export testProject/myFirstProject -output .\result.txt |
如果只导出影响较大的缺陷,请输入以下参数:
polyspace-access登录-export testProject/myFirstProject -defects High -output .\result_high_impact.txt |
在电子表格查看实用程序中打开每个文本文件,例如微软®Excel®.在第一个文件中,您可以看到所有的缺陷,但在第二个文件中,您只能看到具有高影响的缺陷。而不是缺陷高
,您可以应用其他筛选器。例如:
要想看到与之前对同一项目的分析相比较的新缺陷,请使用该选项新发现
.
要应用一组更细粒度的过滤器,您可以使用软件质量目标(SQOs)。软件质量目标是通过一组从1到6的逐步严格的SQO级别来指定的。您可以在Polyspace Access web界面中自定义每个关卡的需求,然后使用该选项-open-findings-for-sqo
使用级别号只导出那些必须审查以满足需求的结果。另请参阅Bug查找器质量目标(Polyspace Bug查找器访问).
要查看所有过滤选项,请输入:
polyspace-access - h出口 |
您可以配置您的电子邮件实用程序以以附件形式发送这些导出的文件。
如果需要,您还可以使用搜索和替换实用程序将额外的过滤器应用到导出的文件。例如,使用结果文件上的搜索和替换实用程序只包括来自特定文件和函数的结果。在Linux中®,你可以使用grep
和sed
只保留特定文件中的结果。
您可以将结果分配给特定文件或文件夹中的所有者。然后,您可以为每个所有者导出一个结果文件,并将相应的文件作为附件发送电子邮件给每个所有者。
您可以在Polyspace Access web界面或命令行中分配所有者。
在本教程中,在文件中分配所有结果numerical.c
来又该
所有的结果都在文件里dataflow.c
来jboyd
.
polyspace-access登录-set-unassigned-findings testProject/myFirstProject -owner jsmith -source-contains numeral .c登录-set-unassign - results testProject/myFirstProject |
分配后,为每个所有者导出一个结果文件。
polyspace-access登录-export testProject/myFirstProject -output .\results.txt |
这些文件包含导出的结果:
results.txt
包含所有结果。
results_jsmith.txt
和results_jboyd.txt
包含分配给又该
和jboyd
分别。
results.txt.owners.list
包含所有者列表,在本例中:
jsmith jboyd
在将所有者分配给结果之前,使用该选项-dryrun
进行一次作业的演练。在不执行分配的情况下,该选项将显示具有分配结果的文件以及分配结果的所有者。