自动化软件分析和验证功能安全合规性
文章：Majeed Ahmad
LDRA工具套件用于软件分析和验证自动化的集成有助于开发人员加速功能安全合规性。
为软件开发人员和质量保证团队提供工具的公司正在与功能安全平台的双手加入，以自动化软件分析和验证，并且一个这样的宣布来自于此嵌入式世界2021数字世界展示。
LDRA帮助开发人员在开发过程中提前测试安全性和安全关键应用程序，宣布其工具套件集成到Synopsys中设计软弧Metaware开发工具包为了安全。因此，汽车软件开发人员使用Synopsys来实现功能安全设计软件弧处理器可以在主机平台或实际目标上执行系统级测试。
LDRA的测试和生命周期解决方案功能的功能安全处理器和开发套件为设计人员提供了具有生命周期可追溯性的设计者，以及源代码的静态和动态分析。“我们的工具包对Synopsys功能安全开发工具包的集成有助于汽车行业软件开发人员从需求验证，”LDRA技术销售和营销副总裁Jim Mcelroy表示。
LDRA与开发工具包和其编译器和IDE一起使用，以测试安全和安全关键的应用程序。资源：LDRA.
LDRA已签署了与PTC类似的协作协议，以简化其产品生命周期管理框架Windchill RV＆S中的软件工程和质量分析。“这种集成使软件开发人员能够创建安全关键的应用程序，测试应用程序，分析代码和在Windchill产品中提供的信息，”McleOy说。
LDRA工具套件和Windchill RV＆S产品集成由LDRA启用TBManager.，它采用基于规则的可追溯性和验证活动方法。组合解决方案自动化软件分析和验证，并从要求提供双向可追溯性到源代码。
Windchill RV＆S服务的市场包括汽车，医疗和一些工业，防御和航空应用。“LDRA Toolkit促进了自动化，效率和生产力，因此Windchill用户可以测试他们的软件，收集结果，并将其放回框架中，”Mcleoy添加。
在当今的合作世界中，工具包之间的上述绑定尤为重要，其中所有信息都在云中提供，人们需要分享该信息。看来软件如何从发展角度来看，软件如何成为全球的协作方法也很有趣。
本文最初发布edn.。
Majeed Ahmad.是EDN主编，覆盖了电子设计行业的二十多年了。
相关文章：