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