PolySpace 发表PolySpace 3.2，MISRA Checker 功能

PolySpace Technologies,是居首位的运行错误检测软件的公司。今天他们宣布发表可检验C与Ada的PolySpace Version 3.2。PolySpace Version 3.2包括PolySpace MISRA Checker功能， 是第一个帮助用户符合MISRA-C:2004标准的检测软件。

PolySpace Technologies,是居首位的运行错误检测软件的公司。今天他们宣布发表可检验C与Ada的PolySpace Version 3.2。PolySpace Version 3.2包括PolySpace MISRA Checker功能， 是第一个帮助用户符合MISRA-C:2004标准的检测软件。

PolySpace Version 3.2 包括许多新特征，使 PolySpace客户缩减发展成本，加速软件排错并保证软件质量。其最重要的新特征包括分析刻度数据与加强编程规则的功能，并有比以前容易用的用户界面。

PolySpace C语言包括可选择的数据范围功能(Data Range Specification module)。 这个功能使软件的开发者与检验者指定PolySpace分析时的刻度、传感器等外界参数的范围，适合开发可配置软件的组织的需求。

PolySpace 还通告PolySpace MISRA Checker的发表。PolySpace MISRA Checker 是用新的MISRA-C:2004标准的第一位符合检测软件，可以帮助制造汽车等开发关键软件的组织以保证他们的代码易读并可携带。

关于PolySpace Technologies
PolySpace Technologies的唯一自动监测运行错误的产品使开发嵌入式软件的公司与组织加速软件开发、减少成本、保证软件质量与可靠性。PolySpace用高级的抽象解释技术测出运行错误， 之后指出代码中的运行错误。PolySpace的产品只依靠软件的代码，不必写测试用例，也不需软件调试。PolySpace C, C++ 与Ada语言的检测产品为汽车制造、航空航天、国防系统、电子工业等开发嵌入式软件工业的许多知名客户提高了开发效率与产品质量 。

http://www.polyspace.com