登陆
注册
工具列表
Tool list
Polyspace
2020-06-01
476
Polyspace® 静态代码分析产品采用形式化方法证明在所有可能的控制流和数据流下都没有关键运行错误。包括编码规范、安全漏洞、代码指标和数百条其他软件缺陷的检查。
无需测试用例或不执行代码的情况下，找出缺陷并形式化证明不存在严重运行时错误。
检查软件安全漏洞，及是否符合 CWE、CERT-C、ISO/IEC 17961 和其他标准。
无需执行代码即可形式化地证明不存在严重运行的错误，证明源代码中不存在运行时错误
-
Miracor Eliminates Run-Time Errors and Reduces Testing Time for Class III Medical Device Software
From a developer’s perspective, the main advantage of Polyspace Code Prover is a higher level of qua...
-
Alenia Aermacchi 开发符合 DO-178B A 级认证的自动驾驶仪软件
对于我们来说，基于模型的设计的一个关键优势，是可以专注于设计和开发，而不是将精力放在低级编码、验证和 认证任务上。其结果是获得了更高的质量、DO-178B 认证的软件和更快的迭代。
-
Nissan Increases Software Reliability
Polyspace products can ensure a level of software reliability that is unmatched by any tools in the ...
