LDRA ，自动化 软件验证 、源代码分析和测试工具的主要供应商，已发行LDRA工具套件8.0版本，首次支持全面自动化的 端到端 的软件验证解决方案。LDRA与需求管理工具的集成，能使公司或组织在软件开发的所有阶段跟踪、验证和测试他们的代码，从需求过渡到静态和动态分析以及测试。LDRA通过剪裁跨行业采用的标准化最佳程序设计规范，总体上扩展了嵌入式行业的成本和资源节省的优势。
贯穿于软件开发生命周期的需求管理在这个经济低迷时期提供给用户关键的绝对实质的成本消减方法。报告显示70%的项目缺陷归结于需求管理和跟踪。通过在LDRA工具套件中使用TBreq集成需求管理，开发人员能减少软件错误，缩减项目成本和资源限制。TBreq创建需求、代码模块和验证产物(静态分析、动态分析、单元和系统级测试)之间的关系。TBreq记录所有非形式化的改变和测试结果，这些改变影响的任何需求被突出显示，所以所有团队成员能识别可能被怀疑的数据和代码。
通过剪裁LDRA工具包适应国际化工业标准，LDRA在嵌入式领域为开发人员实施过程改进提供必需的元素。LDRA 8.0版本提供重要的支持，被FAA，FDA，DoD和MILS采用，工具的方法论有助于公司或组织改进它们的CMMI成熟度。利用LDRA DO-178B工具资质支持包，用户可获得端到端的FAA DO-178B C、B、A级的认证支持，这在非航空航天领域，例如汽车、医疗和核能领域迅速地成为最优的方法学，这些领域的系统具有安全苛刻性或功能苛刻性的特点。
“系统和软件开发人员日益关注于航空航天领域来减少缺陷率，改善开发时间表，创造质量更高的最终产品”著名的LDRA运营董事Ian Hennell说，“LDRA工具套件提供代码覆盖度量直到目标代码级别，这个级别实质是向品质成本挑战。通过采用严格的标准，非航空航天领域的公司或组织加强它们的开发过程，适应工业编码标准，更接近于零缺陷的软件开发。”
特别地，例如像DO-178B这样的标准主要是面向过程的。它为每个过程定义了目标并且描述满足这些目标的方法。作为DO-178B A级的软件成分评估要经历严格的验证，测试通过源代码的每条路径，并且要确定编译器在目标代码中没有引入额外的分支或代码结构。LDRA的DO-178B工具资质支持包有助于其A级到E级的评估，级别A的要求最严格。利用合适的工具和设备，非航空航天领域的公司或组织能认识到严格的质量分析，测试和验证可在提高代码质量，改进可靠性，缩减成本方面带来充分的潜力和益处。
“洛克希勒-马丁公司为F35闪电II飞行器准时并且按预算试航的成功交付证明了其出众的成本控制和有效的验证管理” Hennell补充说，“这样的成功就是为什么其他工业领域也正在考虑软件质量控制。他们意识到最优的程序设计习惯能使他们在当前的经济危机中适应日益增加的严格的成本约束。”LDRA涉及联合战斗机闪电II项目的详细内容可在 www.ldra.com/jsf.asp 找到。
LDRA工具套件8.0版本引入许多最优化的易用性。由于重要的速度提升，借助多方配置的开发人员能迅速分析大项目并且有效地从需求过渡到静态和动态分析以及测试。该版本支持全面的覆盖分析，自动链接到从高目标的系统级到单元级测试的覆盖率结果。按照更多的组织建议，根据用户定义的基于需求的测试用例组合来图形化显示结构化的覆盖率结果。现在这些覆盖结果已集成到传统的LDRA Testbed覆盖率报告中，企业级的TBreq报告中，用于完善您的验证分析。
LDRA工具套件由许多完整的组件构成，这辅助用户支持整个生命周期的开发，LDRA工具套件辅助开发人员进行软件标准检查，代码覆盖率分析，单元测试和目标代码验证。LDRA Testbed，LDRA工具套件的核心引擎，构成自动化软件验证的基础。LDRA Testbed执行源代码级的代码、质量和设计评审。它通过代码覆盖引导测试验证，包括语句，分支/判定，测试路径，程序/函数调用覆盖度量，并且提供测试管理权限。LDRA已添加TBVision组件，它是下一代的图形报告和文档工具，LDRA工具套件使公司更容易了解他们的源代码在面对安全性攻击，缺陷侦测和必须遵守的质量标准时该如何执行。
TBrun，LDRA的自动化单元测试工具，它仅仅是个能自动化并且图形化显示测试数据向量的测试工具，拥有完全自动化生成测试驱动和桩的功能。通过利用LDRA工具套件的Object-box模式，开发人员能为高级别的源代码级结构化覆盖创建测试用例，并且应用这些精确同样的测试用例进行相应的目标代码测试。
因为LDRA工具套件快速地识别违反情况，所以开发人员能改进他们代码的质量，减少形式化测试中发现的错误，确保准时，按预算交付软件。LDRA
www.55dianzi.com
工具套件可用于C、C++、Ada 83、Ada 95和汇编系统。它是个可升级的解决方案，与大规模的商业和产品系统合作，对遗留的代码和新代码开发的验证都是非常卓越的。
出席嵌入式系统会议能在1824号 LDRA 展位看到LDRA工具套件8.0版本的演示。
