主要内容

发送电子邮件通知Polyspace臭虫查找器服务器结果

如果你运行一个Polyspace®分析作为持续集成的一部分,每次新的代码提交都会产生新的结果。你不仅可以在修改过的组件中看到新的结果,还可以在依赖于修改过的组件的组件中看到新的结果。您可以设置电子邮件警报,以便当新的Polyspace结果出现在组件中时,组件所有者会得到通知。

创建电子邮件通知

要创建电子邮件通知:

  1. 将新的分析结果导出到以制表符分隔的文本文件(. tsv格式)。对于每个结果,文件都包含在Polyspace Access web界面中打开结果的链接。

    应用过滤器以导出特定类型的结果,例如具有高影响力的缺陷。如果需要,您还可以使用搜索和替换实用程序将额外的过滤器应用到导出的文件。看电子邮件附件的导出结果

  2. 发送电子邮件与附件中的结果文件。

    例如,如果在Jenkins中使用电子邮件插件,则可以在分析完成后创建一个Build-Build步骤以发送电子邮件。

如果在JENKINS中使用PolySpace插件,则可以使用PolySpace Helper Utilities进行整个电子邮件通知过程。看Jenkins的PolySpace分析示例脚本

或者,可以基于其文件路径直接分配给所有者的结果。您可以设置每位所有者的单独结果文件的电子邮件通知,并在附件中使用相应的结果文件向每个所有者发送电子邮件。看分配所有者和导出分配的结果

先决条件

要运行本教程:

  • 你肯定上传了一些结果Polyspace Bug Finder™Access™接口。如果你完成了教程在服务器上运行PolySpace Bug Finder并将结果上传到Web界面,你应该看到一个文件夹testProject在这一点项目资源管理器窗格。该文件夹包含一个项目myFirstProject

    以查看项目的结果,与myFirstProject选择,单击审查按钮。您将看到一个缺陷列表。的信息柱状显示缺陷的影响。在本教程中,只会为电子邮件附件导出影响较大的缺陷。

  • 你必须能够与PolySpace Bug Finder访问来自命令行的接口。例如,导航到polyspaceserverroot\ polyspace \ bin并输入:

    PolySpace-Access.登录-list-project

    在这里。polyspaceserverroot是个Polyspace Bug查找服务器™安装文件夹,例如:C:\Program Files\Polyspace服务器\R2021A。变量登录指下列选项的组合。的每次使用都提供这些选项PolySpace-Access.命令。

    -主持人主机名- portportNumber-登录用户名加密的密码PWD

    在这里,主机名是什么名字PolySpace Bug Finder访问网络服务器。对于本地托管的服务器,使用localhost.portNumber是服务器的可选端口号。如果省略端口号,9443用来。用户名PWD请参考您的登录和密码的加密版本。如果需要创建加密密码,请输入:

    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 Finder访问)

要查看所有过滤选项,请输入:

polyspace-access - h出口

您可以配置您的电子邮件实用程序以以附件形式发送这些导出的文件。

如果需要,您还可以使用搜索和替换实用程序将额外的过滤器应用到导出的文件。例如,使用结果文件上的搜索和替换实用程序只包括来自特定文件和函数的结果。在Linux中®,你可以使用grepsed要保留特定文件的结果。

分配所有者和导出分配的结果

您可以分配所有者以导致特定文件或文件夹。然后,您可以将一个结果文件输出每个所有者并将电子邮件发送到每个所有者的附件中的每个所有者。

您可以在Polyspace Access web界面或命令行中分配所有者。

在本教程中,在文件中分配所有结果numerical.c.又该所有结果都在文件中dataflow.c.JBOYD.

PolySpace-Access.登录-set-unassigned-condings testproject / myfirstproject -owner jsmith -source-containsource-contains-company.c包含numerical.cpySpace-Access登录-set-unassigned-condings testproject / myfirstproject -owner jboyd -source-contains dataflow.c

分配后,每位所有者导出一个结果文件。

PolySpace-Access.登录-export testProject/myFirstProject -output .\results.txt

这些文件包含导出的结果:

  • results.txt包含所有结果。

  • results_jsmith.txtresults_jboyd.txt包含分配的结果又该JBOYD.分别。

  • results.txt.owners.list包含所有者列表,在本例中:

    JSMITH JBOYD.

在将所有者分配给结果之前,请使用该选项-dryrun执行任务的干燥运行。如果不执行赋值,则该选项显示具有分配结果的文件以及将结果分配给的所有者。

另请参阅