- 当软件质量目标明确规定了分析指针、编程指南，以及运行时错误的接受标准和阈值，车用软件系统透过这些标准会自动进行评估，软件变更时执行，就成为软件开发流程中完整的一部分。如何降低程序代码质量评估的主观性，并改善软件开发周期的整体开发效率，就成为当中要点。车用软件系统在现今车辆的安全性、可靠性及效率扮演着愈来愈重要的角色。因此，工程团队专注于提供先进驾驶辅助系统（advanced driver assistance systems；ADAS）、电池管理系统、稳定控制及其他类似的创新功能。通常，他们也需要透过证明
- 关键字：
Polyspace 静态程序代码分析 车用软件
- 全球领先的数学计算软件开发商MathWorks近日宣布，推出MATLAB®和Simulink®产品系列版本 2023b（R2023b）。R2023b 推出了两款新产品和几项重要更新，它们可为工程师和研究人员提供简化工作流的新功能。Simulink Fault Analyzer™支持使用仿真进行系统性故障影响和安全分析。此新产品能够在不修改工程设计的情况下执行故障注入仿真。工程师利用仿真通过特定的系统条件来确定故障时间或触发故障并执行安全分析，如失效模式和影响分析（FMEA）。与 Requirements
- 关键字：
MathWorks MATLAB Simulink Simulink Fault Analyzer Polyspace Test
- MathWorks 近日宣布引入两款新的代码验证工具以扩充其 Polyspace 产品系列：Polyspace Code Prover 和 Polyspace Bug Finder。此外，公司还于同时宣布推出 2013b 版。新增的这两款产品提供了端到端软件验证功能，供早期开发阶段使用，其中涵盖了查找缺陷、检查代码规则以及证明不存在运行时错误。
- 关键字：
MathWorks Polyspace
polyspace介绍
您好，目前还没有人创建词条polyspace!
欢迎您创建该词条，阐述对polyspace的理解，并与今后在此搜索polyspace的朋友们分享。
创建词条
关于我们 -
广告服务 -
企业会员服务 -
网站地图 -
联系我们 -
征稿 -
友情链接 -
手机EEPW
Copyright ©2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《电子产品世界》杂志社 版权所有 北京东晓国际技术信息咨询有限公司
京ICP备12027778号-2 北京市公安局备案：1101082052 京公网安备11010802012473
