CN116050315A - 验证方法、装置及电子设备 - Google Patents

验证方法、装置及电子设备 Download PDF

Info

Publication number
CN116050315A
CN116050315A CN202210682140.6A CN202210682140A CN116050315A CN 116050315 A CN116050315 A CN 116050315A CN 202210682140 A CN202210682140 A CN 202210682140A CN 116050315 A CN116050315 A CN 116050315A
Authority
CN
China
Prior art keywords
verification
connectivity
operation result
connection
related information
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN202210682140.6A
Other languages
English (en)
Inventor
郭晓坤
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beijing Aixin Technology Co ltd
Original Assignee
Beijing Aixin Technology Co ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Beijing Aixin Technology Co ltd filed Critical Beijing Aixin Technology Co ltd
Priority to CN202210682140.6A priority Critical patent/CN116050315A/zh
Publication of CN116050315A publication Critical patent/CN116050315A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2115/00—Details relating to the type of the circuit
    • G06F2115/02—System on chip [SoC] design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2115/00—Details relating to the type of the circuit
    • G06F2115/10—Processors

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本申请实施例提供一种验证方法、装置及电子设备。其中，该方法包括：获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；将所述连接性验证文件转化为连接性测试用例；将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；接收所述待验证设备发送的第一运行结果；对所述第一运行结果进行验证，获得验证结果，本申请实施例可以在获取至少一条连接路径输入的连接相关信息之后，高效的对至少一条连接路径的连接性进行验证。

Description

验证方法、装置及电子设备
技术领域
本申请实施例涉及芯片验证技术领域，尤其涉及一种验证方法、装置及电子设备。
背景技术
目前，系统级芯片(System on Chip，简称SOC)的应用越来越广泛，且芯片集成的模块和系统也越来越多，因此SOC芯片各个模块间或者模块与中央处理器(centralprocessing unit，简称CPU)间的连接性验证质量也越来越复杂，连接性验证是指验证两个模块之间的路径是否通断。
针对SOC芯片各个模块间的连接性验证，可以在验证平台编写真实的测试用例来验证，比如针对某个模块与CPU之间的连接性验证，可以在验证平台编写真实的测试用例来测试某个模块与CPU的连接性，但SOC芯片上的模块有很多，如果均采用上述方式，验证过程复杂。
发明内容
本申请实施例提供一种验证方法、装置及电子设备，用以解决现有技术中连接性验证过程复杂的问题。
第一方面，本申请实施例中提供了一种验证方法，所述方法包括：
获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；
将所述连接性验证文件转化为连接性测试用例；
将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；
接收所述待验证设备发送的第一运行结果；
对所述第一运行结果进行验证，获得验证结果。
第二方面，本申请实施例提供了一种验证装置，所述装置包括：
获取模块，用于获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；
转化模块，用于将所述连接性验证文件转化为连接性测试用例；
发送模块，用于将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；
接收模块，用于接收所述待验证设备发送的第一运行结果；
验证模块，用于对所述第一运行结果进行验证，获得验证结果。
第三方面，本申请实施例提供了一种电子设备，包括处理组件以及存储组件；
所述存储组件存储一条或多条计算机指令；所述一条或多条计算机指令用以被所述处理组件调用执行；
所述处理组件用于：
获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；
将所述连接性验证文件转化为连接性测试用例；
将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；
接收所述待验证设备发送的第一运行结果；
对所述第一运行结果进行验证，获得验证结果。
第四方面，本申请实施例提供了一种非暂时性机器可读存储介质，非暂时性机器可读存储介质上存储有可执行代码，当所述可执行代码被电子设备的处理器执行时，使处理器至少可以实现如第一方面所述的验证方法。
所述功能可以通过硬件实现，也可以通过硬件执行相应的软件实现。所述硬件或软件包括一个或多个与上述功能相对应的模块。
本申请实施例中，提供一种验证方法、装置及电子设备。其中，该方法包括：获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；将所述连接性验证文件转化为连接性测试用例；将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；接收所述待验证设备发送的第一运行结果；对所述第一运行结果进行验证，获得验证结果，本申请实施例可以在获取至少一条连接路径输入的连接相关信息，高效的对至少一条连接路径的连接性进行验证。
本申请的这些方面或其他方面在以下实施例的描述中会更加简明易懂。
附图说明
为了更清楚地说明本申请实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作一简单地介绍，显而易见地，下面描述中的附图是本申请的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
图1示出了本申请提供的验证方法一种实施例的流程示意图；
图2示出了本申请提供的验证装置一个实施例的结构示意图；
图3示出了与图2对应的电子设备的结构示意图。
具体实施方式
为了使本技术领域的人员更好地理解本申请方案，下面将结合本申请实施例中的附图，对本申请实施例中的技术方案进行清楚、完整地描述。
在本申请的说明书和权利要求书及上述附图中的描述的一些流程中，包含了按照特定顺序出现的多个操作，但是应该清楚了解，这些操作可以不按照其在本文中出现的顺序来执行或并行执行，操作的序号如101、102等，仅仅是用于区分开各个不同的操作，序号本身不代表任何的执行顺序。另外，这些流程可以包括更多或更少的操作，并且这些操作可以按顺序执行或并行执行。需要说明的是，本文中的“第一”、“第二”等描述，是用于区分不同的消息、设备、模块等，不代表先后顺序，也不限定“第一”和“第二”是不同的类型。
下面将结合本申请实施例中的附图，对本申请实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本申请一部分实施例，而不是全部的实施例。基于本申请中的实施例，本领域技术人员在没有作出创造性劳动前提下所获得的所有其他实施例，都属于本申请保护的范围。
图1示出了本申请提供的验证方法一种实施例的流程示意图，其中该方法可以由验证平台执行，其中，验证平台配置有形式化验证工具。如图1所示，该方法包括：
101、获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件。
其中，目标文件格式可以是Excel表格格式，Word文档格式等测试人员可以轻易进行输入的文件格式，目标芯片可以是SOC芯片。
可以理解的是，目标芯片上有多个系统，比如网络处理器(Neural-networkProcessing Unit，简称NPU)，图像处理器(Image Signal Processor，简称ISP)等等，每个系统中都会包括有多个模块，而在进行芯片上功能验证的过程中，通常会验证参与完成某个功能对应的模块与模块之间的连接性，来保证芯片的正常运行。
可选地，获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件可以实现为：输出目标文件格式和验证提示信息；检测针对验证提示信息的输入操作，获取针对目标芯片中的至少一条连接路径输入的连接相关信息；基于连接相关信息生成连接验证文件。
可以理解的是，芯片的验证人员知晓需要验证的各个模块以及各个模块之间的连接路径，因此，验证平台提供目标文件格式和验证提示信息，验证人员按照目标文件格式和验证提示信息填写至少一条连接路径对应的连接相关信息，从而验证平台在接收到连接相关信息之后，生成对应的连接性验证文件，即该连接性验证文件包括有验证某一功能的所有相关模块以及各个模块之间的连接路径。
可选地，基于所述连接相关信息生成连接验证文件之前还包括：判断连接相关信息的格式是否与目标文件格式一致；若否，则输出提示信息，以提示用户重新按照目标文件格式编写连接相关信息。
可以理解的是，可能因为人为的原因，连接相关信息对应的格式与目标文件的格式不一致，可能会导致最终验证平台不能识别出连接相关信息，因此，在基于所述连接相关信息生成连接验证文件之前还可以确定一下接收的连接相关信息的格式是否与目标文件格式一致，若一致，则可以基于连接相关信息生成对应的连接验证文件，若不一致，则输出提示信息，以提示用户重新按照目标文件格式编写连接相关信息，其中，可以在输出目标文件格式和验证提示信息的界面输出该提示信息，也可以生成对应的短消息以便发送至对应的验证人员。
可选地，基于所述连接相关信息生成连接验证文件之前还包括：确定连接相关信息与验证提示信息的对应关系；基于连接相关信息生成连接验证文件包括：按照对应关系，基于连接相关信息与验证提示信息生成连接验证文件。
其中，验证提示信息包括源信号路径，源信号名称，目的信号路径和目的信号名称等等，而验证人员是根据验证提示信息输入连接相关信息的，因此基于所述连接相关信息生成连接验证文件之前，还需要确定连接相关信息与验证提示信息的对应关系，即确定每条路径对应的源信号路径，源信号名称，目的信号路径和目的信号名称，并基于连接相关信息与验证提示信息生成连接验证文件。
102、将连接性验证文件转化为连接性测试用例。
其中，连接性验证文件的文件格式为目标文件格式，该目标文件格式是为了方便验证人员输入对应的连接相关信息，但验证平台并不识别目标文件格式。
可选地，将连接性验证文件转化为连接性测试用例可以实现为：获取验证平台对应的测试格式；调用预设脚本将文件格式转化为测试格式，得到连接性测试用例。
其中，一般情况下，验证平台对应的测试格式待验证设备均能识别。
103、将连接性测试用例发送至待验证设备，以供待验证设备运行连接性测试用例，以获得第一运行结果。
104、接收待验证设备发送的第一运行结果。
105、对第一运行结果进行验证，获得验证结果。
可选地，接收待验证设备发送的第一运行结果之后，还包括：调用形式化验证组件运行连接性测试用例，获得第二运行结果；对第一运行结果进行验证，获得验证结果可以实现为：比较第一运行结果和第二运行结果，获得验证结果。
可以理解的是，由于是对芯片中各个模块之间连接性的验证，因此，形式化验证组件运行连接性测试用例得到的第二运行结果为参考结果，即按照第二运行结果对第一运行结果进行验证，比如，第二运行结果显示有三条路径，而第一运行结果显示有两条路径，则确定出芯片中某条路径的连接性有问题，则可以针对性的对芯片进行修正。
本申请实施例提供一种验证方法、装置及电子设备。其中，该方法包括：获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；将所述连接性验证文件转化为连接性测试用例；将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；接收所述待验证设备发送的第一运行结果；对所述第一运行结果进行验证，获得验证结果，本申请实施例可以在获取至少一条连接路径输入的连接相关信息之后，高效的对至少一条连接路径的连接性进行验证。
图2示出了本申请提供的验证装置一个实施例的结构示意图，如图2所述，该装置包括：获取模块21、转化模块22、发送模块23、接收模块24、验证模块25。
获取模块21，用于获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；
转化模块22，用于将所述连接性验证文件转化为连接性测试用例；
发送模块23，用于将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；
接收模块24，用于接收所述待验证设备发送的第一运行结果；
验证模块25，用于对所述第一运行结果进行验证，获得验证结果。
可选地，获取模块21，还用于调用形式化验证组件运行所述连接性测试用例，获得第二运行结果。
验证模块25，具体用于比较所述第一运行结果和所述第二运行结果，获得验证结果。
可选地，所述获取模块21具体用于输出目标文件格式和验证提示信息；检测针对验证提示信息的输入操作，获取针对目标芯片中的至少一条连接路径输入的连接相关信息；基于所述连接相关信息生成连接验证文件。
可选地，该装置还包括：判断模块，用于判断所述连接相关信息的格式是否与目标文件格式一致；若否，则输出提示信息，以提示用户重新按照所述目标文件格式编写所述连接相关信息。
可选地，该装置还包括：确定模块，用于确定所述连接相关信息与所述验证提示信息的对应关系；
所述获取模块21进一步具体用于：按照所述对应关系，基于所述连接相关信息与所述验证提示信息生成连接验证文件。
可选地，转化模块22具体用于获取所述验证平台对应的测试格式；调用预设脚本将所述文件格式转化为所述测试格式，得到连接性测试用例。
在一个可能的设计中，图2所示实施例的验证装置可以实现为电子设备，如图3所示，该电子设备可以包括存储组件301以及处理组件302；
所述存储组件301存储一条或多条计算机指令，其中，所述一条或多条计算机指令供所述处理组件302调用执行。
所述处理组件302用于：
获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；
将所述连接性验证文件转化为连接性测试用例；
将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；
接收所述待验证设备发送的第一运行结果；
对所述第一运行结果进行验证，获得验证结果。
另外，本申请实施例提供了一种非暂时性机器可读存储介质，所述非暂时性机器可读存储介质上存储有可执行代码，当所述可执行代码被电子设备的处理器执行时，使所述处理器至少可以实现如前述图1所示实施例中提供的验证方法。
所属领域的技术人员可以清楚地了解到，为描述的方便和简洁，上述描述的系统，装置和单元的具体工作过程，可以参考前述方法实施例中的对应过程，在此不再赘述。
以上所描述的装置实施例仅仅是示意性的，其中所述作为分离部件说明的单元可以是或者也可以不是物理上分开的，作为单元显示的部件可以是或者也可以不是物理单元，即可以位于一个地方，或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部模块来实现本实施例方案的目的。本领域普通技术人员在不付出创造性的劳动的情况下，即可以理解并实施。
通过以上的实施方式的描述，本领域的技术人员可以清楚地了解到各实施方式可借助软件加必需的通用硬件平台的方式来实现，当然也可以通过硬件。基于这样的理解，上述技术方案本质上或者说对现有技术做出贡献的部分可以以软件产品的形式体现出来，该计算机软件产品可以存储在计算机可读存储介质中，如ROM/RAM、磁碟、光盘等，包括若干指令用以使得一台计算机设备(可以是个人计算机，服务器，或者网络设备等)执行各个实施例或者实施例的某些部分所述的方法。
最后应说明的是：以上实施例仅用以说明本申请的技术方案，而非对其限制；尽管参照前述实施例对本申请进行了详细的说明，本领域的普通技术人员应当理解：其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分技术特征进行等同替换；而这些修改或者替换，并不使相应技术方案的本质脱离本申请各实施例技术方案的精神和范围。

Claims (9)

1.一种验证方法，其特征在于，包括：
获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；
将所述连接性验证文件转化为连接性测试用例；
将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；
接收所述待验证设备发送的第一运行结果；
对所述第一运行结果进行验证，获得验证结果。
2.根据权利要求1所述的方法，其特征在于，所述方法还包括：
调用形式化验证组件运行所述连接性测试用例，获得第二运行结果；
对所述第一运行结果进行验证，获得验证结果包括：
比较所述第一运行结果和所述第二运行结果，获得验证结果。
3.根据权利要求1所述的方法，其特征在于，所述获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件包括：
输出目标文件格式和验证提示信息；
检测针对验证提示信息的输入操作，获取针对目标芯片中的至少一条连接路径输入的连接相关信息；
基于所述连接相关信息生成连接验证文件。
4.根据权利要求3所述的方法，其特征在于，所述方法还包括：
判断所述连接相关信息的格式是否与目标文件格式一致；
若否，则输出提示信息，以提示用户重新按照所述目标文件格式编写所述连接相关信息。
5.根据权利要求3所述的方法，其特征在于，所述方法还包括：
确定所述连接相关信息与所述验证提示信息的对应关系；
所述基于所述连接相关信息生成连接验证文件包括：
按照所述对应关系，基于所述连接相关信息与所述验证提示信息生成连接验证文件。
6.根据权利要求1所述的方法，其特征在于，所述将所述连接性验证文件转化为连接性测试用例包括：
获取验证平台对应的测试格式；
调用预设脚本将所述目标文件格式转化为所述测试格式，得到连接性测试用例。
7.一种验证装置，其特征在于，应用于验证平台，包括：
获取模块，用于获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；
转化模块，用于将所述连接性验证文件转化为连接性测试用例；
发送模块，用于将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；
接收模块，用于接收所述待验证设备发送的第一运行结果；
验证模块，用于对所述第一运行结果进行验证，获得验证结果。
8.一种电子设备，其特征在于，包括处理组件以及存储组件；
所述存储组件存储一条或多条计算机指令；所述一条或多条计算机指令用以被所述处理组件调用执行；
所述处理组件用于：
获取按照目标文件格式针对目标芯片中的至少一条连接路径输入的连接相关信息，以生成连接性验证文件；
调用预设脚本将所述连接性验证文件转化为连接性测试用例；
将所述连接性测试用例发送至待验证设备，以供待验证设备运行所述连接性测试用例，以获得第一运行结果；
接收所述待验证设备发送的第一运行结果；
对所述第一运行结果进行验证，获得验证结果。
9.一种非暂时性机器可读存储介质，非暂时性机器可读存储介质上存储有可执行代码，当所述可执行代码被电子设备的处理器执行时，使处理器至少可以实现如权利要求1-6任一项所述的验证方法。
CN202210682140.6A 2022-06-15 2022-06-15 验证方法、装置及电子设备 Pending CN116050315A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202210682140.6A CN116050315A (zh) 2022-06-15 2022-06-15 验证方法、装置及电子设备

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202210682140.6A CN116050315A (zh) 2022-06-15 2022-06-15 验证方法、装置及电子设备

Publications (1)

Publication Number Publication Date
CN116050315A true CN116050315A (zh) 2023-05-02

Family

ID=86111984

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202210682140.6A Pending CN116050315A (zh) 2022-06-15 2022-06-15 验证方法、装置及电子设备

Country Status (1)

Country Link
CN (1) CN116050315A (zh)

Similar Documents

Publication Publication Date Title
US8079017B2 (en) Automated QS interface testing framework
CN107145437B (zh) 一种java注解测试方法及装置
CN106708687B (zh) 一种基于可执行文件的芯片验证方法和装置
US11893331B2 (en) Device verification method, UVM verification platform, electronic apparatus and storage medium
CN108459850B (zh) 生成测试脚本的方法、装置及系统
CN111597120B (zh) 接口测试装置、方法、电子设备和计算机可读存储介质
CN109977012B (zh) 系统的联调测试方法、装置、设备及计算机可读存储介质
CN110764996A (zh) 一种契约测试方法、系统、存储介质及终端设备
US20110225559A1 (en) Logic verifying apparatus, logic verifying method, and medium
CN113032202A (zh) 芯片验证方法、系统、装置、计算机设备及存储介质
CN117252149A (zh) 芯片验证方法及装置、芯片验证系统和可读存储介质
CN116050315A (zh) 验证方法、装置及电子设备
CN116431522A (zh) 一种低代码对象存储网关自动化测试方法及系统
CN113282496B (zh) 接口自动测试方法、装置、设备及存储介质
CN113407444B (zh) 一种接口的测试用例生成方法、装置、设备及存储介质
CN115062312A (zh) 智能合约漏洞检测方法、装置、设备和存储介质
CN112131127B (zh) 接口测试方法、装置、系统及电子设备
CN114139479A (zh) 仿真验证方法、装置及计算设备
CN114356680A (zh) 验证方法、装置及电子设备
CN111786842B (zh) 数据处理方法及硬件在环测试系统
CN114328065A (zh) 中断验证方法、装置及电子设备
CN113407593A (zh) 数据抽检方法、装置、电子设备和可读存储介质
CN112199281A (zh) 一种数据处理方法、装置、终端设备及可读存储介质
CN112380128A (zh) 智能合约的自动测试方法、装置、计算机设备和存储介质
CN112181803B (zh) 数据处理方法及装置

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination