Polyspace Access™使软件工程团队能够在整个软件开发生命周期中检查代码质量。它包括 Polyspace as You Code,这是一个IDE插件,可以让开发人员在提交代码进行集成之前检测代码遵从性偏差、软件缺陷和安全漏洞。它还提供了一个web界面,用于审查集成源代码的静态代码分析结果,由Polyspace Bug Finder Server™和Polyspace code Prover Server™生成。
Polyspace as You Code检测关键缺陷和安全漏洞,并检查代码是否符合MISRA C等编码规则标准®, misra c++, autosar c++ 14,证书®C, CERT c++,以及自定义命名约定。作为插件集成到开发人员的IDE中,如Visual Studio®、Visual Studio Code或Eclipse™,它在源代码视图中报告结果。当连接到Polyspace Access中央存储库时,它只能突出显示开发人员与开发基线相比添加的新问题。
web界面允许开发人员和质量工程师跨项目协作静态代码分析结果。从项目仪表板到查找细节,团队成员可以监视质量趋势,并分析、审查和分配软件漏洞、代码度量、关键运行时错误,以及对编码标准的遵守。与项目管理工具(如JIRA)的集成使基于团队的代码质量协作成为可能。Polyspace Access包括一个中央存储库,托管在本地或基于云的,它与认证系统(如LDAP)集成,以控制对项目数据的访问。
从IDE中识别bug
方法在编写或修改代码后立即查找错误Polyspace as You Code如Visual Studio等IDE中的插件®、Visual Studio Code或Eclipse。使用api集成到其他ide和编辑器中。
集成软件开发和CI工具
将Polyspace Access与持续集成(CI)、错误跟踪、应用生命周期管理(ALM)和开发工具集成在一起。