MUNIK  ꄲ  工具  ꄲ  MUNIK Parasoft ISO 26262软件代码测试工具

 

符合ISO26262标准的软件代码测试工具
 

 

Parasoft是谁？

Parasoft公司是美国著名的软件质量、服务虚拟化及软件生命周期管理解决方案供应商，AEP（软件自动化错误预防）理论的创始者，软件质量领域的领导者。Parasoft公司成立于1987年，总部位于加利福尼亚州的洛杉矶，产品横跨单元测试、静态分析、动态分析、功能测试、压力测试、信息安全测试、应用环境虚拟化等。Parasoft关注于多种开发模式及业务领域，如嵌入式、SOA，金融、电信、医疗、军工、教育等。其产品和解决方案能够帮助用户大副缩短开发周期，显著减少开发成本，大大提高软件的总体质量，同时提高最终用户使用软件产品或项目的满意程度。
 
Parasoft公司在全球十二个国家设有负责各个大区的销售及研发分公司，拥有遍布全球的办事处和代理分销机构。其中，Parasoft公司从2007年进入中国并着力于本土化发展，在中国的上海、成都、北京、深圳、郑州五个城市设有分公司和办事处，并拥有覆盖整个中国的多家代理商及其分支机构为客户提供产品、方案以及测试外包服务与咨询。
 
 

专业技术积累和行业应用经验

35+年

软件质量相关技术专利

36项

全球各类顶级奖项

60+

分支机构和合作伙伴网络

34个国家/地区

全球客户数量

20,000+

财富500强客户占比

85%

 财富100强客户占比 

88%

在中国建立的大学联合实验室

40+

 

 

PARASOFT工具的使用部分有哪些？

 

img1

 

 

 

ISO2626为什么需要考虑PARASOFT工具？

 

Parasoft为ISO26262带来的合规优势：通过自动化的验证和确认方法，如代码评审、需求可追溯性、静态分析、单元测试、代码覆盖率等，来满足ISO26262的遵从性目标，同时也减少了劳动力成本和上市时间。

 

  • 满足遵从性走查和检查

Parasoft的走查或代码审查模块旨在通过自动化准备、通知和跟踪，使同行评审更加实用和高效。它会自动识别更新的代码，将其与指定的审阅者匹配，并跟踪每个审阅项的进度，直到结束。

  

  • 满足合规控制流分析

Parasoft技术使用多种分析技术(包括模拟应用程序执行路径)来识别可能触发运行时缺陷的路径。检测到的缺陷包括使用未初始化的内存、空指针取消引用、被零除、内存和资源泄漏。

 

  • 满足合规数据流分析

Parasoft的数据流分析有助于发现潜在的导致崩溃的缺陷，如异常和资源泄漏，而不必创建、执行或维护测试用例。此外，还显示了实际的应用程序执行路径是否会导致注入漏洞、XSS、敏感数据暴露和其他漏洞。这提供了一种快速而简单的方法，无需执行应用程序来识别可靠性和性能问题。

 

  •  满足符合性静态代码分析

实现符合MISRA、AUTOSAR C++ 14等安全编码标准。或者使用我们的RuleWizard为您的组织和供应商创建自己的自定义编码标准配置。

 

  •  满足静态分析安全性测试(SAST)

将SEI CERT、CWE、OWASP、DISA-ASD-STIG 和 UL 2900 等安全编码标准纳入SA测试流程，确保您的代码符合严格的安全标准。

 

  •  满足代码覆盖和遵从要求

满足所有ISO26262代码覆盖率要求。支持所有代码覆盖类型(语句、分支、MC/DC等)，并通过暴露未测试的代码、死代码和清除缺陷来帮助确保代码的安全性、安全性和可靠性。

 

  •  满足单元测试

使用Parasoft的自动化存根框架隔离待测试单元，并在相关代码不可用、缺乏可控性或故障注入困难的情况下进行模拟。

 

  • 自动化测试用例生成

手动创建单元测试是乏味的，但幸运的是，单元测试很好地支持自动创建单元测试。Parasoft的可配置测试用例生成可以构建智能测试用例，识别bug，自动化代码覆盖，收集结果和指标，为项目分析提供依据。

 

  •  将静态和动态分析纳入您的CI/CD工作流程

Parasoft的静态分析、单元测试、回归测试和代码覆盖可以轻松集成到您的CI/CD管道中。通过持续测试，团队可以快速地交付安全、可靠、高质量的代码。

 

  •  满足合规报告

Parasoft的动态报告仪表板可以自动跟踪合规情况，并自动生成报告。它还支持使用历史数据的高级报告策略，即使在处理大型代码库和代码可见性通常具有挑战性的遗留代码时也是如此。

 

  • 满足ISO26262双向要求可追溯性 

自动化需求、测试用例、测试结果、代码和代码评审之间的双向可追溯性。

 

  • 降低缺陷成本 

在生产中或在现场发现的代码缺陷是最昂贵的。通过在发布应用程序之前突出显示未测试的代码来防止它们被遗漏。这可以在开发人员的工作站上执行，也可以作为持续集成(CI)管道的一部分自动执行。

 

  • 使用经过 TÜV 认证且经过验证的安全和安保关键系统解决方案

Parasoft的解决方案已通过TÜV SÜD认证，适用于所有ASIL级别的ISO26262。

 

  • 用AI和ML更智能地测试

Parasoft结合了人工智能和机器学习，来提高团队静态分析工作流程的生产力——标记需要首先修复的违规行为并确定其优先级。

 

 

MUNIK&PARASOFT专业的工具支持及使用团队，支持客户的软件产品开发及验证。

 

 

 

如果您需要技术交流，欢迎和我们邮件联系！Shmunik@munik.com

 

 

 

 

 

 

parsoft
넳 넲