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

X
工业自动化

工业自动化软件解决方案

工业自动化软件开发和测试

IEC61508及其衍生标准等功能安全标准要求组织证明软件和安全要求得到满足并经过全面测试。30多年来,Parasoft一直通过所需的最佳实践(如单元测试、测试覆盖率、软件度量、可追溯性和静态代码分析,内置对MISRA、CERT和其他自动化行业编码标准的支持)来帮助组织遵循这些标准。

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

管理增加的安全风险

工业自动化系统(以及为其提供动力的软件)变得越来越紧密,不再使用私有网络,而是越来越依赖公共互联网将传感器连接到关键基础设施控制和后端企业系统。互联网在增强系统灵活性的同时,也带来了新的威胁和复杂性。由于控制软件中的任何安全漏洞,存在着恐怖分子利用该过程中不可预见的情况来攻击的风险。Parasoft C/C++test提供了市场上最全面的安全软件测试解决方案,因此组织可以开发和发布风险更低的软件。

解决现代发展和连接日益复杂的问题

多层工业物联网(IIoT)解决方案需要不同的技术和工具来实现和测试每一层的软件。底层传感器和执行器很可能是用C和C++开发的,而上层是用Java或C#实现的。连接性增加了使用不同协议将消息传播到最终用户的多个组件的复杂性。Parasoft提供测试工具来解决每一层复杂性,并与复杂的报告和分析无缝集成,以帮助组织管理这种不断增长的复杂性。

符合IEC61508及其衍生标准

为了达到所需的功能安全级别,许多组织选择开发符合IEC 61508标准的工业自动化系统,该标准要求严格的软件开发和测试流程。Parasoft的自动化软件测试工具通过提供高效实现合规性所需的自动化工具,以及简化文档工作的集中式报告系统,降低了IEC61508合规性的成本。

Parasoft工业自动化解决方案

Parasoft的集成工具套件为团队提供了一种实用的方法来防止、暴露和纠正错误,以确保他们的C和C++代码按预期工作并符合要求。为了促进快速修复,检测到的每个问题都根据可配置的严重性分配进行优先级排序,自动分配给编写相关代码的开发人员,并通过指向有问题代码的直接链接和如何修复它的描述分发给他或她的IDE。对于嵌入式和跨平台开发,您可以在基于主机和基于目标的代码分析和测试流程中使用C/C++test。

Parasoft C/C++test帮助工业自动化软件开发团队满足IEC61508标准定义的软件开发和验证流程要求。当通过C/C++test自动化的各种测试和代码分析类型的结果被处理时,智能分析被报告为显著减少软件验证所需的工作。

Parasoft C/C++test帮助组织实现代码符合编码标准,以提高代码质量,它拥有市场上数量最多的内置检查器(规则),用于验证是否符合MISRA C 2012、MISRA C++ 2008、AUTOSAR C++14、HIC++等标准。

为了实现安全编码最佳实践和安全代码合规性,Parasoft C/C++test为内置检查器提供了最全面的支持,用于验证是否符合CERT C、CERT C++、UL 2900、CWE等安全标准。

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

Parasoft通过提供专门的报告,最大限度地降低了编码标准合规流程的成本。合规性报告为用户提供了合规性流程的动态视图,有助于根据原始编码标准的分组和分类对静态分析违规的结果进行优先级排序。

合规文件是证明合规的必要文件。当生成的报告和文档符合自动化行业中非常流行的MISRA 2016标准时,自动生成它可以为团队节省宝贵的时间。

Parasoft C/C++test通过分析代码的执行路径并找到潜在的bug,在开发阶段早期检测复杂的类似运行时的问题。除了2200多个规则和检查器之外,Parasoft 还使团队可以使用特殊的编辑器轻松验证组织特定的编码指南,以创建自定义检查器以扩展(或替换)该工具提供的内置规则。使用Parasoft C/C++test,用户无需编写任何脚本,组织特定的编码指南可以完全自动化,以取代合规性验证的手动过程。

Parasoft C/C++test的便捷视图和图形编辑器减少了单元测试用例创建和维护的手动工作,其单元测试框架的设计考虑了安全关键软件测试。带有测试软件激励值的存根和测试用例可以作为源代码创建,或者使用具有源代码生成功能的图形编辑器创建。用户可以存储和审查创建的测试工件以及项目文件。用于测试软件模拟的变量和输入参数的初始化以与生产软件操作期间完全相同的方式完成,使得该方法可靠且稳健。

如果与存根/模拟框架一起使用,单元测试会更加容易和高效。Parasoft C/C++test用于创建存根和模拟的强大模块有助于故障注入测试,减少测试代码的依赖性,并使用户能够轻松地删除尚未实现的源代码。

Parasoft C/C++test支持开发安全关键软件时通常需要的所有覆盖指标(语句、分支、MC/DC、函数、调用、路径、简单条件、行和块),显示所有测试级别的代码覆盖率结果,包括单元、集成和系统级测试。

C/C++test减少了分析覆盖率结果和发现测试过程中的差距所需的时间。开发人员可以用动态视图查看IDE中的代码覆盖率结果,并根据指标、函数/方法或特定测试用例过滤结果。

Parasoft与需求管理系统集成,以提供可追溯性报告,显示需求与以下内容之间的相关性:

  • 为实现这些需求而创建的源代码。
  • 为测试需求而创建的测试用例。
  • 已执行测试的结果。
  • 代码覆盖率结果。

可追溯性报告提供了关于开发进度的清晰完整的信息。团队可以很容易地确定已经实现了多少需求,以及它们被测试的有多彻底。

Parasoft C/C++test可以与基于模型的开发工具集成,如Matlab/Simulink或IBM Rational Rhapsody,验证从模型生成的源代码是否符合编码标准,并使用来自模拟引擎的数据集执行动态验证,然后呈现代码覆盖结果。

Parasoft C/C++test通过TÜV SÜD认证,适用于开发符合IEC 61508标准的安全关键软件。对于具有较高风险的项目,Parasoft C/C++test的鉴定套件将工具认证过程的重要部分自动化,减少了手动工作量并消除了软件团队的这种分心。

专用认证支持工具指导用户完成认证工具所需的所有步骤,自动完成认证工具所需的大部分繁琐的手动工作,包括执行与认证套件一起提供的测试套件中的测试案例,以及生成记录认证流程所需的最终报告。

从Parasoft中受益

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

从具有多种测试实践的统一工具中受益

Parasoft C/C++test满足IEC 61508中列举的多种软件测试要求。该解决方案的全面性降低了学习和设置工作量。开发人员不必学习几种工具,可以专注于他们的核心活动。工具集成商或架构师节省了在工具之间实现接口以交换数据和生成统一报告所花费的时间。

使用适合安全关键应用的工具架构

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

利用IEC61508专用的认证套件提高效率

Parasoft C/C++test支持专用IEC61508认证套件,符合工具认证过程的标准要求。Parasoft 的自动化认证支持工具不仅以收集测试用例和模板的形式为需要大量定制的脚本和报告提供认证帮助,而是指导用户完成认证工具所需的所有步骤,并自动化大多数鉴定该工具所需的繁琐手工工作。这包括从所提供的详尽测试套件中执行测试用例,以及生成记录认证过程所需的最终报告。

“Parasoft的解决方案正在教我们成为更好的程序员。它帮助我们发现了我们甚至没有意识到是错误的错误。Parasoft的解决方案为全球建模和分析团队节省了时间和资源,否则我们将花费这些时间和资源来查找和修复缺陷。相反,我们可以花时间添加新特性和功能。”

- Trane

为什么选择Parasoft?

30多年来,Parasoft一直在提供创新工具,通过集成静态和运行时分析,减少交付安全、可靠和合规软件的时间、精力和成本;单元测试、功能测试和API测试;和服务虚拟化。通过为工业自动化测试团队提供同类最佳的技术来自动化和改变他们的测试策略,Parasoft客户能够满足并超越他们的敏捷和DevOps交付目标。

采取下一步行动

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

立即联系我们