POLYSPACE 工具实现了开发高质量嵌入式软件

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

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

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

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

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

　　另一个在高集成度应用开发中的挑战是，如果对代码进行毫无系统的大量验证任务会是代码的质量发生波动。Polyspace现在能够实现与每天晚上的测试过程和电子邮件系统集成起来，自动进行持续的验证工作。工程师可以减少重复的手工验证人物，让他们关注更的验证工作，比如去发现同一段代码的两个不同版本之间的新的问题。

　　“为了证明嵌入式软件没有运行时错误，质量工程师和管理员需要对软件质量生命周期的可见性，”MathWorks的技术市场经理Brett Murphy说到，”那些用常用的接口来设计支持持续代码验证的软件质量模型、并测量他们的与关键度量元相关的过程的软件开发团队才能够满足高质量软件的正在日益增长的需求。”

　　关于MathWorks

　　MathWorks是数学计算软件的领军开发者。MATLAB是一种科学计算语言，是数学开发、数据分析、可视化以及数字计算领域中的变成环境。Simulink是用于仿真和基于模型设计的多域（multidomain）动态嵌入式系统的图形化开发环境。世界范围内横跨航空航天、电子产品、金融服务、生物医药以及其他工业的的工程师以及科学家在进行研究工作、创新工作和开发工作时都采用这个软件系列中的产品。MathWorks产品还经常在世界范围内的高校以及教育机构中用于基础教学和研究工作。1984年，MathWorks就已经有大于2200名的员工，遍布15个国家，包括在美国Natick的 Massachusetts州的总部。