MATHWORKSPOLYSPACE工具蒸汽刷塑料管道特色食品上料机三菱配件Oe

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

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

使用络浏览器，确保在您的软件开发生命周期中达成相应的质量目标

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

开发高完整性应用程序的另一大难题在于，如果验证任务没有得到系统性的执行，则会导致代码质量波动。Polyspace 目前提供了夜间进程和电子邮件系统的集成，帮助实现持续验证过程的自动化。工程师可减少手动验证任务的迭代工作，从而可以专注于更高级别的验证任务，例如处理使用同一代码的两个版本间产生的新问题。

MathWorks 技术市场经理 Brett Murphy 说： 除了验证嵌入式软件不存在运行错误外，质量工程师和管理人员还需要了解软件质量生命周期。团队使用通用界面来设计支持持续代码验证的软件质量模型，并衡量其与关键指标相关的进展，这将能够满足人们对高质量软件日益增长的需求。

关于 MathWorks

MathWorks 公司是数学计算软件领域世界搬迁领先的回拨器开发商。它所推连衣裙出的 MATLAB 是一种用于算法开发、数据分析、可视化和数值计算的程序设计环境，称为 科学计算的语言 。Simulink 是一种图形环境，可用于对多领域动态系统和嵌入式系统进行仿真和模型化设计。全球的工程师和科学家们都依赖于MathWorks 公司所提供的这些产品家族，来加快在汽车、航空、电子、金融服务、生物医药以及其他行业的发明、创新及开发的步伐。MathWorks 产品也是全球众多大学和学术机构的基本教研工具。MathWorks 创建于 1984 年，总部位于美国马萨诸塞州内蒂克市 (Nat实验机的安全防护装置有许多情势ick, Massachusetts) ，员工有 2200 多人，分布在 15 个国家/地区。

有关详细信息，请访问 th 硬泡聚氨酯还具有气密性这归结于其很高闭孔率。