
Parasoft与Green Hills Software
携手打造高效嵌入式安全测试解决方案
Parasoft和Green Hills Software是两家在软件测试和嵌入式系统开发领域内知名的公司。

Parasoft以其自动化错误预防软件而闻名,提供包括C/C++test在内的多种测试解决方案,这些工具不仅帮助团队提高代码质量,降低风险、还确保了软件的安全性和合规性,特别是在汽车、嵌入式领域、医疗设备、工业自动化等对安全性要求极高的领域。
Green Hills Software则专注于为嵌入式系统构建操作系统和编程工具,以其优化的C++/EC++编译器和集成开发环境MULTI IDE而受到市场的认可。其产品支持最新的C++标准,提供了先进的优化技术,确保生成的代码既快速又紧凑,同时满足实时操作系统的需求。



(Green Hills Software应用行业,来源于Green Hills Software官网)
合作亮点
提升开发效率与软件质量
无缝集成
Parasoft的C/C++test与Green Hills Software的工具链无缝集成,使得开发者可以在使用Green Hills编译器的同时,享受到Parasoft提供的自动化测试功能。
支持最新C++标准
Green Hills 编译器支持 ISO/IEC 14882:2011 (C++11)、:2014 (C++14)、:2017 (C++17) 和 :2020 (C++20),可提供许多新语言功能和标准库。而Parasoft的C/C++test也相应地提供了对这些标准的全面支持,确保开发者能够利用最新的语言特性,同时保持代码的安全性和稳定性。
自动化测试与编码规范
Parasoft C/C++test自动使用行业公认的编码标准进行代码静态分析,测试代码结构(白盒测试)、测试代码功能(黑盒测试)以及维护代码完整性(回归测试)。而Green Hills Software的编译器则内建了编码规范的自动化执行,C++编译器符合ANSI/ISO C++标准。从基础的C到完整的ANSI C++,Green Hills优化C++编译器提供了许多中间选项,包括新的嵌入式C++(EC++),两者结合,极大地提高了代码质量和开发效率。
功能安全与合规性
Greenhills Software是第一家获得ISO/SAE 21434汽车网络安全证书的嵌入式软件公司,对于需要满足特定功能安全标准的行业,Parasoft提供了相应的安全认证套件,如汽车行业的ISO 26262,航空DO178B/C,工业自动化IEC 61508等。两家公司帮助开发者简化工具验证过程,确保软件符合行业安全标准。
关于Parasoft
Parasoft通过其AI驱动的软件测试平台和自动化测试解决方案帮助组织持续提供高质量的软件。Parasoft成熟的技术支持嵌入式、企业和物联网市场,通过将深度代码分析和单元测试,Web UI和API测试,以及服务虚拟化和完整代码覆盖率整合到交付管道中,减少了为提供安全、可靠和合规软件所需的时间、精力和成本。Parasoft屡获殊荣的报告和分析仪表板汇集了所有以上所述,提供了集中的质量视图,使组织能够自信地交付,并在当今最具战略性的生态系统和开发计划中取得成功——信息安全、功能安全、敏捷、DevOps和持续测试。Parasoft官网:
关于GreenHills Software
Green Hills Software 成立于 1982 年,是全球嵌入式安全和保障领域的领导者。2008 年,Green Hills INTEGRITY-178 RTOS 是首个也是唯一一个通过 NIAP(由 NSA 和 NIST 组成的国家信息保障联盟)认证的操作系统,达到 EAL 6+ 高稳健性,这是任何软件产品有史以来达到的最高安全级别。我们的开放式架构集成开发解决方案针对嵌入式、绝对安全和高可靠性应用,服务于航空电子、医疗、工业、汽车、网络、消费和其他需要行业认证解决方案的市场。