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