彩票走势图

行业认证标准支持(七):Parasoft Services帮助实现IEC 61508合规性

原创|行业资讯|编辑:郑恭琳|2020-10-30 13:35:17.743|阅读 237 次

概述:IEC 61508被认为是功能安全的基本或“通用”国际标准。IEC 61508可应用于任何类型的与安全相关的电气/电子产品。Parasoft用户可以通过自动执行标准所需的多种测试方法来节省时间和精力,从而利用Parasoft C/C++test降低符合IEC 61508的成本。

# 慧都年终大促·界面/图表报表/文档/IDE等千款热门软控件火热促销中 >>

相关链接:

什么是IEC 61508

IEC 61508被认为是功能安全的基本或“通用”国际标准。IEC 61508可应用于任何类型的与安全相关的电气/电子产品。工业部门应根据需要提供自己的特定标准文档和指南(例如,汽车中的ISO 26262)。IEC 61508涵盖了关键安全系统的整个安全生命周期。它包含4个规范性部分(1-4)和3个信息性或“准则”部分(5-7)。IEC 61508的认证是可选的——该标准没有特别要求。

IEC 61508技术标准引入了安全完整性等级(SIL)的概念。SIL可以采用四个级别之一(SIL1-SIL4),这四个级别对应于给定安全功能的目标危险故障可能性。与安全相关的系统中的每个安全功能都需要分配适当的安全完整性级别。与E/E/PE安全相关的系统通常将实现多个安全功能。如果这些安全功能的安全完整性要求不同,则除非它们之间的实现有足够的独立性,否则适用于最高相关安全完整性级别的要求将适用于整个E/E/PE安全相关系统。

通过源代码分析、单元测试、可追溯性等来增强IEC 61508的合规性

Parasoft用户可以通过自动执行标准所需的多种测试方法来节省时间和精力,从而利用Parasoft C/C++test降低符合IEC 61508的成本。Parasoft C/C++test帮助工业自动化软件开发团队满足IEC 61508标准定义的软件开发和验证过程要求。当处理通过Parasoft C/C++test自动化的各种测试和代码分析类型的结果时,将报告智能分析,从而大大减少了软件验证所需的工作。


Parasoft Services如何帮助实现IEC 61508合规性

Parasoft C/C++test是一个集成开发测试解决方案,用于自动化广泛的最佳实践,这些最佳实践被证明可提高软件开发团队的生产力和软件质量,其中包括:

  • 静态分析:监控编码标准的遵从性,并在SDLC早期预防缺陷,包括消除构成安全威胁的软件结构

  • 单元测试:在主机或目标上创建并执行测试

  • 覆盖率指标分析:确定差距测试、需求和代码覆盖率

  • 运行时错误检测:检测内存访问错误、泄漏、损坏等


这些技术为团队提供了一种预防,暴露和纠正错误的实用方法,以确保其CC++代码能够按预期工作并符合要求。为了促进快速补救,根据可配置的严重性分配对检测到的每个问题进行优先级排序,将其自动分配给编写相关代码的开发人员,并通过直接链接到有问题的代码以及如何解决该问题的说明将其分发给他或她的IDE。对于嵌入式和跨平台开发,C/C++test可用于基于主机和基于目标的代码分析和测试流程。


集成在一个工具中的多种测试方法

与其他软件测试产品提供的零散工具相反,Parasoft C/C++test满足IEC 61508规则强加的多项软件测试要求。Parasoft解决方案的全面性可降低学习和设置工作量。开发人员不必学习多种工具,而可以专注于其核心活动。工具集成商或架构师可以节省他们的时间,否则这些时间将花费在实现工具之间的接口上,以交换数据和生成统一的报告。


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

Parasoft C/C++test在设计时考虑了安全性至关重要的应用程序。在执行单元测试或运行时内存监视时,构建测试二进制文件所需的所有组件(包括用于测试代码刺激和存根的测试用例)均以源代码的形式表示,并且可以进行版本控制和检查。

与其他工具相比,该方法具有优越性,在其他工具中,测试代码的激励是在运行时从主机发送的,并且在分配给内存中的变量之前需要进行额外的转换。通过以源代码的形式表示所有测试工件,Parasoft C/C++test除去了不必要的层,并确保执行测试之前的存储器状态与生产系统中的构造方式相同。


先进的可编程报告

与其他具有封闭报告模块的工具不同,Parasoft C/C++testParasoft复杂的报告和分析平台集成在一起,可实现全团队范围的数据汇总、便捷的报告和高级分析。报告和分析中心提供来自不同源(例如源代码或需求管理系统、测试工具或ALM)的相关信息的汇总视图。

将这些信息关联在一起可以为用户提供新颖的数据分析功能,从而以最有效的方式更有效地集中精力。用户可以通过监视开发过程中的趋势来提高生产力,并自动生成符合行业标准的报告,例如MISRA Compliance: 2016”(广泛用于各个行业)。


工具资格

Parasoft C/C++test已通过TÜVSÜD认证,适合在开发IEC 61508安全关键系统时使用。我们的TÜV认证涵盖了所有安全完整性等级(SIL)的C/C++test资格。为了支持其他行业标准,Parasoft拥有IEC 61508认证套件,可自动执行工具鉴定过程的重要部分,从而减少了人工工作量,并消除了软件技术团队的分心。


白皮书

使用Parasoft满足SIL要求

IEC 61508功能标准降低了软件风险。阅读本文档以了解Parasoft如何帮助软件开发团队满足特定SIL级别的要求。它可以帮助您了解IEC 61508标准定义的SIL,并演示如何使用Parasoft满足特定SIL级别的软件开发过程要求。


点击下载白皮书


标签:行业认证标准

本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@capbkgr.cn


为你推荐

  • 推荐视频
  • 推荐活动
  • 推荐产品
  • 推荐文章
  • 慧都慧问
扫码咨询


添加微信 立即咨询

电话咨询

客服热线
023-68661681

TOP