代码验证 -凯发k8网页登录
使关键代码更加安全可靠
开发人员和质量工程师可以使用 mathworks® 提供的代码验证产品来检测生成的或手动编写的 c/c 代码中的软件 bug 和其他质量问题:
使用 polyspace® code prover™ 来证明您的代码中没有溢出、被零除、数组和指针访问越界及其他严重的运行时错误。
使用 polyspace bug finder™ 来:
检查是否符合 autosar、cert® c/c 、misra™ c/c 、jsf® av c 、cwe™ 和 iso-17961 编码标准。
检查代码中是否有并发问题、安全漏洞、编程错误和其他软件 bug。
在查看分析结果后,您可以生成可自定义的报告来记录在软件开发周期不同阶段的软件质量,并根据预定义的目标对它们进行测量。
您可以在开发周期的各个阶段运行 polyspace 产品:
在提交代码前:
在您首选的 ide 中运行单个文件分析。
在 polyspace 桌面界面中分析整个工程,或将分析工作负载从桌面转移到服务器上。
在提交代码后:
作为持续集成 (ci/cd) 过程的一部分,使用 jenkins 等自动化服务器对新提交的代码运行完整的工程分析。
将服务器结果上传到一个集中式数据库,并通过 web 浏览器与您的团队一起查看结果。
您可以从本地计算机或云平台(如 azure® 或 aws®)运行 polyspace 分析。
主题
使用相应的 polyspace 产品来满足您的软件开发需求
- (polyspace bug finder)
了解可以在软件开发生命周期中使用的 polyspace 产品。 - (polyspace bug finder)
了解 bug finder 与 code prover 如何互补,并确定何时在您的开发工作流中部署每种产品。 - (polyspace bug finder)
了解各种 polyspace 产品。
检查是否符合编码标准和规范
- 检查编码标准违规 (polyspace bug finder)
使用 polyspace bug finder 检查代码是否违反了 autosar c 14、cert c、cert c 、misra c®、misra c 、jsf av c 或 iso-17961 标准。 - (polyspace bug finder)
check the polyspace support for different coding standards. - evaluate polyspace code prover results against software quality objectives (polyspace code prover)
enforce quality thresholds for code submission using software quality objectives.
与软件开发工作流集成
- (polyspace bug finder)
在 visual studio®、visual studio code 或 eclipse™ 中使用 polyspace as you code 扩展运行单个文件分析并审查结果。 - (polyspace bug finder)
利用支持 jenkins 插件的示例脚本编写 polyspace 运行脚本可以事半功倍。 - create bug tracking tool tickets from the polyspace access web interface (polyspace bug finder)
track findings with jira software or redmine from the polyspace access™ interface. - (polyspace bug finder)
将 polyspace 分析负载从客户端计算机转移到安装在 aws 云端基础架构上的 polyspace server。 - (polyspace bug finder)
将 polyspace 分析负载从客户端计算机转移到安装在 azure 云端基础架构上的 polyspace server。
分析从 matlab 代码或 simulink 模型生成的代码
- 对通过 embedded coder 生成的代码运行 polyspace 分析 (polyspace bug finder)
检查通过 embedded coder® 生成的代码是否存在 bug、运行时错误或编码违规情况。 - (polyspace bug finder)
analyze c/c code generated by using previous releases of simulink® with newer releases of polyspace. - (polyspace bug finder)
generate polyspace options files from a simulink model, and use these options files to analyze generated code by using polyspace. - (polyspace bug finder)
analyze manually written c/c code to detect issues that might introduce run-time errors or bugs in the simulation. - (polyspace bug finder)
run polyspace on generated code and check for run-time errors.
为工具鉴定与认证创建工件
- (iec certification kit)
use model-based design and mathworks tools to meet iso 26262, iec 61508, iec 62304, en 50128, en 50657, iso 25119, and iec 61511 objectives - (iec certification kit)
the iec certification kit includes certification and qualification evidence, templates, test cases, and test procedures. - (do qualification kit)
qualify mathworks verification tools for projects involving the do-178c standard and related standards - (do qualification kit)
the do qualification kit includes support artifacts, test cases, and test procedures.