EDN China > 产品新闻 > 嵌入式系统 > 开发工具 > 正文
? 2016博客大赛-不限主题,寻找电子导师,大奖升级??

POLYSPACE 工具帮助开发团队实现嵌入式软件质量目标

2010年10月22日 ?? 收藏0

  ???? MathWorks 日前宣布推出对其 Polyspace 嵌入式代码验证产品的改进,此类产品可以证明源代码中不存在某些运行错误。 Polyspace新特性包含了 指标网络控制面板(metrics web dashboard)、自动计划验证工作、电子邮件通知以及增强的代码指标支持,这些新特性使工程师能够选择并跟踪嵌入式软件质量的指标和阈值。这些改进帮助软件团队更好地定义质量目标,并更快地加以实现,以便在汽车、航空、国防以及工业自动化和机械行业中得到高完整性应用。

  ??? 关键应用中的嵌入式软件需要满足特定的软件质量目标,这是监管指令或企业验证流程的一部分。为使软件团队能实现这些目标,开发人员和管理人员需要定义质量目标、评估标准和相关的指标阈值。Polyspace 指标网络控制面板可帮助软件开发人员定义相关的指标和阈值,如:代码指标、MISRA-C 和运行错误指标。它还能在验证过程中跟踪这些指标的进展,并能在每次代码修订中比较质量上的差异。

  ???? 开发高完整性应用程序的另一大难题在于,如果验证任务没有得到系统性的执行,则会导致代码质量波动。Polyspace 目前提供了夜间进程和电子邮件系统的集成,帮助实现持续验证过程的自动化。工程师可减少手动验证任务的迭代工作,从而可以专注于更高级别的验证任务,例如处理使用同一代码的两个版本间产生的新问题。 MathWorks 技术市场经理 Brett Murphy 说:“除了验证嵌入式软件不存在运行错误外,质量工程师和管理人员还需要了解软件质量生命周期。团队使用通用界面来设计支持持续代码验证的软件质量模型,并衡量其与关键指标相关的进展,这将能够满足人们对高质量软件日益增长的需求。”


?? ?? ??


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友
?? ??

POLYSPACE 工具? 嵌入式软件? 网络控制面板?

相关文章

我来评论
美国的游客
美国的游客 ??? (您将以游客身份发表,请登录 | 注册)
?
有问题请反馈