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