CN114661615B - 一种fpga软件测试方法和设备 - Google Patents
一种fpga软件测试方法和设备 Download PDFInfo
- Publication number
- CN114661615B CN114661615B CN202210375255.0A CN202210375255A CN114661615B CN 114661615 B CN114661615 B CN 114661615B CN 202210375255 A CN202210375255 A CN 202210375255A CN 114661615 B CN114661615 B CN 114661615B
- Authority
- CN
- China
- Prior art keywords
- test
- generating
- source code
- fpga
- defect inspection
- 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.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 48
- 238000013522 software testing Methods 0.000 title claims description 29
- 238000012360 testing method Methods 0.000 claims abstract description 227
- 238000013515 script Methods 0.000 claims abstract description 57
- 230000002159 abnormal effect Effects 0.000 claims abstract description 29
- 238000013461 design Methods 0.000 claims abstract description 29
- 230000007547 defect Effects 0.000 claims description 60
- 238000007689 inspection Methods 0.000 claims description 48
- 238000012795 verification Methods 0.000 claims description 34
- 230000006870 function Effects 0.000 claims description 27
- 238000004590 computer program Methods 0.000 claims description 8
- 230000008569 process Effects 0.000 claims description 7
- 238000004422 calculation algorithm Methods 0.000 claims description 4
- 238000010845 search algorithm Methods 0.000 claims description 4
- 238000004891 communication Methods 0.000 claims description 3
- 230000002950 deficient Effects 0.000 claims description 3
- 230000001172 regenerating effect Effects 0.000 claims description 3
- 230000008676 import Effects 0.000 description 6
- 238000004088 simulation Methods 0.000 description 4
- 238000010586 diagram Methods 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 230000010354 integration Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3696—Methods or tools to render software testable
Abstract
本发明公开了一种FPGA软件测试方法和设备,方法包括:获取以批量形式导入的FPGA被测件源码和需求设计文件;对源码的完整性和可测性进行分析,以判断源码内容是否存在异常;若源码内容无异常,则基于被测件的需求设计生成源码的测试项,并基于测试项生成测试台所需的TCL脚本,根据TCL脚本生成对应的测试台和测试台文件;对测试台文件进行配置和解析,生成测试文档并输出。本发明能够基于FPGA被测件源码和需求设计文件自动生成测试项和测试台,提高了FPGA软件测试的效率。
Description
技术领域
本发明属于软件测试技术领域,具体涉及一种FPGA软件测试方法和设备。
背景技术
FPGA(Field Programmable Gate Array,现场可编程逻辑门阵列)软件在开发之后,需要经过测试来检验软件是否满足需求。例如单元测试、功能测试、集成测试、系统测试、安全测试和性能测试等。传统的PFGA软件测试方法,需要专业测试人员手动编写测试台和测试序列,并手动输入测试命令进行测试项的测试,对于测试人员的经验和能力依赖性很高,手动测试过程操作繁琐、耗费大量人力物力且效率低下。此外,市场上现有的软件测试工具虽然提高了软件测试效率,但是这些软件测试工具仍然需要软件开发者编写复杂的脚本,同样对测试人员的专业能力要求较高。
发明内容
本发明的目的是提供一种FPGA软件测试方法和设备,用于解决现有技术中存在的手动编写测试台和测试序列,导致测试过程操作繁琐、耗费大量人力物力且效率低下的技术问题。
为了实现上述目的,本发明采用以下技术方案:
第一方面,本发明提供一种FPGA软件测试方法,包括:
获取以批量形式导入的FPGA被测件源码和需求设计文件;
对源码的完整性和可测性进行分析,以判断源码内容是否存在异常;
若源码内容无异常,则基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本,根据所述TCL脚本生成对应的测试台和测试台文件;
对所述测试台文件进行配置和解析,生成测试文档并输出。
在一种可能的设计中,对源码的完整性和可测性进行分析,以判断源码内容是否存在异常,包括:
基于搜索算法检测源码中是否存在内容缺失,若存在内容缺失,则判定源码内容存在异常;
基于语法分析算法检测源码中是否存在语法错误,若存在语法错误,则判定源码内容存在异常。
在一种可能的设计中,在判定源码内容存在异常后,所述方法还包括:
对源码内容和/或语法错误进行校正,并重新获取校正后的FPGA被测件源码。
在一种可能的设计中,在判定源码内容无异常之后,所述方法还包括:
将FPGA被测件源码转换为MD5码,以防止软件测试过程中源码被篡改。
在一种可能的设计中,基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本,根据所述TCL脚本生成对应的测试台和测试台文件,包括:
判断当次测试是否为回归测试,若否,则对源码进行缺陷检查指令定制、缺陷检查类型配置以及缺陷检查TCL脚本生成,并通过执行所述缺陷检查TCL脚本检查源码缺陷,当源码无缺陷时,根据缺陷检查指令和缺陷检查类型生成缺陷检查测试项;
若是,则直接生成所述缺陷检查TCL脚本,并根据预先配置的测试项属性生成所述缺陷检查测试项;
基于所述缺陷检查测试项生成测试台所需的第一TCL脚本,并根据所述第一TCL脚本生成缺陷检查测试台和缺陷检查测试台文件。
在一种可能的设计中,在通过执行所述缺陷检查TCL脚本检查源码缺陷之后,所述方法还包括:
当源码有缺陷时,则根据修正后的源码重新生成缺陷检查TCL脚本,直至源码无缺陷。
在一种可能的设计中,基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本,根据所述TCL脚本生成对应的测试台和测试台文件,包括:
判断当次测试是否为回归测试,若否,则根据被测件的需求设计生成源码的功能验证测试项、配置SVA需求信息、定制功能验证指令和生成源码的功能验证TCL脚本,并基于所述功能验证TCL脚本生成功能验证测试台和功能验证测试台文件;
若是,则基于所述功能验证TCL脚本直接生成功能验证测试台和功能验证测试台文件。
在一种可能的设计中,对所述测试台文件进行配置和解析,生成测试文档并输出,包括:
对所述测试台文件进行配置生成测试文档所需信息,将测试文档所需信息解析转换为GJB438B格式文件并输出。
在一种可能的设计中,所述方法还包括:对FPGA被测件的测试进行调度和管理。
第二方面,本发明提供一种FPGA软件测试装置,包括:
获取以批量形式导入的FPGA被测件源码和需求设计文件;
对源码的完整性和可测性进行分析,以判断源码内容是否存在异常;
若源码内容无异常,则基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本;
根据所述TCL脚本生成对应的测试台和测试台文件;
对所述测试台文件进行配置和解析,生成测试文档并输出。
第三方面,本发明提供一种计算机设备,包括依次通信相连的存储器、处理器和收发器,其中,所述存储器用于存储计算机程序,所述收发器用于收发消息,所述处理器用于读取所述计算机程序,执行如第一方面任意一种可能的设计中所述的FPGA软件测试方法。
第四方面,本发明提供一种计算机可读存储介质,所述计算机可读存储介质上存储有指令,当所述指令在计算机上运行时,执行如第一方面任意一种可能的设计中所述的FPGA软件测试方法。
第五方面,本发明提供一种包含指令的计算机程序产品,当所述指令在计算机上运行时,使所述计算机执行如第一方面任意一种可能的设计中所述的FPGA软件测试方法。
有益效果:
本发明通过获取以批量形式导入的FPGA被测件源码和需求设计文件,从而可适用多个FPGA被测件的批量导入和后续测试,减少文件导入的人工成本;通过对源码的完整性和可测性进行分析,以判断源码内容是否存在异常,从而可以在源文件缺少等情况时,可进行黑盒设置,进行部分代码黑盒条件下的验证工作;若源码内容无异常,则基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本;根据所述TCL脚本生成对应的测试台和测试台文件,从而可以基于软件测试自动生成测试项和测试台,实现对FPGA被测件单元级和配置项级的测试,克服了现有技术的缺陷,提高了FPGA软件测试的效率;通过对所述测试台文件进行配置和解析,生成测试文档并输出,优选的,所述测试文档支持GJB438B格式文档,从而支持对军工FPGA软件进行测试。
附图说明
图1为本实施例中的FPGA软件测试方法的流程图;
图2为本实施例中的缺陷检查流程示意图;
图3为本实施例中的功能验证流程示意图。
具体实施方式
为使本说明书实施例的目的、技术方案和优点更加清楚,下面将结合本说明书实施例中的附图,对本说明书实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例是本说明书一部分实施例,而不是全部的实施例。基于本说明书中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
实施例
为了解决现有技术中存在的手动编写测试台和测试序列,导致测试过程操作繁琐、耗费大量人力物力且效率低下的技术问题,本申请实施例提供了一种FPGA软件测试方法,该方法可适用多个FPGA被测件的批量导入和后续测试,减少文件导入的人工成本;可在源文件缺少等情况时,可进行黑盒设置,进行部分代码黑盒条件下的验证工作;能够基于软件测试自动生成测试项和测试台,实现对FPGA被测件单元级和配置项级的测试,克服了现有技术的缺陷,提高了FPGA软件测试的效率。
如图1-图3所示,第一方面,本实施例提供一种FPGA软件测试方法,包括但不限于由步骤S101~S105实现,具体如下:
步骤S101.获取以批量形式导入的FPGA被测件源码和需求设计文件;
其中,需要说明的是,现有的软件测试方法在导入软件代码文件时,需要测试人员手动逐份导入文件,导致效率低下,因此,本实施例通过底层逻辑设置,可支持以工程为单位对多个FPGA被测件源码和需求设计文件进行批量导入,提高软件测试效率;优选的,在导入源文件后,本实施例可自动计算源码的有效注释率,从而减少了有效注释率人工统计的成本,提高了代码分析效率。
其中,在步骤S101之前,本实施例还需要启动测试平台和新建测试工程,然后将多个FPGA被测件源码和需求设计文件导入到测试工程中,以便进行后续的软件测试工作;其中,优选的,在建立测试工程后,本实施例可自动识别工程详细参数,并管理输入的需求文档。
其中,优选的,在获取以批量形式导入的FPGA被测件源码和需求设计文件之后,所述方法还包括:
对FPGA被测件源码和需求设计文件进行存储。
基于上述公开的内容,本实施例通过获取以批量形式导入的FPGA被测件源码和需求设计文件,从而可适用多个FPGA被测件的批量导入和后续测试,减少文件导入的人工成本。
步骤S102.对源码的完整性和可测性进行分析,以判断源码内容是否存在异常;
其中,需要说明的的是,由于某些源文件在导入时可能存在内容缺失和语法错误,导致后续软件测试结果不准确,因此,优选的,在进行源码测试之前,本实施例对源码的完整性和可测性进行分析,以判断源码内容是否存在异常,包括:
基于搜索算法检测源码中是否存在内容缺失,若存在内容缺失,则判定源码内容存在异常;
例如:若源码中引用了第三方代码文件,但仅仅给出了文件名称,没有具体的代码文件内容,则基于搜索算法检索到源码内容存在缺失,即源码内容存在异常。
基于语法分析算法检测源码中是否存在语法错误,若存在语法错误,则判定源码内容存在异常。
那么,优选的,在判定源码内容存在异常后,所述方法还包括:
对源码内容和/或语法错误进行校正,并重新获取校正后的FPGA被测件源码。
基于上述公开的内容,本实施例通过对源码的完整性和可测性进行分析,以判断源码内容是否存在异常,从而可以在源文件缺少等情况时,可进行黑盒设置,进行部分代码黑盒条件下的验证工作。
步骤S103.若源码内容无异常,则基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL(Tool Command Language,工具命令语言)脚本,根据所述TCL脚本生成对应的测试台和测试台文件,包括:
其中,优选的,在源码内容无异常之后,所述方法还包括:
将FPGA被测件的源码转换为MD5(Message-Digest Algorithm,信息摘要算法)码,以防止软件测试过程中源码被篡改,从而可以确保本实施例中测试的PFGA被测件的代码为最新且准确的代码,未被他人篡改。
如图2所示,作为步骤S103一种具体的实施方式,所述基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本包括:
(1)判断当次测试是否为回归测试,若否,则对源码进行缺陷检查指令定制、缺陷检查类型配置以及缺陷检查TCL脚本生成,并通过执行所述缺陷检查TCL脚本检查源码缺陷,当源码无缺陷时,根据缺陷检查指令和缺陷检查类型生成缺陷检查测试项;
其中,需要说明的是,由于本实施例中的FPGA被测件源码可能会经过多次修改,因此,当次软件测试可能是首次测试,也可能是回归测试,因此需要先判断当次测试是否为回归测试。
其中,对源码进行缺陷检查指令定制既可以是系统自动定制,也可以由测试人员根据需求进行手动定制,当然可以理解的是,优选的是系统自动定制,从而可以减少人工操作成本;其中,所述缺陷检查指令包括但不限于读文件指令和缺陷检查指令。
其中,对源码进行缺陷检查类型配置可以是系统自动进行配置,也可以是测试人员根据需求手动进行配置,当然可以理解的是,优选的是系统自动配置,从而可以减少人工操作成本;其中,所述缺陷检查类型包括但不限于:①影响了重要的特性、用户界面、产品接口、硬件结构接口和全局数据结构,并且设计文档需要正式的变更,如逻辑,指针,循环,递归,功能等缺陷。②需要修改少量代码,如初始化或控制块。如声明、重复命名,范围、限定等缺陷。③与其他组件、模块或设备驱动程序、调用参数、控制块或参数列表相互影响的缺陷等,此处不再赘述。
其中,优选的,在通过执行所述缺陷检查TCL脚本检查源码缺陷之后,所述方法还包括:
当源码有缺陷时,则根据修正后的源码重新生成缺陷检查TCL脚本,直至源码无缺陷。
(2)若是,则直接生成所述缺陷检查TCL脚本,并根据预先配置的测试项属性生成所述缺陷检查测试项;
其中,需要说明的是,由于是回归测试,则系统已经预先对其测试项属性进行了配置,此处的测试项属性包括但不限于上述的缺陷检查指令和缺陷检查类型。
(3)基于所述缺陷检查测试项生成测试台所需的第一TCL脚本,并根据所述第一TCL脚本生成缺陷检查测试台和测试台文件。
其中,优选的,在生成缺陷检查测试台之后,所述方法还包括:将所述测试台发送到第三方的测试台仿真平台对测试台性能进行验证,其中,所述第三方的测试台仿真平台包括但不限于OneSpin和ModelSim等测试平台。
其中,需要说明的是,所述测试台文件包括但不限于测试台波形。
如图3所示,作为步骤S103一种具体的实施方式,所述基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本包括:
(1)判断当次测试是否为回归测试,若否,则根据被测件的需求设计生成源码的功能验证测试项、配置SVA(SystemVerilog Assertion,系统Verilog断言)需求信息、定制功能验证指令和生成源码的功能验证TCL脚本,并基于所述功能验证TCL脚本生成功能验证测试台和测试台文件;
其中,需要说明的是,所述源码的功能验证测试项为系统自动生成,从而无需测试人员手动进行编写,减少了人工成本,提高了软件测试效率;当然可以理解的是,在测试项生成之后,测试人员也可以根据需求对测试项进行修改配置,从而更贴合自身的测试需求。
其中,需要说明的是,所述源码的SVA需求信息既可以是系统自动配置现有的SVA需求信息,也可以是测试人员手动对SVA需求信息进行配置,当然,可以理解的是,本实施例优选为系统自动配置,从而减少人工成本,提高软件测试效率。
(2)若是,则基于所述功能验证TCL脚本直接生成功能验证测试台和测试台文件。
其中,优选的,在生成功能验证测试台之后,所述方法还包括:将所述功能验证测试台发送到第三方的测试台仿真平台对测试台性能进行验证,其中,所述第三方的测试台仿真平台包括但不限于OneSpin和ModelSim等测试平台。
其中,优选的,所述测试台文件包括但不限于波形和功能覆盖率报告。
步骤S104.对所述测试台文件进行配置和解析,生成测试文档并输出。
在步骤S104中,优选的,对所述测试台文件进行配置和解析,生成测试文档并输出,包括:
对所述测试台文件进行配置生成测试文档所需信息,将测试文档所需信息解析转换为GJB438B格式文件并输出,从而用于实现军工FPGA软件产品的测试和验证。
在一种具体的实施方式中,所述方法还包括:对FPGA被测件的测试进行调度和管理。
基于上述公开的内容,本实施例通过获取以批量形式导入的FPGA被测件源码和需求设计文件,从而可适用多个FPGA被测件的批量导入和后续测试,减少文件导入的人工成本;通过对源码的完整性和可测性进行分析,以判断源码内容是否存在异常,从而可以在源文件缺少等情况时,可进行黑盒设置,进行部分代码黑盒条件下的验证工作;若源码内容无异常,则基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本;根据所述TCL脚本生成对应的测试台和测试台文件,从而可以基于软件测试自动生成测试项和测试台,实现对FPGA被测件单元级和配置项级的测试,克服了现有技术的缺陷,提高了FPGA软件测试的效率;通过对所述测试台文件进行配置和解析,生成测试文档并输出,优选的,所述测试文档支持GJB438B格式文档,从而支持对军工FPGA软件进行测试。
第二方面,本发明提供一种FPGA软件测试装置,包括:
获取以批量形式导入的FPGA被测件源码和需求设计文件;
对源码的完整性和可测性进行分析,以判断源码内容是否存在异常;
若源码内容无异常,则基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本;
根据所述TCL脚本生成对应的测试台和测试台文件;
对所述测试台文件进行配置和解析,生成测试文档并输出。
第三方面,本发明提供一种计算机设备,包括依次通信相连的存储器、处理器和收发器,其中,所述存储器用于存储计算机程序,所述收发器用于收发消息,所述处理器用于读取所述计算机程序,执行如第一方面任意一种可能的设计中所述的FPGA软件测试方法。
第四方面,本发明提供一种计算机可读存储介质,所述计算机可读存储介质上存储有指令,当所述指令在计算机上运行时,执行如第一方面任意一种可能的设计中所述的FPGA软件测试方法。
第五方面,本发明提供一种包含指令的计算机程序产品,当所述指令在计算机上运行时,使所述计算机执行如第一方面任意一种可能的设计中所述的FPGA软件测试方法。
最后应说明的是:以上所述仅为本发明的优选实施例而已,并不用于限制本发明的保护范围。凡在本发明的精神和原则之内,所作的任何修改、等同替换、改进等,均应包含在本发明的保护范围之内。
Claims (7)
1.一种FPGA软件测试方法,其特征在于,包括:
获取以批量形式导入的FPGA被测件源码和需求设计文件;
对源码的完整性和可测性进行分析,以判断源码内容是否存在异常;
若源码内容无异常,则基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本,根据所述TCL脚本生成对应的测试台和测试台文件;
对所述测试台文件进行配置和解析,生成测试文档并输出;
基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本,根据所述TCL脚本生成对应的测试台和测试台文件,包括:
判断当次测试是否为回归测试,若否,则对源码进行缺陷检查指令定制、缺陷检查类型配置以及缺陷检查TCL脚本生成,并通过执行所述缺陷检查TCL脚本检查源码缺陷,当源码无缺陷时,根据缺陷检查指令和缺陷检查类型生成缺陷检查测试项;
若是,则直接生成所述缺陷检查TCL脚本,并根据预先配置的测试项属性生成所述缺陷检查测试项;
基于所述缺陷检查测试项生成测试台所需的第一TCL脚本,并根据所述第一TCL脚本生成缺陷检查测试台和缺陷检查测试台文件;
在通过执行所述缺陷检查TCL脚本检查源码缺陷之后,所述方法还包括:
当源码有缺陷时,则根据修正后的源码重新生成缺陷检查TCL脚本,直至源码无缺陷;
基于被测件的需求设计生成源码的测试项,并基于所述测试项生成测试台所需的TCL脚本,根据所述TCL脚本生成对应的测试台和测试台文件,包括:
判断当次测试是否为回归测试,若否,则根据被测件的需求设计生成源码的功能验证测试项、配置SVA需求信息、定制功能验证指令和生成源码的功能验证TCL脚本,并基于所述功能验证TCL脚本生成功能验证测试台和功能验证测试台文件;
若是,则基于所述功能验证TCL脚本直接生成功能验证测试台和功能验证测试台文件。
2.根据权利要求1所述的FPGA软件测试方法,其特征在于,对源码的完整性和可测性进行分析,以判断源码内容是否存在异常,包括:
基于搜索算法检测源码中是否存在内容缺失,若存在内容缺失,则判定源码内容存在异常;
基于语法分析算法检测源码中是否存在语法错误,若存在语法错误,则判定源码内容存在异常。
3.根据权利要求2所述的FPGA软件测试方法,其特征在于,在判定源码内容存在异常后,所述方法还包括:
对源码内容和/或语法错误进行校正,并重新获取校正后的FPGA被测件源码。
4.根据权利要求1所述的FPGA软件测试方法,其特征在于,在判定源码内容无异常之后,所述方法还包括:
将FPGA被测件源码转换为MD5码,以防止软件测试过程中源码被篡改。
5.根据权利要求1所述的FPGA软件测试方法,其特征在于,对所述测试台文件进行配置和解析,生成测试文档并输出,包括:
对所述测试台文件进行配置生成测试文档所需信息,将测试文档所需信息解析转换为GJB438B格式文件并输出。
6.根据权利要求1所述的FPGA软件测试方法,其特征在于,所述方法还包括:对FPGA被测件的测试进行调度和管理。
7.一种计算机设备,其特征在于,包括依次通信相连的存储器、处理器和收发器,其中,所述存储器用于存储计算机程序,所述收发器用于收发消息,所述处理器用于读取所述计算机程序,执行如权利要求1-6任意一项所述的FPGA软件测试方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202210375255.0A CN114661615B (zh) | 2022-04-11 | 2022-04-11 | 一种fpga软件测试方法和设备 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202210375255.0A CN114661615B (zh) | 2022-04-11 | 2022-04-11 | 一种fpga软件测试方法和设备 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN114661615A CN114661615A (zh) | 2022-06-24 |
CN114661615B true CN114661615B (zh) | 2024-01-30 |
Family
ID=82034631
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202210375255.0A Active CN114661615B (zh) | 2022-04-11 | 2022-04-11 | 一种fpga软件测试方法和设备 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN114661615B (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN115098400B (zh) * | 2022-07-19 | 2022-12-06 | 北京航空航天大学 | 一种基于sva形式化验证的fpga软件仿真测试环境建立方法 |
Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20010009138A (ko) * | 1999-07-07 | 2001-02-05 | 윤종용 | 내장 시스템 소프트웨어를 테스트하기 위한 시스템 및 방법 |
US8065128B1 (en) * | 2003-10-23 | 2011-11-22 | Altera Corporation | Methods and apparatus for automated testbench generation |
CN105868114A (zh) * | 2016-03-31 | 2016-08-17 | 复旦大学 | Fpga软件系统及其各模块测试系统和方法 |
CN107678973A (zh) * | 2017-10-31 | 2018-02-09 | 北京润科通用技术有限公司 | 一种测试脚本的自动生成方法及系统 |
CN107797929A (zh) * | 2017-10-26 | 2018-03-13 | 北京广利核系统工程有限公司 | 可编程逻辑仿真测试功能覆盖率的统计方法和装置 |
KR20180083531A (ko) * | 2017-01-13 | 2018-07-23 | 한국전자통신연구원 | 위성관제 소프트웨어를 위한 테스트 자동화 시스템 및 테스트 자동화 방법 |
CN112380112A (zh) * | 2020-10-14 | 2021-02-19 | 浙江望安科技有限公司 | 一种Java自动形式化建模检测验证方法及系统 |
CN113706110A (zh) * | 2021-08-30 | 2021-11-26 | 航天中认软件测评科技(北京)有限责任公司 | 一种fpga测试工具一体化测试管理平台 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20110173591A1 (en) * | 2010-01-13 | 2011-07-14 | Target Brands, Inc. | Unit Test Generator |
US20170357927A1 (en) * | 2016-06-10 | 2017-12-14 | Accenture Global Solutions Limited | Process management for documentation-driven solution development and automated testing |
-
2022
- 2022-04-11 CN CN202210375255.0A patent/CN114661615B/zh active Active
Patent Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20010009138A (ko) * | 1999-07-07 | 2001-02-05 | 윤종용 | 내장 시스템 소프트웨어를 테스트하기 위한 시스템 및 방법 |
US8065128B1 (en) * | 2003-10-23 | 2011-11-22 | Altera Corporation | Methods and apparatus for automated testbench generation |
CN105868114A (zh) * | 2016-03-31 | 2016-08-17 | 复旦大学 | Fpga软件系统及其各模块测试系统和方法 |
KR20180083531A (ko) * | 2017-01-13 | 2018-07-23 | 한국전자통신연구원 | 위성관제 소프트웨어를 위한 테스트 자동화 시스템 및 테스트 자동화 방법 |
CN107797929A (zh) * | 2017-10-26 | 2018-03-13 | 北京广利核系统工程有限公司 | 可编程逻辑仿真测试功能覆盖率的统计方法和装置 |
CN107678973A (zh) * | 2017-10-31 | 2018-02-09 | 北京润科通用技术有限公司 | 一种测试脚本的自动生成方法及系统 |
CN112380112A (zh) * | 2020-10-14 | 2021-02-19 | 浙江望安科技有限公司 | 一种Java自动形式化建模检测验证方法及系统 |
CN113706110A (zh) * | 2021-08-30 | 2021-11-26 | 航天中认软件测评科技(北京)有限责任公司 | 一种fpga测试工具一体化测试管理平台 |
Non-Patent Citations (4)
Title |
---|
Christopher K. Zuver等.Internet-based tool for system-on-chip project testing and grading.《Proceedings 2003 IEEE International Conference on Microelectronic Systems Education. MSE'03》.2003,1-2. * |
FPGA测试验证质量保证技术研究;张莎莎等;《微电子学与计算机》(第12期);133-136 * |
Sonar: Writing Testbenches through Python;Varun Sharma等;《2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)》;311 * |
基于GJB 9433的FPGA软件测试环境平台研究与应用;初振华等;《航空标准化与质量》;18-22、41 * |
Also Published As
Publication number | Publication date |
---|---|
CN114661615A (zh) | 2022-06-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107562969B (zh) | 航空发动机控制系统软件的集成方法和装置 | |
US7895575B2 (en) | Apparatus and method for generating test driver | |
US20180307594A1 (en) | System, method and storage device for cim/e model standard compliance test | |
CN107370637B (zh) | 车载ecu通信功能自动化测试系统及方法 | |
CN107329889B (zh) | 一种c编译器自动化测试的方法 | |
CN114661615B (zh) | 一种fpga软件测试方法和设备 | |
JP2006209354A (ja) | 車両用ソフトウェアの検査システム | |
CN109508204B (zh) | 一种前端代码质量检测方法及装置 | |
CN101673200A (zh) | 用户输入模型的检测方法及装置 | |
CN109739760B (zh) | 一种代码调测测试方法及装置、存储介质 | |
CN110955605A (zh) | 一种cpu验证单步动态执行的方法 | |
CN111143228A (zh) | 基于决策表法的测试代码生成方法及装置 | |
CN113836825A (zh) | 神经网络处理器关键标准与验证芯片的应用方法 | |
CN114647568A (zh) | 自动化测试方法、装置、电子设备及可读存储介质 | |
KR100775102B1 (ko) | 임베디드 디바이스상에서 플랫폼 기반 어플리케이션의 품질테스트 결과 예측 시스템 및 그 방법 | |
CN111752823A (zh) | 一种车载电源应用软件的测试方法、装置及设备 | |
Wallin | Verification and validation of software components and component based software systems | |
CN110688299A (zh) | 一种核电厂应用软件自动化测试平台 | |
US11914503B2 (en) | Automated performance measurement over software lifecycle | |
CN109635480A (zh) | 一种基于制图软件的控制逻辑验证和调试方法 | |
CN114401032B (zh) | 面向卫星通信综测仪的测试方法及系统 | |
CN116991706B (zh) | 车辆自动化测试方法、装置、设备及存储介质 | |
CN115525573A (zh) | 一种仪表内的芯片间通信测试方法及系统 | |
CN115373648A (zh) | 一种a2l文件生成方法、装置、设备和介质 | |
CN114371997A (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 | ||
GR01 | Patent grant | ||
GR01 | Patent grant |