主要内容

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

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

创建电子邮件通知

要创建电子邮件通知:

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

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

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

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

如果在Jenkins中使用Polyspace插件,则可以在整个电子邮件通知过程中使用Polyspace helper实用程序。看见Jenkins的PolySpace分析示例脚本.

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

先决条件

要运行此教程,请执行以下操作:

  • 你一定在网站上上传了一些结果多空间Bug查找器™ 通道™接口。如果你完成了教程在服务器上运行PolySpace Bug Finder并将结果上传到Web界面,你应该看到一个文件夹测试项目在这一点项目资源管理器窗玻璃该文件夹包含一个项目我的第一个项目.

    要查看项目中的结果,请使用我的第一个项目选择,单击复习按钮您会看到一个缺陷列表。这个信息列显示缺陷的影响。在本教程中,仅将高影响缺陷导出为电子邮件附件。

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

    PolySpace-Access.登录-列表项目

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

    -主持人主机名-港口端口号-登录用户名-加密密码PWD

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

    PolySpace-Access -encrypt-password

    复制加密密码并随后使用此密码PolySpace-Access.指挥部。

电子邮件附件的导出结果

您可以将所有结果导出在项目中或某些类型的结果中。

打开命令窗口。导航到要导出结果的文件夹。

  • 要导出所有结果,请输入以下内容:

    PolySpace-Access.登录-导出testProject/myFirstProject-输出。\result.txt

  • 要仅导出具有高影响的缺陷,请输入以下内容:

    PolySpace-Access.登录-导出testProject/myFirstProject-缺陷高-输出。\result\u High\u impact.txt

在电子表格查看实用程序中打开每个文本文件,例如微软®擅长®. 在第一个文件中,您可以看到所有缺陷,但在第二个文件中,您只能看到影响较大的缺陷。而不是- 菲舍菲高,您可以应用其他筛选器。例如:

  • 要仅查看与同一项目的先前分析相比的新缺陷,请使用选项-新发现.

  • 要应用更细粒度的过滤器集,可以使用软件质量目标(SQO)。软件质量目标是通过一组逐渐严格的SQO级别(编号从1到6)来指定的。您可以在Polyspace Access web界面中自定义每个级别的要求,然后使用该选项-sqo公开调查结果使用级别编号仅导出必须审查的结果以满足要求。也可以看看缺陷发现者质量目标(PolySpace Bug Finder访问).

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

polyspace访问-h-导出

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

如果需要,还可以使用搜索和替换实用程序对导出的文件应用其他过滤器。例如,在结果文件上使用搜索和替换实用程序,以仅包括来自特定文件和函数的结果。在Linux中®,你可以使用格雷普塞德仅在特定文件中保留结果。

指定所有者并导出指定的结果

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

您可以在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.登录-导出testProject/myFirstProject-输出。\results.txt-每个所有者的输出

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

  • results.txt包含所有结果。

  • 结果_jsmith.txt结果_jboyd.txt包含分配的结果名缩写和姓JBOYD.分别地

  • results.txt.owners.list包含所有者列表,在这种情况下:

    JSMITH JBOYD.

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

另见