嵌入式系统/ARM技术中的 POLYSPACE 工具实现了开发高质量嵌入式软件

MathWorks 今天宣布推出对其 Polyspace 嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。 Polyspace新特性包含了 指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增强的代码指标支持，这些新特性使工程师能够选择并跟踪嵌入式软件质量的指标和阈值。这些改进帮助软件团队更好地定义质量目标，并更快地加以实现，以便在汽车、航空、国防以及工业自动化和机械行业中得到高完整性应用。     关键应用中的嵌入式软件需要满足特定的软件质量目标，这是监管指令或企业验证流程的一部分。为使软件团队能实现这些目标，开发人员和