使用Polyspace 和 BeaconTower 提升组织级软件质量
路特斯机器人有限公司 陈钰键
软件质量是软件系统质量的重要组成部分，甚至是决定性因素。如何提高软件质量一直是企业永恒的话题。本演讲将带您了解路特斯公司如何提高其高性能汽车的软件质量。
- 软件集成过程中发现的问题
- 如何使用正规工具检测和定位问题
- 将形式化工具整合到软件开发流程中，实现自动化
- 从软件工厂 BOM 开始优化自动化流程，实现端到端的精简。
出版年份: 2024 年 7 月 3 日
路特斯机器人有限公司 陈钰键
软件质量是软件系统质量的重要组成部分，甚至是决定性因素。如何提高软件质量一直是企业永恒的话题。本演讲将带您了解路特斯公司如何提高其高性能汽车的软件质量。
出版年份: 2024 年 7 月 3 日
