- 新闻
- 产品
- 合作伙伴
LDRA验证安全苛刻性应用程序
LDRA精细化验证高约束、低功耗的嵌入式应用程序
San Jose, CA. 31 March 2014—LDRA,测试标准、自动化软件验证、源代码分析和测试工具的领导者LDRA在为高度受限的应用程序提供验证的领域,再次获得领导地位。通过优化分析和测试技术，LDRA增强了LDRA工具套件的能力,更加小型化精细化,以满足在当今安全苛刻性应用程序中使用越来越多的高度受限和小尺寸架构。由于系统之间的互联互通,很多企业不得不致力于高质量代码、充分测试和验证系统、积极地修补应用程序漏洞。
... ...
... ...
》了解详细信息
最新新闻
| 03月31日: | LDRA验证安全苛刻性应用程序... |
| 03月31日: | LDRA对多核平台提供安全苛刻性专业知识... |
| 10月29日: | 自动化验证极大地减少了UIMDB... |
| 9月4日: | LDRA获得TÜV SÜD针对安全行业... |
| 8月21日: | LDRA满足FAA对DO-178C的全部验证... |
| 5月24日: | LDRA与Lauterbach TRACE32的集成... |
| 4月22日: | LDRA合规管理系统对DO-178C... |
| 4月19日: | 通过与NI TestStand、NI VeriSand的... |
进入新闻室
