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生态内的开发者与合作伙伴们提供最优的解决方案。

相关推荐
oscar9999 分钟前
玻璃基板与面板级封装——从“圆形晶圆逻辑”到“矩形大板逻辑”的范式迁移
芯片·封装
电子科技圈5 小时前
2026 RISC-V中国峰会观察:编译调试工具链的“在场节奏”,释放了什么信号?
大数据·人工智能·设计模式·软件工程·软件构建·代码规范·risc-v
艾德克斯5 小时前
艾德克斯以测试之力护航汽车创新落地——以“测试先行”解码2027年度中国汽车十大技术趋势
汽车·芯片·ai测试·固态电池·汽车测试·v2g·电驱动
OpenAnolis小助手6 小时前
多租户公有云共享 CXL 内存池场景下的内存卸载研究
人工智能·操作系统·龙蜥社区·risc-v·agentic os
ZenasLDR7 小时前
蓝牙应用走向万物智联
音频·芯片
至为芯1 天前
IP2766至为芯支持AVS快充的单C口140W快充协议芯片
集成电路·芯片·电子元器件
oscar9991 天前
3D 异构集成中的热—力—电耦合——被封装结构放大的系统级问题
芯片·封装·电耦合
oscar9992 天前
TSV 与 3D 堆叠——垂直方向上的密度跃迁及其代价
芯片·封装·tsv
贾伟康2 天前
【健康菜谱助手|08】HarmonyOS ArkTS 食材百科实战:实现分类、检索和详情跳转
软件测试·移动开发·harmonyos·arkts·arkui
oscar9992 天前
Chiplet 与中介层的“共同设计”——互连标准、良率博弈与热耦合
芯片·封装·chiplet