如果你运行一个波隆空间®分析作为连续集成的一部分,每个新代码提交都会产生新的结果。您不仅在修改的组件中看到新结果,而且在依赖于修改的组件上的组件中。您可以设置电子邮件警报,以便在其组件中出现新的PolySpace结果时,组件所有者会收到通知。
创建电子邮件通知:
将新分析结果导出到选项卡分隔的文本文件(.tsv.
格式)。对于每个结果,该文件包含链接以打开PolySpace Access Web界面中的结果。
应用筛选器来导出特定类型的结果,例如,具有高影响的缺陷。如果需要,您还可以使用搜索和替换实用程序对导出的文件应用额外的过滤器。看到电子邮件附件的导出结果。
发送带有结果文件附件的电子邮件。
例如,如果您在Jenkins中使用电子邮件插件,您可以创建一个构建后步骤,以便在分析完成后发送电子邮件。
如果您在Jenkins中使用Polyspace插件,那么您可以使用Polyspace助手工具来完成整个电子邮件通知过程。看到使用Jenkins进行Polyspace分析的示例脚本。
或者,可以根据所有者的文件路径直接将结果分配给他们。您可以设置电子邮件通知,为每个所有者导出单独的结果文件,并向每个所有者发送电子邮件,附件中包含相应的结果文件。看到分配所有者和导出分配的结果。
要运行本教程:
你必须上传了一些结果PolySpace Bug Finder™Access™界面。如果您完成了教程在服务器上运行Polyspace Bug查找程序,并将结果上传到Web界面,您应该会看到一个文件夹testproject.
在Project Explorer窗格。该文件夹包含一个项目myfirstproject.
。
在项目中查看结果,有myfirstproject.
选中,单击审查按钮。你看到了一份缺陷列表。这信息列显示缺陷的影响。在本教程中,只有高冲击缺陷将用于电子邮件附件。
你必须能够与之交互Polyspace Bug查找器访问接口。例如,导航到
并输入:polyspaceerverroot.
\ polyspace \ bin
polyspace-access登录-List-Project. |
这里。
是PolySpace Bug Finder Server™例如,安装文件夹,polyspaceerverroot.
C:\ Program Files \ PolySpace Server \R2021a
,变量
指以下选项的组合。您每次使用都会提供这些选项登录
polyspace-access
命令。
主机主机名-港口Portnumber.登录用户名-encrypted密码松材线虫病 |
这里,
是这个名字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 -optupt。\ result_high_impact.txt |
在电子表格查看实用程序中打开每个文本文件,例如微软®excel.®。在第一个文件中,您可以看到所有缺陷,但在第二个文件中,您只能看到高影响力的缺陷。代替缺陷高
,您可以应用其他过滤器。例如:
只要对先前的同一项目分析相比,只看到新的缺陷,请使用该选项- 新发现
。
要应用更细粒度的过滤器集,可以使用软件质量目标(SQOS)。软件质量目标通过逐步更严格的SQO级别设置,编号为1到6.您可以自定义PolySpace Access Web界面中每个级别的要求,然后使用该选项-open-condings-for-sqo
使用级别编号,只导出那些必须经过审查以满足需求的结果。另请参阅Bug Finder质量目标(Polyspace Bug Finder Access)。
要查看所有过滤选项,请输入:
PolySpace-Access -H -Export |
您可以将电子邮件实用程序配置为在附件中发送这些导出的文件。
如果需要,您还可以使用搜索和替换实用程序对导出的文件应用额外的过滤器。例如,在结果文件上使用搜索和替换实用程序仅包含特定文件和函数的结果。在Linux®, 您可以使用Grep.
和SED.
只在特定文件中保留结果。
您可以为特定文件或文件夹中的结果分配所有者。然后,您可以为每个所有者导出一个结果文件,并向每个所有者发送电子邮件,附件中包含相应的文件。
您可以在PolySpace访问Web界面或命令行中分配所有者。
在本教程中,将所有结果分配在文件中numerical.c
至jsmith.
所有结果都在文件里dataflow.c
至jboyd
。
polyspace-access登录-set-unassigned-findings testProject/myFirstProject -owner jsmith -source-contains numeric .c polyspace-access登录-set-unassigned- results testProject/myFirstProject -owner jboyd -source-contains datflow .c |
分配后,导出一个结果文件每个所有者。
polyspace-access登录-export testproject / myfirstproject -output。\ equest.txt -Output-Outwore |
这些文件包含导出的结果:
结果
包含所有结果。
equest_jsmith.txt.
和结果_JBOYD.TXT.
包含分配给jsmith.
和jboyd
分别。
结果.txt.OWNERS.LIST.
包含所有者列表,在这种情况下:
jsmith jboyd
在将所有者分配给结果之前,请使用该选项-DryRun.
对任务进行演练。如果不执行分配,该选项将显示具有分配结果的文件以及分配结果的所有者。