使用Polyspace 和 BeaconTower 提升组织级软件质量

路特斯机器人有限公司 陈钰键

软件质量是软件系统质量的重要组成部分，甚至是决定性因素。如何提高软件质量一直是企业永恒的话题。本演讲将带您了解路特斯公司如何提高其高性能汽车的软件质量。

  • 软件集成过程中发现的问题
  • 如何使用正规工具检测和定位问题
  • 将形式化工具整合到软件开发流程中，实现自动化
  • 从软件工厂 BOM 开始优化自动化流程，实现端到端的精简。

出版年份: 2024 年 7 月 3 日

了解更多

查看幻灯片
查看MATLAB EXPO 2024中国的所有活动记录

反馈

下一个:

采用Polyspace检测软件运行时缺陷并证明软件的安全性。

采用静态代码分析软件Polyspace开发高质量嵌入式软件

相关视频:

内容摘要： 嵌入式软件开发特别是安全关键系统对代码质量有很高的要求，潜在的运行期错误可能会带来巨大的损失。MathWorks公司的Polyspace产品是采用静态分析和形式化方法进行C/C++及Ada代码错误检查和运行期错误证明的工具。Polyspace产品可以快速有效的找到软件代码中的错误及潜在的运行期错误，从而提高软件代码的质量和可靠性。 在本次讲座中，我们将介绍： Polyspace产品

使用Polyspace进行软件代码错误检查和运行时错误证明

随着汽车电子的快速发展，汽车嵌入式软件的规模日益膨大，如何保证软件的正确无误和提高开发效率一直是各大公司的共同课题。本演讲主要介绍京滨公司在整个软件开发过程中，如何利用Polyspace进行代码验证，找到隐藏的BUG，从而减低纠错的代价。

Polyspace在软件代码验证中的应用

Learn how to use Polyspace static analysis tools to improve software quality & security and prevent software related defects in your embedded devices.

Writing Secure Code with Polyspace Static Analysis

Explore how to use Polyspace to comply with security standards and detect a variety of critical software defects and security vulnerabilities.

Embedded Security with Polyspace Static Analysis

查看更多相关视频