Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>
Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>
EN50128“铁路应用-通信、信号和处理系统”是欧洲流程标准。它包含技术要求以及程序、原则和措施,以确保在存在安全隐患的情况下开发被认为是安全的软件。在铁路上运行的软件控制可编程电子系统(在轨道上和列车侧),使用专用微处理器、可编程逻辑控制器、多处理器分布式系统、大规模中央处理器系统或其他架构来实现。
通过Parasoft C/C++test及其自动化软件测试工具套件,有效且高效地达到EN 50128标准。30多年来,Parasoft 一直通过所需的最佳实践(如需求可追溯性、静态代码分析、动态分析、单元测试、软件指标、软件主机或目标硬件验证和确认、完整结构代码)帮助组织满足严格的标准覆盖、功能/黑盒测试和接口测试。
利用Parasoft C/C++test通过自动化标准所需的多种测试方法,减少实现EN50128合规的成本和工作量。我们的自动化软件测试工具套件也节省了时间。自动生成的报告和仪表盘为团队提供了一种实用的方法来防止、暴露和纠正软件中的错误,并准备审计所需的文档。
Parasoft C/C++test促进了EN50128第6节“软件保证”中规定的软件测试方法的自动化,该节为铁路软件生命周期定义了一组软件测试过程和目标。每个目标都在标准的以下小节中定义:
Parasoft C/C++test是市场上唯一的软件开发和测试解决方案,包括广泛的测试方法,以最大限度地提高效率和改进结果。
表A.5 | EN50128 – 验证和测试 | Parasoft支持 |
1 | 形式证明 | Parasoft DTP |
2 | 静态分析 | Parasoft C/C++test |
3 | 动态分析 | Parasoft C/C++test |
4 | 指标 | Parasoft C/C++test |
5 | 可追溯性 | Parasoft C/C++test & DTP |
6 | 软件错误影响分析 | Parasoft DTP |
7 | 代码的测试覆盖率 | Parasoft C/C++test |
8 | 功能/黑盒测试 | Parasoft C/C++test |
9 | 性能测试 | Parasoft C/C++test |
10 | 接口测试 | Parasoft C/C++test |
Parasoft针对C和C++软件的开发测试解决方案有助于EN50128在铁路应用中的应用。了解Parasoft如何让团队为嵌入式系统编写更好的代码,并更有效地进行测试。
Download