青蛙学 / 可可 / 安全关键软件的工具鉴定套件

安全关键软件的工具鉴定套件

一个定制的,全面的鉴定工具,可以确保您的测试过程符合安全标准,从而获得信心。

对于安全关键型软件,例如与汽车系统中的电子系统相关的软件,安全协议要求测试过程中涉及的工具必须经过认证才能达到此类标准。因此,froglogic提供了Squish 可可的工具资格认证工具包,这是一种全面的,程序化的方法,可根据用户的流程,测试环境和与软件相关的安全协议量身定制工具的行为。我们提供的每个套件都是根据具体情况设计的,完全根据您软件的安全性进行了定制,并生成了一组文档,可以提供给相应的机构以进行工具鉴定,以达到安全性关键标准。

青蛙学提供适用于多种标准的工具鉴定套件,包括:

  • ISO 26262:道路车辆– Functional Safety
  • EN 50128:铁路应用
  • DO 178C:机载系统
  • IEC 61508:与电气/电子/可编程电子安全相关的系统的功能安全
  • IEC 62304:医疗设备软件–软件生命周期过程
  • ISO 13485:医疗设备–质量管理体系
鉴定工具包标准

这个怎么运作

青蛙学与客户一起设计定制的工具合格报告,该报告可以作为成功的工具合格过程的证明来提供。该报告基于客户的具体用例和标准要求,是与客户和froglogic共同编写的,详细介绍了认证过程中的综合,程序步骤。其中包含对Squish 可可的描述,用户使用该工具时需要采取的安全措施以及用户必须执行的测试列表,以确保Coco在其系统上正常工作。然后,froglogic为每个客户提供 验证器 程序,该程序根据客户的特定用例指导的自定义配置,针对Coco执行这些测试。验证成功后,验证器将发出报告,以审查测试套件的通过和失败状态。

可可工具认证工具包要求页面
可可工具认证工具包报告页面

好处

建立信任并获得测试工作流程所需的信心。

使用工具鉴定工具包有几个好处,主要是:

  • 更加确保您在开发过程中使用Coco。
  • 节省大量成本,与准备标准所需的自定义报告所需的时间有关。
  • 减少与人工资格相关的人为错误的可能性。
  • 资格认证工具包的结果可作为内部和外部文档,并使团队的测试过程完全透明。
  • 在有关安全关键标准的控制机构进行例行审核时,您可以放心。

请与我们联系以了解有关froglogic的工具资格认证套件如何帮助您部门保持其安全认证的更多信息





复制链接