Parasoft助力RISC-V芯片量产:提供高可靠软件测试方案

RISC-V官方近日宣布,首款采用Vector 1.0架构的商用芯片K230已经正式实现量产,这标志着RISC-V生态在高端芯片领域迈出重要一步;随着芯片产品的规模化应用,相应的软件测试需求也日益凸显,Parasoft适时推出支持RISC-V环境的完整软件自动化测试解决方案,帮助芯片厂商和开发者应对功能安全认证挑战,提升代码质量与可靠性。

平头哥 T-HEAD

平头哥半导体有限公司(T-HEAD)是阿里巴巴全资的半导体芯片业务主体,主要针对下一代云端一体芯片新型架构开发数据中心和嵌入式IoT芯片产品。平头哥从云和端两个方面进行软硬深度协同的技术创新,目标是让数据和计算更普惠,持续拓展数据技术的边界。

图片来源于平头哥官网

RISC-V 生态厂商面临的挑战

因为整个行业对相关企业有着相当高的功能安全要求,所以需要通过 IEC61508认证。IEC61508覆盖了整个开发流程中功能安全性的所有方面。这包括产品开发初始阶段所处的软件级别的需求、软件安全性需求的说明、软件架构设计、软件单元设计以及实现、软件单元测试、软件集成测试以及软件安全性需求的验证。代码覆盖率在汽车电子行业的软件代码测试中愈来愈受重视,这不仅是由于功能安全规范(如IEC61508)的高要求,更是来自于研发组织内部对提升软件代码质量的迫切需求,如何落实并提高代码质量、测试效率,达到安全规范标准,是RISC-V生态厂商面临的问题。

Parasoft 的解决方案

RISC-V生态环境正在蓬勃发展中,各RISC-V生态厂商在呼唤指令集标准的统一以及推动RISC-V国际标准建设中发挥了关键作用,但要建立更好的生态环境,离不开代码安全规范标准化。作为软件自动化测试领域的领导者,Parasoft可以提供完美的解决方案。

Parasoft C/C++test是经广泛证明的最佳实践集成解决方案,它能有效提高开发团队工作效率和软件质量。
C/C++test能促进 静态分析、同行代码审查流程自动化、 单元测试、运行时错误检测,这为开发团队提供了一种实际的方式来预防、发现以及纠正相关的错误,从而确保其C/C++代码正常运行。

C/C++test自动地生成完整的测试套件,包括测试驱动以及用于各个独立函数的测试用例,这些测试套件都是以类似CppUnit格式的纯C或C++代码的形式提供的。这些测试套件,无论是否进行修改,都可以用于对代码的功能行为进行初始化验证。

通过使用边界用例条件,这些自动生成的测试用例同样能检测函数对未预期输入的相应状况,从而发现潜在的可靠性问题,同时为了促进快速修复,每个检测到的问题都基于可配置的严重级别分配进行排序,并自动分发到相应代码的开发者处,同时分配到他或她的IDE环境中,并配以该问题代码处的直接链接以及如何修正该问题的描述。

Parasoft 的助力成果

C/C++test的自动化能力极大地提升了测试新开发或既有代码的正确性和可靠性的效率,在帮助团队开发软件的过程中,同时也达到了许多其他成就,包括:

  • 达到IEC61508安全规范标准;
  • 提高开发人员编码水平;
  • 提高代码质量和审查效率;
  • 助力软件快速通过IEC61508认证;
  • 保障软件系统的安全性和可靠性;
  • 缩短项目开发上线周期,节约成本。

Parasoft RISC-V 生态环境中的价值

Parasoft C/C++test目前已经能够在支持RISC-V开发的IDE中进行集成,目前已经达成合作的工具包括:Andesight、IAR for RISC-V等,并且可以完美完成静态分析以及单元测试。

2022年12月14日电 /美通社/ -- 自动化软件测试领域的全球领导者Parasoft宣布,Parasoft是The Forrester Wave™:持续自动化测试平台2022年第四季度报告的领导者。Parasoft持续质量平台是一个开放的、智能的、结果驱动的解决方案,融合了人工智能(AI),它将软件测试从代码扫描、单元测试、代码覆盖率、功能测试和API测试整合到UI和手动测试,使DevOps团队能够更有效地工作并提高生产力。

作为功能测试自动化领域的领导者,Parasoft将继续为RISC-V生态内的开发者与合作伙伴们提供最优的解决方案。

相关推荐
天才测试猿1 天前
WebUI自动化测试:POM设计模式全解析
自动化测试·软件测试·python·selenium·测试工具·设计模式·测试用例
云澈ovo2 天前
RISC-V 架构适配:开源 AI 工具链的跨平台编译优化全流程(附实战指南)
架构·开源·risc-v
程序员杰哥2 天前
Pytest与Unittest测试框架对比
自动化测试·软件测试·python·测试工具·测试用例·excel·pytest
软件测试小仙女2 天前
Pytest参数化实战:高效测试API接口
软件测试·测试开发·测试工具·pytest·接口测试·api·参数化
cllsse3 天前
pytest学习
软件测试·python·pytest
慧都小项3 天前
Parasoft C/C++test如何将静态分析集成到VSCode中
vscode·静态分析·parasoft
测试老哥4 天前
如何编写好测试用例?
自动化测试·软件测试·python·功能测试·测试工具·职场和发展·测试用例
慧都小项4 天前
自动化测试系统Parasoft航空设备行业案例:减少75%的BUG
parasoft·qinetiq·航空电子
Blossom.1184 天前
用一颗MCU跑通7B大模型:RISC-V+SRAM极致量化实战
人工智能·python·单片机·嵌入式硬件·opencv·机器学习·risc-v