Polyspace Code Prover

跟踪软件质量指标

您可以定义一个集中式的质量模型,来跟踪运行时错误、代码复杂度和编码违规。使用这些指标,可以在代码从首次迭代到最终交付的完善过程中,持续跟踪预定义的软件质量目标。通过衡量代码质量改进率,Polyspace Code Prover 使开发人员、测试人员和项目经理能够致力于编写和交付高质量的代码。

Software quality metrics displayed via web browser.

通过网络浏览器显示的软件质量指标。

下一页: 依据代码验证结果回溯至 Simulink 模型

试用 Polyspace Code Prover

获取试用版软件

Developing Medical Device Software with Zero Bugs

观看网上技术交流会录像