LDRA 工具套件
LDRA 软件工具和服务可提高开发人员的工作效率和软件质量,同时减少整体项目进度和成本。LDRA 工具套件是一个灵活的平台,用于以加速、经济高效和需求驱动的流程生产安全、安保和任务关键型软件。该工具套件的开放和可扩展架构在几乎任何主机或目标平台上集成了软件生命周期可追溯性、静态和动态分析、单元测试和系统级测试。
LDRA 软件工具和服务可提高开发人员的工作效率和软件质量,同时减少整体项目进度和成本。LDRA 工具套件是一个灵活的平台,用于以加速、经济高效和需求驱动的流程生产安全、安保和任务关键型软件。该工具套件的开放和可扩展架构在几乎任何主机或目标平台上集成了软件生命周期可追溯性、静态和动态分析、单元测试和系统级测试。
LDRA工具套件是LDRA的旗舰平台,提供开放且可扩展的解决方案,用于将质量构建到从需求到部署的软件中。该工具套件提供了一系列功能,包括需求可追溯性、测试管理、编码标准合规性、代码质量审查、代码覆盖率分析、数据流和控制流分析、单元/集成/目标测试以及认证和法规支持。
该工具套件使安全和安保关键软件开发团队能够根据以下方面的严格标准获得认证或批准:
· 航空航天与国防(DO-178B/C、DO-254、DO-278、Def Stan 00-56)
· 汽車(ISO 26262, ISO/SAE 21434, Automotive SPICE)
· 工业和能源(IEC 61508、IEC 62443-4-1、IEC 60880、ISO 13849)
· 医疗 (IEC 62304)
· 铁路运输 (EN 50128)
该工具套件的核心组件有多种配置可供选择,以满足常见的软件开发需求。一套全面的附加功能可用于为任何项目定制解决方案。
LDRA工具套件的核心组件是:LDRA Testbed,TBvision,TBrun和TBmanager。
LDRA 测试平台与 TBvision 一起提供基础静态和动态分析引擎,以及可视化引擎,可轻松理解和导航标准合规性、质量指标和代码覆盖率分析。TBrun 为单元测试和集成测试提供测试用例管理和自动执行。TBmanager 在项目验证工作流程中自动实现标准目标、要求、设计文档、源代码、测试和相关工件之间的可追溯性。
LDRA和LDRA工具套件都经过认证。LDRA保持ISO 9001认证已超过25年。LDRA 工具套件已通过 SGS-TÜV 萨尔和 TÜV SUD 的批准,符合以下功能安全标准:
· IEC 61508:2010 电气/电子/可编程电子安全相关系统的功能安全
· ISO 26262:2011 道路车辆 功能安全
· IEC 62304:2015-06 医疗器械软件 - 软件生命周期流程
· EN 50128:2011 铁路应用.通信、信号和处理系统.铁路控制和保护系统软件
此外,还提供工具认证支持包 (TQSP) 来简化证明符合功能安全标准(如 DO-178C)的过程,这些标准不允许使用认证组织的证书。
以下是 LDRA 工具套件当前支持的语言和平台的部分列表。
| |
C | |
C++ | |
Java | |
Ada95 |
制造商名称 | 处理器名称 | 编译器/工具链 |
Atmel | ATmega128 | WinAVR |
Atmel | TSC695 (ERC32) | GNU |
Intel | 80×86 | MASM |
Intel | 80C196 | Intel |
Intel | MCS251 | Intel |
NXP | MPC5674 | WRS Diab |
NXP | MPC603e | WRS Diab |
NXP | MPC603e | GNU |
NXP | MPC74XX | GHS MULTI |
NXP | MPC74XX | GHS AdaMULTI |
NXP | MPC74XX | GHS MULTI |
NXP | MPC8260 | WRS GNU |
NXP | MPC8349E | GHS MULTI |
NXP | MPC85XX | EDS |
NXP | MC68HC11 | EDS |
NXP | MC68881 | Cosmic C Cross Compiler for S12X |
NXP | MC9S12 | WRS Diab |
NXP | P1011 | Microchip MPLAB XC Compiler |
Microchip | dsPIC®33 | DDC-I TADS – 1750A 6.1 |
MIL | RH-1750A | PSS C17 Integrated Tool Set |
MIL | RH-1750A | IAR |
NXP | LPC2294HBD144 | GHS MULTI |
PMC-Sierra | MIPS MSP 8520 | TI CCS |
TI | TMS320C2xxx | TI CC |
TI | TMS320C3x |
主机平台 |
Windows 11/10/8/7/Vista/XP |
Linux (RHEL/CentOS, Ubuntu, SUSE/openSUSE) |
MAC |
开发工具 |
Altera |
Analog Devices VisualDSP |
Atego ObjectAda |
Atmel Studio |
ARM DS-5 Development Studio |
Cosmic ZAP & IDEA |
DDC-I Open Arbor |
Freescale CodeWarrior |
GNU |
Green Hills MULTI & INTEGRITY |
IAR Embedded Workbench |
iSYSTEM winIDEA |
Keil µVision |
Lauterbach TRACE32 |
MathWorks Simulink |
Mentor Graphics |
Microchip MPLAB & MPLAB X |
QNX Momentics |
Renesas |
TASKING |
TI Code Composer Studio |
Wind River Tornado, Workbench supporting VxWorks, Diab |
Xilinx |
支持的微处理器和微控制器 |
Altera – NIOS, ARM |
Analog Devices – SHARC, Blackfin, ADSP-xxx, ARM |
ARM Cortex A/R/M |
Infineon – TriCore, C166, ARM |
Intel – 8051, 80C196 |
Microchip / Atmel – PIC, dsPIC, ATmega, SAM |
NXP / Freescale – LPCxxxx, S32, HCxx, MC68K, MPC5xx, 6xx & 8xx |
PowerPC – 5xx, 6xx, 7xx & 8xx |
Renesas – RH850, RL78, RX, ARM |
ST – STM32, SPC5, Stellar |
TI – MSP430, TMS320, TMS570, ARM, C6000 |