您当前的位置 :北仑信息网 > 时政 > MATHWORKSPOLYSPACE工具可帮助开发团队实现嵌入式软件质量目标 - MathWorks Embedded - Industrial News

MATHWORKSPOLYSPACE工具可帮助开发团队实现嵌入式软件质量目标 - MathWorks Embedded - Industrial News



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

2010/10/21 10: 53: 17

资料来源:MathWorks

中国北京 - 2010年10月19日 - MathWorks今天宣布改进其Polyspace嵌入式代码验证产品,该产品证明源代码中没有运行时错误。 Polyspace的新功能包括指标Web仪表板,自动计划验证,电子邮件通知和增强的代码指标支持,使工程师能够选择和跟踪嵌入式软件质量的指标和阈值。这些改进有助于软件团队更好地定义质量目标,并在汽车,航空航天,国防,工业自动化和机械行业中更快地实现高完整性应用。

使用Web浏览器确保您在软件开发生命周期中实现正确的质量目标

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

开发高完整性应用程序的另一大挑战是,如果验证任务没有系统地执行,代码质量将会波动。 Polyspace现在提供夜间流程和电子邮件系统的集成,以帮助自动执行持续的验证过程。工程师可以减少手动验证任务的迭代工作,以便他们可以专注于更高级别的验证任务,例如处理使用相同代码的两个版本之间出现的新问题。MathWorks技术营销经理Breett Murphy表示:“除了验证嵌入式软件没有操作错误之外,质量工程师和管理人员还需要了解软件质量生命周期。团队使用通用界面设计支持软件质量的模型连续代码验证和衡量其与关键指标相关的进展将满足对高质量软件不断增长的需求。“

关于MathWorks

MathWorks是世界领先的数学计算软件开发商。它的MATLAB是一个用于算法开发,数据分析,可视化和数值计算的编程环境,称为“科学计算语言”。 Simulink是一个用于模拟和建模多域动态系统和嵌入式系统的图形环境。世界各地的工程师和科学家都依赖MathWorks的这些产品系列来加快汽车,航空航天,电子,金融服务,生物医学和其他行业的发明,创新和发展步伐。 MathWorks产品也是世界上许多大学和学术机构的基础教学和研究工具。 MathWorks成立于1984年,总部位于美国马萨诸塞州的纳蒂克,在15个国家拥有2,200多名员工。

有关更多信息,请访问

加入Gkong收藏夹

我想发布新闻

美食天下