CN111274144A - 一种基于网络文件系统操作字接口的单元测试方法与系统 - Google Patents

一种基于网络文件系统操作字接口的单元测试方法与系统 Download PDF

Info

Publication number
CN111274144A
CN111274144A CN202010065774.8A CN202010065774A CN111274144A CN 111274144 A CN111274144 A CN 111274144A CN 202010065774 A CN202010065774 A CN 202010065774A CN 111274144 A CN111274144 A CN 111274144A
Authority
CN
China
Prior art keywords
test
operation word
file system
function
network file
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.)
Granted
Application number
CN202010065774.8A
Other languages
English (en)
Other versions
CN111274144B (zh
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.)
Suzhou Inspur Intelligent Technology Co Ltd
Original Assignee
Suzhou Inspur Intelligent 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 Suzhou Inspur Intelligent Technology Co Ltd filed Critical Suzhou Inspur Intelligent Technology Co Ltd
Priority to CN202010065774.8A priority Critical patent/CN111274144B/zh
Publication of CN111274144A publication Critical patent/CN111274144A/zh
Application granted granted Critical
Publication of CN111274144B publication Critical patent/CN111274144B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3688Test management for test execution, e.g. scheduling of test suites
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3692Test management for test results analysis

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明提供了一种基于网络文件系统操作字接口的单元测试方法与系统,本发明通过建立NFS‑Ganesha用户态网络文件系统操作字接口单元测试头文件以及测试基类,并编写接口测试函数进行网络文件系统操作字接口的测试,设置打桩函数,通过循环批量执行,通过测试结果统计访问操作的时间延迟,能够在项目开发阶段有效发现操作字接口的逻辑错误,保证新功能、新修改不会破坏项目代码已有的程序逻辑,且在开发迭代过程中保证原有功能的稳定性,解决了现有技术中测试框架复杂、效率低以及版本迭代维护难的技术问题,在项目开发流程中,本发明的操作字接口单元测试,可在不同系统软件模块中复用,形成一种文件系统操作字接口单元测试框架。

Description

一种基于网络文件系统操作字接口的单元测试方法与系统
技术领域
本发明涉及网络文件系统单元测试技术领域,特别是一种基于网络文件系统操作字接口的单元测试方法与系统。
背景技术
单元测试的目的是对项目代码中的测试单元进行检查和验证,对一个模块、一个函数或者一个类来进行正确性检验的测试工作,单元测试主要进行代码的实现与逻辑进行自查自检,是在软件开发过程中非常重要的流程,软件的独立测试单元要求与软件的其他代码相隔离的情况下进行测试。
现有技术中,通常一个软件代码程序的行为取决于其暴露出来的接口定义,隐藏程序内部复杂逻辑的行为,这种封装特性,不暴露接口内部逻辑。例如,对于一个兼容POSIX的存储系统,其行为由POSIX接口定义。黑盒测试的重点,就是验证存储系统是否能够满足POSIX中定义的行为。
白盒测试则不仅仅关心接口的行为,还关注程序内部的状态,每个存储系统都有很多特性,例如每个存储系统的磁盘布局都不同,那么白盒测试就是要针对这个内部实现的逻辑进行测试,例如在创建、删除一个文件之后,检查磁盘上数据变化是否符合这个特定存储系统的设计预期。
发明内容
本发明的目的是提供一种基于网络文件系统操作字接口的单元测试方法与系统,旨在解决现有技术中测试框架复杂、效率低以及版本迭代维护难的技术问题,实现提高测试效率和稳定性,降低版本迭代维护难易度。
为达到上述技术目的,本发明提供了一种基于网络文件系统操作字接口的单元测试方法,所述方法包括以下步骤:
S1、在NFS-Ganesha用户态网络文件系统源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件;
S2、建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件;
S3、利用用户态网络文件系统操作字接口测试单元头文件构建网络文件系统操作字接口的单元测试基类;
S4、通过单元测试主函数设置网络文件系统所需的预设选项,添加全局操作字请求布局参数,执行测试函数;
S5、初始化测试函数参数,通过操作字接口函数根据设置的操作字接口循环访问次数,调用测试基类的打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
优选地,所述头文件包括NFS-Ganesha服务器的最小库接口头文件、NFS v3和v4协议中文件句柄的原型头文件以及NFS协议函数的原型头文件。
优选地,所述测试基类的实现包括:
构建初始化方法,对data结构初始化分配空间;
初始化NFS-Ganesha操作字ops请求与响应结构,并分配空间;
构建销毁方法,包括释放data结构目录项缓存,释放操作字响应结构,释放复合请求data结构;
获取文件句柄打桩函数,从操作字请求ops中获取文件句柄;
设置导出共享打桩函数,并初始化导出共享参数设置;
构建操作字请求例程,参数包括具体的函数操作字指针和具体的操作字名称。
优选地,所述预设选项包括网络文件系统配置文件信息、日志信息、debug调试信息、共享导出参数以及控制连接参数。
本发明还提供了一种基于网络文件系统操作字接口的单元测试系统,所述系统包括:
依赖库构建模块,用于在NFS-Ganesha用户态网络文件系统源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件;
头文件构建模块,用于建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件;
测试基类构建模块,用于利用用户态网络文件系统操作字接口测试单元头文件构建网络文件系统操作字接口的单元测试基类;
预设选项设置模块,用于通过单元测试主函数设置网络文件系统所需的预设选项,添加全局操作字请求布局参数,执行测试函数;
测试模块,用于初始化测试函数参数,通过操作字接口函数根据设置的操作字接口循环访问次数,调用测试基类的打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
优选地,所述头文件包括NFS-Ganesha服务器的最小库接口头文件、NFS v3和v4协议中文件句柄的原型头文件以及NFS协议函数的原型头文件。
优选地,所述预设选项包括网络文件系统配置文件信息、日志信息、debug调试信息、共享导出参数以及控制连接参数。
本发明还提供了一种基于网络文件系统操作字接口的单元测试设备,包括:
存储器,用于存储计算机程序;
处理器,用于执行所述计算机程序,以实现所述的基于网络文件系统操作字接口的单元测试方法。
本发明还提供了一种可读存储介质,用于保存计算机程序,其中,所述计算机程序被处理器执行时实现所述的基于网络文件系统操作字接口的单元测试方法。
发明内容中提供的效果仅仅是实施例的效果,而不是发明所有的全部效果,上述技术方案中的一个技术方案具有如下优点或有益效果:
与现有技术相比,本发明通过建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件以及测试基类,并编写接口测试函数进行网络文件系统操作字接口的测试,设置打桩函数,通过循环批量执行,通过测试结果统计访问操作的时间延迟,能够在项目开发阶段有效发现操作字接口的逻辑错误,保证新功能、新修改不会破坏项目代码已有的程序逻辑,且在开发迭代过程中保证原有功能的稳定性,解决了现有技术中测试框架复杂、效率低以及版本迭代维护难的技术问题,在项目开发流程中,本发明的操作字接口单元测试,可在不同系统软件模块中复用,形成一种文件系统操作字接口单元测试框架。
附图说明
图1为本发明实施例中所提供的一种基于网络文件系统操作字接口的单元测试框架;
图2为本发明实施例中所提供的一种基于网络文件系统操作字接口的单元测试执行流程示意图。
具体实施方式
为了能清楚说明本方案的技术特点,下面通过具体实施方式,并结合其附图,对本发明进行详细阐述。下文的公开提供了许多不同的实施例或例子用来实现本发明的不同结构。为了简化本发明的公开,下文中对特定例子的部件和设置进行描述。此外,本发明可以在不同例子中重复参考数字和/或字母。这种重复是为了简化和清楚的目的,其本身不指示所讨论各种实施例和/或设置之间的关系。应当注意,在附图中所图示的部件不一定按比例绘制。本发明省略了对公知组件和处理技术及工艺的描述以避免不必要地限制本发明。
下面结合附图对本发明实施例所提供的一种基于网络文件系统操作字接口的单元测试方法与系统进行详细说明。
如图1、2所示,本发明公开了一种基于网络文件系统操作字接口的单元测试方法,所述方法包括以下操作:
S1、在NFS-Ganesha用户态网络文件系统源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件;
S2、建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件;
S3、利用用户态网络文件系统操作字接口测试单元头文件构建网络文件系统操作字接口的单元测试基类;
S4、通过单元测试主函数设置网络文件系统所需的预设选项,添加全局操作字请求布局参数,执行测试函数;
S5、初始化测试函数参数,通过操作字接口函数根据设置的操作字接口循环访问次数,调用测试基类的打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
设置网络文件系统操作子接口预设数据,建立单元测试框架,所述单元测试框架与网络文件系统软件相互独立,互不影响。在NFS-Ganesha用户态网络文件系统源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件,并设置开关部署单元测试套件,在NFS-Ganesha源代码src目录下CMakeLists.txt中,设置开关选项,ON为打开状态。
建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件,所述头文件用于NFS-Ganesha函数声明和宏定义,可以在多个源文件中引用共享。所述头文件包括NFS-Ganesha服务器的最小库接口头文件、NFS v3和v4协议中文件句柄的原型头文件以及NFS协议函数的原型头文件。
利用用户态网络文件系统操作字接口测试单元头文件构建网络文件系统操作字接口的单元测试基类GaeshaNFS4BaseTest,操作字接口函数所使用的变量,在初始化中进行实例化并在销毁方法中释放。本发明实施例中每个操作字接口函数基于线程,互相独立,互不影响。其实现的内容包括以下部分:
构建初始化方法,对data结构初始化分配空间,data中包含用于保持NFS V4协议复合请求状态的必要内容;
初始化NFS-Ganesha操作字ops请求与响应结构,并分配空间;
构建销毁方法,包括释放data结构目录项缓存,释放操作字响应结构,释放复合请求data结构;
获取文件句柄filehandle打桩函数,从操作字请求ops中获取文件句柄;
设置导出共享export打桩函数,并初始化导出共享参数设置;
构建操作字请求例程,参数包括具体的函数操作字指针和具体的操作字名称。
构建操作字接口单元测试函数,宏定义测试操作字名称、待测试文件个数以及测试循环访问次数,测试函数包括两个参数:测试基类以及测试名称。
构建操作字接口函数,根据设置的操作字接口循环访问次数,调用打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
构建单元测试主函数,设置网络文件系统所需的预设选项,添加全局操作字请求布局参数,执行测试函数,统计操作字单元测试结果。所述预设选项包括网络文件系统配置文件信息、日志信息、debug调试信息、共享导出参数以及控制连接参数。
本发明实施例通过建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件以及测试基类,并编写接口测试函数进行网络文件系统操作字接口的测试,设置打桩函数,通过循环批量执行,通过测试结果统计访问操作的时间延迟,能够在项目开发阶段有效发现操作字接口的逻辑错误,保证新功能、新修改不会破坏项目代码已有的程序逻辑,且在开发迭代过程中保证原有功能的稳定性,解决了现有技术中测试框架复杂、效率低以及版本迭代维护难的技术问题,在项目开发流程中,本发明的操作字接口单元测试,可在不同系统软件模块中复用,形成一种文件系统操作字接口单元测试框架。
本发明实施例还公开了一种基于网络文件系统操作字接口的单元测试系统,所述系统包括:
依赖库构建模块,用于在NFS-Ganesha用户态网络文件系统源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件;
头文件构建模块,用于建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件;
测试基类构建模块,用于利用用户态网络文件系统操作字接口测试单元头文件构建网络文件系统操作字接口的单元测试基类;
预设选项设置模块,用于通过单元测试主函数设置网络文件系统所需的预设选项,添加全局操作字请求布局参数,执行测试函数;
测试模块,用于初始化测试函数参数,通过操作字接口函数根据设置的操作字接口循环访问次数,调用测试基类的打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
设置网络文件系统操作子接口预设数据,建立单元测试框架,所述单元测试框架与网络文件系统软件相互独立,互不影响。在NFS-Ganesha用户态网络文件系统源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件,并设置开关部署单元测试套件,在NFS-Ganesha源代码src目录下CMakeLists.txt中,设置开关选项,ON为打开状态。
建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件,所述头文件用于NFS-Ganesha函数声明和宏定义,可以在多个源文件中引用共享。所述头文件包括NFS-Ganesha服务器的最小库接口头文件、NFS v3和v4协议中文件句柄的原型头文件以及NFS协议函数的原型头文件。
利用用户态网络文件系统操作字接口测试单元头文件构建网络文件系统操作字接口的单元测试基类GaeshaNFS4BaseTest,操作字接口函数所使用的变量,在初始化中进行实例化并在销毁方法中释放。本发明实施例中每个操作字接口函数基于线程,互相独立,互不影响。其实现的内容包括以下部分:
构建初始化方法,对data结构初始化分配空间,data中包含用于保持NFS V4协议复合请求状态的必要内容;
初始化NFS-Ganesha操作字ops请求与响应结构,并分配空间;
构建销毁方法,包括释放data结构目录项缓存,释放操作字响应结构,释放复合请求data结构;
获取文件句柄filehandle打桩函数,从操作字请求ops中获取文件句柄;
设置导出共享export打桩函数,并初始化导出共享参数设置;
构建操作字请求例程,参数包括具体的函数操作字指针和具体的操作字名称。
构建操作字接口单元测试函数,宏定义测试操作字名称、待测试文件个数以及测试循环访问次数,测试函数包括两个参数:测试基类以及测试名称。
构建操作字接口函数,根据设置的操作字接口循环访问次数,调用打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
构建单元测试主函数,设置网络文件系统所需的预设选项,添加全局操作字请求布局参数,执行测试函数,统计操作字单元测试结果。所述预设选项包括网络文件系统配置文件信息、日志信息、debug调试信息、共享导出参数以及控制连接参数。
本发明实施例还公开了一种基于网络文件系统操作字接口的单元测试设备,包括:
存储器,用于存储计算机程序;
处理器,用于执行所述计算机程序,以实现所述的基于网络文件系统操作字接口的单元测试方法。
本发明还提供了一种可读存储介质,用于保存计算机程序,其中,所述计算机程序被处理器执行时实现所述的基于网络文件系统操作字接口的单元测试方法。
以上所述仅为本发明的较佳实施例而已,并不用以限制本发明,凡在本发明的精神和原则之内所作的任何修改、等同替换和改进等,均应包含在本发明的保护范围之内。

Claims (9)

1.一种基于网络文件系统操作字接口的单元测试方法,其特征在于,所述方法包括以下步骤:
S1、在NFS-Ganesha用户态网络文件系统源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件;
S2、建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件;
S3、利用用户态网络文件系统操作字接口测试单元头文件构建网络文件系统操作字接口的单元测试基类;
S4、通过单元测试主函数设置网络文件系统所需的预设选项,添加全局操作字请求布局参数,执行测试函数;
S5、初始化测试函数参数,通过操作字接口函数根据设置的操作字接口循环访问次数,调用测试基类的打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
2.根据权利要求1所述的一种基于网络文件系统操作字接口的单元测试方法,其特征在于,所述头文件包括NFS-Ganesha服务器的最小库接口头文件、NFS v3和v4协议中文件句柄的原型头文件以及NFS协议函数的原型头文件。
3.根据权利要求1所述的一种基于网络文件系统操作字接口的单元测试方法,其特征在于,所述测试基类的实现包括:
构建初始化方法,对data结构初始化分配空间;
初始化NFS-Ganesha操作字ops请求与响应结构,并分配空间;
构建销毁方法,包括释放data结构目录项缓存,释放操作字响应结构,释放复合请求data结构;
获取文件句柄打桩函数,从操作字请求ops中获取文件句柄;
设置导出共享打桩函数,并初始化导出共享参数设置;
构建操作字请求例程,参数包括具体的函数操作字指针和具体的操作字名称。
4.根据权利要求1所述的一种基于网络文件系统操作字接口的单元测试方法,其特征在于,所述预设选项包括网络文件系统配置文件信息、日志信息、debug调试信息、共享导出参数以及控制连接参数。
5.一种基于网络文件系统操作字接口的单元测试系统,其特征在于,所述系统包括:
依赖库构建模块,用于在NFS-Ganesha用户态网络文件系统源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件;
头文件构建模块,用于建立NFS-Ganesha用户态网络文件系统操作字接口单元测试头文件;
测试基类构建模块,用于利用用户态网络文件系统操作字接口测试单元头文件构建网络文件系统操作字接口的单元测试基类;
预设选项设置模块,用于通过单元测试主函数设置网络文件系统所需的预设选项,添加全局操作字请求布局参数,执行测试函数;
测试模块,用于初始化测试函数参数,通过操作字接口函数根据设置的操作字接口循环访问次数,调用测试基类的打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
6.根据权利要求5所述的一种基于网络文件系统操作字接口的单元测试系统,其特征在于,所述头文件包括NFS-Ganesha服务器的最小库接口头文件、NFS v3和v4协议中文件句柄的原型头文件以及NFS协议函数的原型头文件。
7.根据权利要求5所述的一种基于网络文件系统操作字接口的单元测试系统,其特征在于,所述预设选项包括网络文件系统配置文件信息、日志信息、debug调试信息、共享导出参数以及控制连接参数。
8.一种基于网络文件系统操作字接口的单元测试设备,其特征在于,包括:
存储器,用于存储计算机程序;
处理器,用于执行所述计算机程序,以实现根据权利要求1至4任一项所述的基于网络文件系统操作字接口的单元测试方法。
9.一种可读存储介质,其特征在于,用于保存计算机程序,其中,所述计算机程序被处理器执行时实现根据权利要求1至4任一项所述的基于网络文件系统操作字接口的单元测试方法。
CN202010065774.8A 2020-01-20 2020-01-20 一种基于网络文件系统操作字接口的单元测试方法与系统 Active CN111274144B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202010065774.8A CN111274144B (zh) 2020-01-20 2020-01-20 一种基于网络文件系统操作字接口的单元测试方法与系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202010065774.8A CN111274144B (zh) 2020-01-20 2020-01-20 一种基于网络文件系统操作字接口的单元测试方法与系统

Publications (2)

Publication Number Publication Date
CN111274144A true CN111274144A (zh) 2020-06-12
CN111274144B CN111274144B (zh) 2023-01-10

Family

ID=70999025

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202010065774.8A Active CN111274144B (zh) 2020-01-20 2020-01-20 一种基于网络文件系统操作字接口的单元测试方法与系统

Country Status (1)

Country Link
CN (1) CN111274144B (zh)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112187563A (zh) * 2020-09-04 2021-01-05 苏州浪潮智能科技有限公司 一种统计主操作码时延的方法和装置
CN112306888A (zh) * 2020-11-13 2021-02-02 武汉天喻信息产业股份有限公司 一种基于设备库文件接口的测试系统和方法
CN113760733A (zh) * 2021-02-02 2021-12-07 北京沃东天骏信息技术有限公司 一种单元测试方法和装置

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106095668A (zh) * 2016-06-02 2016-11-09 上海科梁信息工程股份有限公司 基于事件和动作的c++测试用例的生成方法
CN107807883A (zh) * 2017-10-27 2018-03-16 郑州云海信息技术有限公司 一种用户态网络文件系统的单元测试方法及装置
CN110347589A (zh) * 2019-06-11 2019-10-18 烽火通信科技股份有限公司 一种软件单元测试自动化检测方法及系统

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106095668A (zh) * 2016-06-02 2016-11-09 上海科梁信息工程股份有限公司 基于事件和动作的c++测试用例的生成方法
CN107807883A (zh) * 2017-10-27 2018-03-16 郑州云海信息技术有限公司 一种用户态网络文件系统的单元测试方法及装置
CN110347589A (zh) * 2019-06-11 2019-10-18 烽火通信科技股份有限公司 一种软件单元测试自动化检测方法及系统

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112187563A (zh) * 2020-09-04 2021-01-05 苏州浪潮智能科技有限公司 一种统计主操作码时延的方法和装置
CN112187563B (zh) * 2020-09-04 2022-05-13 苏州浪潮智能科技有限公司 一种统计主操作码时延的方法和装置
CN112306888A (zh) * 2020-11-13 2021-02-02 武汉天喻信息产业股份有限公司 一种基于设备库文件接口的测试系统和方法
CN112306888B (zh) * 2020-11-13 2022-05-10 武汉天喻信息产业股份有限公司 一种基于设备库文件接口的测试系统和方法
CN113760733A (zh) * 2021-02-02 2021-12-07 北京沃东天骏信息技术有限公司 一种单元测试方法和装置

Also Published As

Publication number Publication date
CN111274144B (zh) 2023-01-10

Similar Documents

Publication Publication Date Title
CN111274144B (zh) 一种基于网络文件系统操作字接口的单元测试方法与系统
WO2020062673A1 (zh) 智能合约的测试方法、存储介质、测试终端及测试装置
US8924937B1 (en) Method and system for generating verification information and tests for software
US9465718B2 (en) Filter generation for load testing managed environments
KR20210002701A (ko) 교차 레벨 트레이스 매핑을 통한 실행 제어
CN111930365B (zh) 基于Qt的应用程序快速开发框架、开发方法及运行方法
US20080115116A1 (en) Method and apparatus for dynamically binding service component implementations for specific unit test cases
US9329985B1 (en) Using emulation to disassociate verification from stimulus in functional test
CN111782207B (zh) 任务流代码生成方法、装置、设备及存储介质
CN113704097A (zh) 在处理器追踪日志中使用编译器类型信息进行数据流分析的方法和设备
Sottile et al. Semi-automatic extraction of software skeletons for benchmarking large-scale parallel applications
CN115952758A (zh) 芯片验证方法、装置、电子设备及存储介质
JP2017174418A (ja) モデルチェックのためのデータ構造抽象化
CN113986766A (zh) 一种自动化测试方法及装置
CN116306413A (zh) 一种fpga仿真验证方法、装置、电子设备及存储介质
CN116775202A (zh) 模糊测试方法、装置、介质、电子设备及计算机程序产品
KR102117165B1 (ko) 바이너리 분석을 위한 중간 언어 테스트 방법 및 장치
Lee et al. An automated testing and debugging toolkit for gate-level logic synthesis applications
Clements et al. Is your firmware real or re-hosted?.
Joshi et al. Automatic generation of fault trees from AADL models
Kejstová Model checking with system call traces
US11989122B2 (en) Handling mock objects that are written in the form of multiple assignment instructions
CN112527680B (zh) 一种基于Fitnesse框架的项目API级全链路自动化测试方法及系统
US20240232053A1 (en) Generation of Hardware Description Language (HDL) Code Using Machine Learning
Lappalainen Coverage-guided fuzzing of gRPC interface

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