• Parasoft与 IAR Systems开发工具集成


    前不久Parasoft与IAR Systems对功能安全认证的线上研讨会获得了不错的反响,需要研讨会视频回放的小伙伴可以留言给到我们~这次我们来详细看看Parasoft与 IAR Systems开发工具的集成。

    IAR Systems是全球知名的嵌入式开发软件工具和服务提供商,致力于确保嵌入式应用程序的质量、可靠性和效率。结合Parasoft针对嵌入式安全和安全关键系统的测试解决方案,可以创建一个全面的解决方案,帮助公司验证和确认这些软件系统。多年来,这种强有力的合作关系并非巧合,而是厂商之间年复一年地将工具链集成保持同步。

    01  集成概述

    Parasoft C/C++test可以作为Eclipse插件安装在现有的Eclipse环境中,或者与Eclipse捆绑在独立的版本中。有几种使用C/C++test来测试IAR Systems项目的场景。用户能够使用:

    • IAR Embedded Workbench IDE可以将他们的项目导入到C/C++test中(Eclipse)。

    • IAR Systems Eclipse插件可以将C/C++test Eclipse插件添加到他们的工作环境中,并直接测试IAR Systems Eclipse插件项目。

    • IAR Systems的Linux for Arm构建工具可以导入他们的项目到C/C++test独立版本(Eclipse)或C/C++test扩展Visual Studio代码编辑器中,或者可以利用C/C++test的命令行界面。

    02  静态分析的安全性能

    Parasoft C/C++test中的静态分析准确地暴露了行业中最广泛的缺陷、漏洞和不合规问题。由Parasoft提供的C/C++静态代码分析能够:

    • 通过完整的路径分析,帮助您快速发现和修复代码缺陷,从而准确地检测违规。

    • 支持预防性(模式)和检测性(基于流的)静态分析技术,以及一套全面的代码结构指标。

    • 支持市场上最全面的规则覆盖和专门的合规报告。

    • 提供跨团队和全面可见的合规:AUTOSAR C++14, MISRA C 2012, MISRA C++ 2008, CERT C/C++,CWE, HIC++等等。

    • 支持使用通过专利的RuleWizard模块来自定义规则创建。

    • 与最流行的CI/CD系统和平台集成,让部署更容易。易于配置和自动化,无干扰,并且支持跨多个团队扩展

    • 提供统一的报告和合规性审计,包括包括针对编码标准的专用合规性报告和流程管理。

    03  IAR构建工具在LINUX中的运用

    IAR在Linux中的运用使用了IAR Embedded Workbench的完整构建工具:

    • IAR C/C++ Compiler

    • IAR Assembler

    • 链接器和库工具

    • 命令行构建工具,IARBuild

    • 运行程序库

    Parasoft支持的IAR Systems编译器

    编译器

    编译器标识符

    IAR C/C++ Compiler for Arm

    v. 6.6x

    IAR Build Tools for Linux for Arm

    v.8.50.x

    IAR C/C++ Compiler for M16C & R8C

    v. 3.5x

    IAR C/C++ Compiler for MSP430

    v. 6.1x

    IAR C/C++ Compiler for RX

     v. 2.5x

    IAR C/C++ Compiler for STM8

    v. 1.4x

    IAR C/C++ Compiler for RL78

    v. 3.10.x

    04  IAR Embedded Workbench

    IAR Embedded Workbench为您提供了一个完整的集成开发环境。所包含的IAR C/C++编译器可以生成业内最快的、最紧凑的代码。IDE中包含的C-SPY调试器是一个完全集成的调试器,具有性能分析、功率可视化和RTOS感知功能。

    特点:

    • 领先的优化技术能够创造更小、更快、更智能的代码。

    • 全面地调试功能。

    • 电源调试,最小化功耗。

    05  Parasoft和IAR Systems支持Docker容器

    容器化部署近期在嵌入式团队中开始流行起来——尤其是使用容器管理工具链的大型团队。

    使用Parasoft和IAR Systems,用户可以利用提供的模板和docker文件配置脚本示例,将这两个工具链集成到他们的环境中。

    06  以有效的方式持续集成和持续交付

    通过将Parasoft C/C++test和IAR Systems开发工具无缝集成到您的CI/CD管道,减少测试所需的时间和精力。

    我们的工具不仅可以集成到CI/CD管道中,还可以部署在用于动态构建环境的容器中。

    07  需求可追溯

    通过将测试、源代码和代码覆盖率与需求双向链接的能力,Parasoft的报告仪表板提供了功能安全标准所需的需求实现状态和可追溯性的全部细节。

    08  功能安全和合规性

    Parasoft C/C++test和IARSystems开发工具为您提供符合行业标准所需的一切。

    09  TÜV SÜD认证

    Parasoft C/C++test和IAR Systems开发工具通过TÜV SÜD根据IEC 61508、IEC 62304、ISO 26262和EN 50128标准的功能安全认证,帮助开发团队达到所需的安全完整性水平(SIL/ASIL)。工具鉴定套件同样可用于DO-178B/C。

    10  采取下一步行动

     想要了解更多关于IAR Systems的构建工具和Parasoft的嵌入式软件测试解决方案如何简化现代开发工作流程,并确保安全、可靠和可靠的应用程序。赶快联系我们吧~

  • 相关阅读:
    Redis7--基础篇3(持久化)
    dart、flutter学习记录
    AIGC独角兽官宣联手,支持千亿大模型的云实例发布,“云计算春晚”比世界杯还热闹...
    【解决问题】413错误 413 Request Entity Too Large 接口返回413 报413nginx
    JavaScript:if()表达式和==原理
    BUUCTF WEB filejava
    性能优化:如何高效使用虚拟DOM
    车船边缘网关是如何给车辆船只定位的?
    C#数据类型:object、var和dynamic的比较与应用
    【必知必会】手把手教你配置MySQL环境变量——图文详解
  • 原文地址:https://blog.csdn.net/u012254369/article/details/126408778