• 新闻
  • 产品
  • 合作伙伴

LDRA验证安全苛刻性应用程序

LDRA精细化验证高约束、低功耗的嵌入式应用程序

San Jose, CA. 31 March 2014—LDRA,测试标准、自动化软件验证、源代码分析和测试工具的领导者LDRA在为高度受限的应用程序提供验证的领域,再次获得领导地位。通过优化分析和测试技术,LDRA增强了LDRA工具套件的能力,更加小型化精细化,以满足在当今安全苛刻性应用程序中使用越来越多的高度受限和小尺寸架构。由于系统之间的互联互通,很多企业不得不致力于高质量代码、充分测试和验证系统、积极地修补应用程序漏洞。

        ... ...

        ... ...

》了解详细信息

进入新闻室