公司介绍人才招聘新闻中心团队风采市场活动行业动态第一性原理计算软件:ASAP跨尺度分子动力学模拟软件:J-OCTA复合材料多尺度建模与仿真软件:Digimat复合材料工程软件:Fibersim工业CT数据分析与可视化软件:VG三维可视化及分析软件:AVIZO材料计算与多尺度建模软件复合材料缠绕工艺仿真软件:CADfil金属材料加工工艺仿真软件:Simufact自动化数控编程软件:Edgecam数控加工一体化解决方案:NCSIMUL多物理场仿真软件:Inspire工艺仿真优化与智能制造软件数字孪生与机器学习大数据优化软件:ODYSSEE通用多学科多目标优化平台:HEEDS多物理场仿真软件:HapMat - Multi传动系统设计仿真工具:Romax Nexus系统、软件、光学、虚拟现实解决方案:Ansys SBU声学与NVH解决方案:Actran多体动力学仿真解决方案:Adams全参数快速优化工具:SFE CONCEPT高级控制与系统仿真:Easy5系统级仿真软件:Simcenter Amesim电池设计软件:Simcenter BDS轮胎仿真软件:Simcenter Tire智慧研发一体化解决方案高级非线性仿真解决方案:Marc多学科 FEA 解决方案:MSC Nastran基于有限元的耐久性解决方案:MSC Fatigue专业的土木工程结构分析软件:CivilFEM完整的FEA建模解决方案:Patran用于虚拟产品开发的统一CAE环境:Apex用于桌面系统的多学科仿真:MSC Nastran Desktop结构有限元与疲劳耐久软件流体与传热分析软件:Cradle电子散热仿真分析软件:Simcenter Flotherm通用流体传热分析软件:Simcenter FLOEFD高级热仿真解决方案:Sinda流体传热分析软件材料全生命周期管理:MaterialCenter仿真过程与数据管理:SimManager可持续化的流程与产品合规性平台:iPoint系统级管理平台品牌介绍产品序列解决方案应用行业品牌介绍产品介绍解决方案应用行业T3Ster热阻测试仪Power Tester功率循环及热测试平台振动噪声实验解决方案:LMSDIC全场应变测量系统传感器系列T3STER SIMicRed通用型工业CT航空航天汽车行业电子电器兵器行业船舶行业核电工业土木建筑石油化工材料行业半导体封装案例中心资料下载培训中心教程视频
联系热线:400-633-6258
轻松自动化工具鉴定过程
减少与安全关键行业的工具鉴定相关的成本
工具鉴定是安全关键型软件开发的强制性流程。Parasoft的认证套件Parasoft C/C++test 可以自动创建静态分析、单元测试和覆盖要求的工具认证所需的支持文档的过程,减少了人为错误的可能性和执行工具认证所需的时间。
自动生成合规文档
Parasoft通过引导用户完成直观的工作流程并生成对演示工具鉴定至关重要的文档,自动创建Parasoft C/C++test在安全关键行业中所需要的文档。
自动执行测试
尽管工具认证过程不能100%自动化,但 Parasoft认证套件的独特工作流程使其尽可能轻松,减少了手动测试工作,并为选定的用例执行自动化测试。
缩小鉴定工具所需的范围
Parasoft高效工作流程的第一步是选择软件项目中使用的Parasoft C/C++test的具体用例和功能,以缩小需要鉴定的整体范围并简化鉴定流程。
攻克工具鉴定的核心挑战
Parasoft 的工具鉴定套件

工具鉴定是为安全关键应用开发软件的组织必须遵守的标准,如 DO-178B/C (航空航天), ISO 26262 (汽车), EN-50128 (铁路), 和IEC 61508 (功能安全)等。这些标准要求组织提供证据,证明用于开发其代码的软件工具适用于其要求的安全关键型应用程序。


Parasoft通过自动化工具认证套件支持 DO-178B/C 和 DO330 一致性认证流程,适用于其所有软件级别,并且 Parasoft C/C++test已通过 TÜV SÜD 认证 ,符合ISO 26262 (汽车), EN 50128 (railway), 和IEC 61508 (功能安全)。不需要额外的工具鉴定,因为所提供的证书已经足够了,尽管如此, 仍然可以使用Parasoft的自动化工具鉴定套件通过验证执行鉴定。


批准使用该工具通常是一个文档繁重的正式过程,耗时的手动完成,容易出现人为错误。为了解决这个问题,Parasoft的用于 Parasoft C/C++test 的工具认证套件包括一个 自动化工具向导 ,它可以自动完成认证过程,指导组织完成认证过程,并显着减少繁琐、容易出错的手动认证工作。在下面阅读更多内容。

工作方式
是否可以自动生成分类报告?
是否自动生成工具鉴定计划?
是否自动生成工具安全手册?
是否自动生成鉴定报告?
Parasoft的工具鉴定套件中还包括什么?
Parasoft的工具鉴定套件利用自动化来指导用户完成以下工作流程:
1. 指定项目中使用的用例和能力,减少资格鉴定所需的能力范围。
2. 快速将您正在鉴定的工具中的已知问题映射到您在开发中使用的工具,并定义适当的缓解措施。
3. 计划和获取手动测试的结果,简化手动工作的管理。
4. 执行自动化测试,消除与获取自动化测试结果相关的时间和人为错误。
5. 汇集所有数据,生成证明工具合格所需的关键文件。

是的!工具分类报告确定所需的资格,并根据用户选择的用例显示Parasoft C/C++测试的最高安全级别分类。

本文件的内容由四部分组成:

1. 评价方法的一般说明
2. 正在评估的工具链的定义
3. 确定工具影响
4. 确定工具分类等级

是的!工具鉴定计划文档描述了 Parasoft C/C++test在安全相关开发项目中的使用。

应用的鉴定方法基于“工具验证”,并且本文件包含鉴定过程的描述——已执行的标准符合性检查的基础,并记录在单独的文件中。

验证目标源自安全标准的要求和工具分类报告 (TCR) 中为工具用例确定的关键潜在工具错误。工具验证的目的是为工具的用例中不存在这些关键的潜在错误提供足够的证据。

是的!本文档描述了如何安全使用 Parasoft C/C++test,即在安全关键项目中符合安全标准(DO-178B/C、EN 50128、IEC 61508、ISO 26262)。

工具的安全性通过三个步骤实现:

1. 通过分析工具的潜在错误和使用的功能进行分类。
2. 最终鉴定,排除一些潜在的错误
3. 根据本工具安全手册安全使用 Parasoft C/C++test,包括已知错误更新检查。

是的!工具鉴定报告文档表明C/C++ 测试已根据工具鉴定计划 (TQP) 通过鉴定。

一旦Parasoft C/C++test通过了用户在安全相关开发项目中的使用资格,就可以根据工具安全手册使用它。

本文档描述了鉴定结果:

1. 用于鉴定的工具定义
2. 应用的资格套件
3. 执行的测试用例及其结果
4. 结果不等于通过的测试用例分析
5. 已执行的资格鉴定过程和相关工件

除了自动报告模板(工具分类报告、工具鉴定计划、工具鉴定报告和工具安全手册)之外,Parasoft鉴定工具套件还包括:

1. 认证套件的用户手册和入门指南
2. 认证套件的 V&V 流程文档
3. 测试自动化单元:鉴定套件的模块,负责自动化执行验证测试用例的执行过程
4. 验证测试用例:带有附加配置和预期结果定义的 C/C++ 代码片段的集合,用于验证Parasoft C/C++test(工具操作要求)的功能。
利用集成方法
简化工具鉴定
Parasoft 的鉴定套件涵盖了Parasoft C/C++test的所有功能,不仅满足静态分析,而且同时满足安全关键软件的单元测试和覆盖要求。如果没有这一点,用户就需要在他们的工具链中单独鉴定多个工具,从而导致大量的重复工作。
通过额外的自动化使工具鉴定更容易
与其他供应商提供的静态认证套件不同,Parasoft的鉴定支持工具根据软件项目中使用的特性和功能自动生成适当的报告。通过专注于对项目重要的功能,用户可以最小化所需的手动文档,从而减少在准备文档时可能出现的人为错误。
利用自动化使重新鉴定变得轻而易举
当Parasoft发布 Parasoft C/C++test的新补丁时,用户可以针对构建快速重新运行鉴定,并以最小的努力重新鉴定工具的使用。这意味着用户可以利用 C/C++test的更新和改进,而不必再次担心工具鉴定的所有细节。
受益于 Parasoft
花更少的时间在工具鉴定上,花更多的时间开发新功能。
服务热线:400 633 6258    
官方邮箱:info@anscos.com
总部地址:上海市徐汇区钦州路100号2号楼1203室
设为首页 | 收藏本站
©2021 上海庭田信息科技有限公司 版权所有
关注庭田科技微信公众号
获取更多资讯!
产品与服务
技术与学习
关于我们