嵌入式世界,纽伦堡,德国,2012年3月1日。LDRA,领导者标准遵从性、自动化软件验证源代码分析和测试工具,MathWorks,数学计算软件的主要开发人员,扩展的集成LDRA工具套件与MathWorks仿真软件建模工具。集成使共同客户受益于完整的测试和重用双向可追溯性在整个软件开发生命周期。将所有组件的开发周期为一个工作流程,项目团队通过重用测试,节省时间和更容易追踪进展的需求满足和认证准备。
严格的测试是底线的航空电子设备和汽车等认证- 178 b / C吗或ISO 26262在目标检测是必需的。LDRA LDRA工具的集成套件和MathWorks仿真软件,仿真软件模型试验向量可以确定应用程序运行的预期目标,和LDRA-generated测试可以反馈到模型,用于优化仿真。代码可以再生最高水平来创建代码,减少风险。测试目标和模型重用,大大减少时间否则用于生成和证明测试方案为两个阶段。
当这个测试能力加上标准具体模板,公司获得的过程,过程和细节符合所需要求。TBmanager,需求跟踪和测试产品在LDRA工具套件,链接和图形描述了需求和相关模型之间的关系,代码和测试工件。这个信息矩阵强调了软件组件之间的联系,审计人员可以检查看看公司识别和纠正程序错误和解决不符合,直到整个应用程序满足规范要求。这种透明度成程序关系组织和团队进步通过自动化发展速度和文档。
“许多行业?——航空航天、汽车、医疗或industrial-face接受严格的设计和测试的双重挑战在管理项目时间和预算限制,”注意到伊恩•Hennell LDRA运营总监。“正因为如此,公司正在寻求方法来更新他们的方法来生成高质量的代码更容易证明,维护和重用的前提下计划或预算。需求跟踪和测试的重用这LDRA-MathWorks集成给公司具体的方法来改善流程,提高代码质量和降低成本。”
“基于模型设计生成一致的代码和节省时间,但它仍然应该充分行使和独立消息来源的证实,”汤姆Erkkinen发表评论,嵌入式应用程序管理器,MathWorks。“基于模型的设计和LDRA能力帮助验证整个应用程序生成模型和hand-generated代码,并支持定制项目需求,流程和应用程序构件- 178 b / C, IEC 62304、ISO 26262、IEC 61508和其他行业标准。”
在一起,MathWorks仿真软件和LDRA工具套件创建测试代码,可以使用选择的编译器构建和执行通过LDRA工具套件实现完整的代码覆盖率是否声明,分支或决策,或修改条件/决定覆盖(MC / DC)的代码创建的Simulink仿真模型和手工代码。此外,数据值用于运动模型在模拟环境中可用于测试生成的代码SIL (software-in-the-loop)和目标以及公益诉讼(processor-in-the-loop)生成额外的测试通过LDRA的单元测试工具。结构和图形输出显示覆盖的绝对值和相对于一组限制要求的身体,就像做- 178标准。
后与汽车、医疗和工业市场标准的航空电子社区,行业趋势表明,所有行业很快就会正式认证程序模型驱动设计类似的做- 178 c或ISO 26262。集成使验证和确认工程师证明可执行代码符合设计标准,底层代码是充分行使有关标准。
LDRA和MathWorks集成的演示将在大厅4站410年在嵌入式世界2012年2月28日至3月1日在纽伦堡,德国。此外,LDRA将现在一篇论文关于以下主题:
- “一个医生的指导关键软件认证,“在测试和验证跟踪2012年3月1日,2.30下午3点。
关于LDRA
超过35年,LDRA开发了自动化代码分析和市场驱动的软件和软件测试安全,安全使命————和关键业务市场。与客户合作,实现早期错误识别和完全符合行业标准,通过LDRA跟踪需求静态和动态分析来单元测试和验证各种各样的硬件和软件平台。拥有全球存在,LDRA总部位于英国与美国和印度子公司一个广泛的经销商网络。在LDRA工具套件的更多信息,请访问:www.ldra.com。
