Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>

X
轨道交通

轨道交通解决方案

铁路轨交软件开发和测试

铁路轨交行业为了简化货运和客运运营正在进行数字化转型。它旨在降低成本,建设提供实时铁路和乘客流动信息的智能列车和火车站,来支持交通部门,并通过为旅行者提供选择最智能、最简单的旅行和支付选项的工具来改善乘客体验。

与其他工具供应商相比,,Parasoft在安全和安全攸关市场中完善的测试解决方案为铁路轨交标准提供了更好的支持。我们的解决方案易于采用。它们帮助团队遵守铁路行业的主要标准(CENELEC EN-50128)以及安全和安保编码标准,如MISRA、AUTOSAR C++ 14、CERT、CWE和OWASP。

应对当今的现代软件开发挑战

Parasoft中国官网 | 轨道交通

降低符合合规的成本

Parasoft C/C++test为铁路轨交行业提供统一的自动化软件测试解决方案,包括支持安全流程标准(如EN 50128)和其他监管要求(如CERT、CWE、MISRA和AUTOSAR)。Parasoft解决方案提高了软件测试的生产力,降低了将合规性引入开发过程的障碍,并减少了审核所需的报告和文档的资格和额外的工作量。

Parasoft中国官网 | 轨道交通

使用安全编码标准保护您的应用程序

铁路轨交公司及其原始设备制造商(OEM)可以实施Parasoft以安全为中心的测试套件提供的测试解决方案,包括源代码测试、单元测试、 API 测试、Web UI 测试和服务虚拟化。使用静态分析创建代码,使软件从一开始就符合CERT C、CERT C++和CWE等安全标准。不要冒险等到最后才发现自己的安全漏洞和安全缺陷。

Parasoft中国官网 | 轨道交通

建设互联铁路和火车站

现代列车控制系统包含连接铁路、监控实时列车运行、提供事故警报、预测维护以及执行许多其他重要活动的软件。火车站也是这个互联生态系统的一部分,它有入口/出口门,自动售票机,以及供旅行者查看时刻表和地图并支付车费的应用程序。开发这些多样且相互关联的关键软件应用程序需要完整的安全测试解决方案。

Parasoft的铁路轨交行业解决方案

技术正在推动铁路动轨交行业的变革步伐。借助部署在网络和轨道车上的智能传感器,智能和可操作的信息是关键。这些互联技术可以检查轨道,并自动控制轨道车的行为,如打开和关闭车门。数据库聚集了先进的算法和数据分析软件,减少了人为错误和限制对铁路运营的影响,提高了安全性和效率。移动应用程序将决策权放在了旅行者的手中,这也增强了他们的体验。所有这些收集的数据和乘客隐私必须得到保护。

通过Parasoft C/C++test实现EN 50128合规性,该测试提供了标准要求的以下测试技术:

  • 静态分析
  • 动态分析(SIL 0-4)
  • 测试覆盖率(SIL 0-4)
  • 软件验证(可追溯性)
  • 软件验证(主机和目标硬件)
  • 需求可追溯性(需求-测试案例-代码)
  • 功能/黑盒测试
  • 接口测试
  • Parasoft C/C++test已通过TÜV SÜD认证(SIL 0-4)

使用Parasoft C/C++test安全编码标准测试达到代码合规性。它提供了一组内置的检查器(规则)来验证是否符合CERT C、CERT C++、CWE、OWASP等标准。这些标准在开发阶段早期检测复杂的类似运行时的问题,而不需要执行昂贵的运行时测试。它们帮助用户识别安全漏洞和不正确的编码结构,并了解特定风险领域。

使用Parasoft C/C++test满足代码合规性并提高代码质量,该工具提供了比其他工具供应商更全面的支持,适用于MISRA C 2012、MISRA C++ 2008、AUTOSAR C++14、HIC++等编码标准。组织可以通过C/C++test降低满足法规遵从性流程的成本。我们的开发测试工具提供了专门的合规性报告,可以动态查看合规流程并根据原始标准的分组和分类分析违规行为。Parasoft还提供工具来自动生成证明合规性所需的文档。

“MISRA”、“MISRA C”及MISRA Consortium Limited的注册商标。 ©The MISRA Consortium Limited, 2021。 保留所有权。

Parasoft C/C++test的单元测试功能包括一个强大的存根和C mocking框架,专为考虑到安全关键软件测试的嵌入式工程师而设计。嵌入式工程师可以创建测试用例作为源代码,以便完全控制或使用图形编辑器自动获得语句、分支、MC/DC和目标代码的结构化代码覆盖。这些功能易于使用,减少了实现单元测试框架的负担,提高了开发人员的生产力。

Parasoft与codeBeamer、Polarion和CollabNet VersionOne等需求管理工具集成,以实现测试用例并提供测试验证结果。这种集成完善了可追溯性矩阵,并有助于满足流程标准的合规性。Parasoft的工具套件提供可追溯性报告,并显示需求和工件之间的依赖关系,包括:

  • 测试用例
  • 源代码
  • 测试用例执行结果
  • 代码覆盖率结果
  • 静态分析结果

Parasoft C/C++test已通过TÜV SÜD认证,用于开发安全关键软件。对于具有较高风险级别的项目,您可以使用Parasoft C/C++test鉴定套件来自动化工具鉴定过程的重要部分。专门的认证支持指南提供了认证该工具所需的所有步骤,并自动化了大部分繁琐的手动工作。这包括执行与认证套件一起提供的详尽测试套件中的测试案例,并生成记录针对EN 50128标准的认证流程所需的最终报告。

从Parasoft中受益

在不牺牲上市时间的情况下降低开发高质量软件的成本。

多种测试技术集成在一个工具中

C/C++test满足了EN 50128规定的多个软件测试要求,而不是多个分散的解决方案。Parasoft的全面解决方案减少了开发人员的学习和设置工作。他们不用学习多款工具,而是可以更专注于他们的核心职责。管理者也会从中受益,节省了实现工具间接口以交换数据或生成统一报告的时间。

用于安全和安全关键应用的软件测试工具

Parasoft C/C++test的设计考虑了安全和安全关键应用。当执行单元测试或运行时内存监控时,构建测试二进制代码(包括测试代码的测试用例)、模拟和存根所需的所有组件都以源代码的形式表示,并且可以进行版本控制和检查。通过以源代码的形式表达所有测试工件,C/C++test确保了在执行测试之前,内存的状态是以与生产系统中相同的方式构建的。

CENELEC EN 50128的TÜV SÜD证书

C/C++test已通过TÜV SÜD认证,可用于安全关键软件,并配有针对高风险软件的认证套件。Parasoft的专用认证支持工具可指导用户完成认证工具所需的所有步骤,并自动完成大量繁琐的手动工作,包括从详尽的测试套件中执行测试用例,并生成记录认证过程所需的最终报告,以满足铁路行业安全标准 EN 50128。

为什么选择Parasoft?

Parasoft支持完整的端到端软件测试自动化,以实现经济高效的软件交付。从静态分析到运行时自动化主机和目标测试环境,Parasoft提供了您需要的测试工具,以确保您的软件开发方法中的软件验证和确认。我们的工具与报告和分析平台相集成,可确保合规性并简化软件交付的审查和审计。

采取下一步行动

了解我们如何帮助您提高软件质量。我们来聊聊吧。

立即联系我们