主要内容

发送电子邮件通知波尔盖斯代码验证服务器结果

如果你运行一个波隆空间®分析作为连续集成的一部分,每个新代码提交都会产生新的结果。您不仅在修改的组件中看到新结果,而且在依赖于修改的组件上的组件中。您可以设置电子邮件警报,以便在其组件中出现新的PolySpace结果时,组件所有者会收到通知。

创建电子邮件通知

创建电子邮件通知:

  1. 将新分析结果导出到选项卡分隔的文本文件(.tsv.格式)。

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

  2. 发送电子邮件与结果文件的附件。对于每个结果,附件包含在PolySpace Code Prover™Access™web界面。

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

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

或者,可以根据所有者的文件路径直接将结果分配给他们。您可以设置电子邮件通知,为每个所有者导出一个单独的结果文件,并将相应的结果文件作为附件发送电子邮件给每个所有者。

先决条件

要运行本教程:

  • 你必须上传了一些结果Polyspace代码验证器访问界面。如果您完成了教程在服务器上运行Polyspace代码验证程序并上传结果到Web界面,你应该会看到一个文件夹testproject.Project Explorer窗格。该文件夹包含一个项目myfirstproject.

    在项目中查看结果,有myfirstproject.选中,单击审查按钮。您将看到一个运行时检查列表。的类型列显示检查的颜色。在本教程中,只有红色检查将用于电子邮件附件。

  • 你必须能够与之交互Polyspace代码验证器访问接口从命令行。例如,导航到polyspaceerverroot.\ polyspace \ bin并输入:

    polyspace-access登录-List-Project.

    这里。polyspaceerverroot.Polyspace代码验证服务器™例如,安装文件夹,C:\ Program Files \ PolySpace Server \R2021a,变量登录指以下选项的组合。您每次使用都会提供这些选项polyspace-access命令。

    主机主机名-港口Portnumber.登录用户名-encrypted密码松材线虫病

    这里,主机名是这个名字Polyspace代码验证器访问网络服务器。对于本地托管的服务器,使用本地主机Portnumber.是服务器的可选端口号。如果您省略了端口号,9443.使用。用户名松材线虫病请参阅登录名和密码的加密版本。要创建加密密码,请输入:

    polyspace-access -encrypt-password

    复制加密的密码,并在以后使用时提供此密码polyspace-access命令。

为电子邮件附件导出结果

您可以导出项目中的所有结果,也可以只导出某些类型的结果。

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

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

    polyspace-access登录-export testproject / myfirstproject -output。\ result.txt

  • 要仅导出红色检查,请输入以下内容:

    polyspace-access登录-export testproject / myfirstproject -rte红色-output. \ RESE_RED_CHECKS.txt

在电子表格查看实用程序中打开每个文本文件,例如微软®excel.®.在第一个文件中,您可以看到所有结果,但在第二个文件中,您只看到红色的运行时检查。而不是-rte红色,您可以应用其他筛选器。

  • 只要对先前的同一项目的分析相比,只看到新结果,请使用该选项- 新发现

  • 要应用更细粒度的过滤器集,可以使用软件质量目标(SQOS)。软件质量目标通过逐步更严格的SQO级别设置,编号为1到6.您可以自定义PolySpace Access Web界面中每个级别的要求,然后使用该选项-open-condings-for-sqo使用级别号只导出那些必须审查以满足需求的结果。另请参阅软件质量目标(PolySpace代码先驱访问权限)

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

PolySpace-Access -H -Export

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

如果需要,您还可以使用搜索和替换实用程序将额外的过滤器应用到导出的文件。例如,在结果文件上使用搜索和替换实用程序仅包含特定文件和函数的结果。在Linux®, 您可以使用Grep.SED.要保留特定文件的结果。

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

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

您可以分配所有者Polyspace代码验证器访问Web界面或命令行。

在本教程中,将所有结果分配在文件中example.c.jsmith.所有的结果都在文件里single_file_analysis.cjboyd

polyspace-access登录-set-unassigned-condings testproject / myfirstproject -owner jsmith -source-contains-company.c包含polyspace-access登录-set-unassigned-findings testProject/myFirstProject -owner jboyd

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

polyspace-access登录-export testproject / myfirstproject -output。\ equest.txt -Output-Outwore

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

  • 结果包含所有结果。

  • equest_jsmith.txt.结果_JBOYD.txt.包含分配给jsmith.jboyd分别。

  • 结果.txt.OWNERS.LIST.包含所有者列表,在这种情况下:

    jsmith jboyd

在将所有者分配给结果之前,使用该选项-DryRun.进行一次作业的演练。在不执行分配的情况下,该选项将显示具有分配结果的文件以及分配结果的所有者。

也可以看看