|
|||||
|
|
| MathWorks Polyspace工具帮助开发团队实现嵌入式软件质量目标 | |
| 作者单位： | MathWorks公司; |
| 摘 要： | <正>2010年10月19日,MathWorks宣布推出对其Polyspace嵌入式代码验证产品的改进,此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板(metrics weh dashboard)、自动计划验证工作、电子邮件通知以及增强的代码指标支持,这些新特性使工程师能够选择并跟踪嵌入式软件质量的 |
| 关 键 词： | 运行错误 控制面板 验证任务 嵌入式软件 源代码 帮助 软件质量模型 指标 新特性 质量目标 |
| 本文献已被 CNKI 等数据库收录！ | |