CN111274144B - 一种基于网络文件***操作字接口的单元测试方法与*** - Google Patents
一种基于网络文件***操作字接口的单元测试方法与*** Download PDFInfo
- Publication number
- CN111274144B CN111274144B CN202010065774.8A CN202010065774A CN111274144B CN 111274144 B CN111274144 B CN 111274144B CN 202010065774 A CN202010065774 A CN 202010065774A CN 111274144 B CN111274144 B CN 111274144B
- Authority
- CN
- China
- Prior art keywords
- operation word
- test
- function
- file system
- 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.)
- Active
Links
- 238000012360 testing method Methods 0.000 title claims abstract description 140
- 238000000034 method Methods 0.000 claims abstract description 27
- 230000006378 damage Effects 0.000 claims abstract description 9
- 238000010998 test method Methods 0.000 claims abstract description 4
- 230000006870 function Effects 0.000 claims description 84
- 238000004590 computer program Methods 0.000 claims description 12
- 125000004122 cyclic group Chemical group 0.000 claims description 12
- 230000004044 response Effects 0.000 claims description 10
- 238000010276 construction Methods 0.000 claims description 8
- 239000002131 composite material Substances 0.000 claims description 5
- 238000011423 initialization method Methods 0.000 claims description 5
- 238000011161 development Methods 0.000 abstract description 9
- 230000008569 process Effects 0.000 abstract description 8
- 238000012423 maintenance Methods 0.000 abstract description 5
- 230000004048 modification Effects 0.000 abstract description 4
- 238000012986 modification Methods 0.000 abstract description 4
- 230000006399 behavior Effects 0.000 description 4
- 230000000694 effects Effects 0.000 description 3
- 150000001875 compounds Chemical class 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000005538 encapsulation Methods 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
Images
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/3688—Test management for test execution, e.g. scheduling of test suites
-
- 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/3692—Test 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 (8)
1.一种基于网络文件***操作字接口的单元测试方法,其特征在于,所述方法包括以下步骤:
S1、在NFS-Ganesha用户态网络文件***源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件;
S2、建立NFS-Ganesha用户态网络文件***操作字接口单元测试头文件;
S3、利用用户态网络文件***操作字接口测试单元头文件构建网络文件***操作字接口的单元测试基类;所述测试基类的构建包括:
构建初始化方法,对data结构初始化分配空间;
初始化NFS-Ganesha操作字ops请求与响应结构,并分配空间;
构建销毁方法,包括释放data结构目录项缓存,释放操作字响应结构,释放复合请求data结构;
获取文件句柄打桩函数,从操作字请求ops中获取文件句柄;
设置导出共享打桩函数,并初始化导出共享参数设置;
构建操作字请求例程,参数包括具体的函数操作字指针和具体的操作字名称;
S4、通过单元测试主函数设置网络文件***所需的预设选项,添加全局操作字请求布局参数,执行测试函数;
S5、初始化测试函数参数,通过操作字接口函数根据设置的操作字接口循环访问次数,调用测试基类的打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
2.根据权利要求1所述的一种基于网络文件***操作字接口的单元测试方法,其特征在于,所述头文件包括NFS-Ganesha服务器的最小库接口头文件、NFS v3和v4协议中文件句柄的原型头文件以及NFS协议函数的原型头文件。
3.根据权利要求1所述的一种基于网络文件***操作字接口的单元测试方法,其特征在于,所述预设选项包括网络文件***配置文件信息、日志信息、debug调试信息、共享导出参数以及控制连接参数。
4.一种基于网络文件***操作字接口的单元测试***,其特征在于,所述***包括:
依赖库构建模块,用于在NFS-Ganesha用户态网络文件***源代码工程目录中,引入Gtest测试框架依赖的函数库和lib库文件;
头文件构建模块,用于建立NFS-Ganesha用户态网络文件***操作字接口单元测试头文件;
测试基类构建模块,用于利用用户态网络文件***操作字接口测试单元头文件构建网络文件***操作字接口的单元测试基类;所述测试基类的构建包括:
构建初始化方法,对data结构初始化分配空间;
初始化NFS-Ganesha操作字ops请求与响应结构,并分配空间;
构建销毁方法,包括释放data结构目录项缓存,释放操作字响应结构,释放复合请求data结构;
获取文件句柄打桩函数,从操作字请求ops中获取文件句柄;
设置导出共享打桩函数,并初始化导出共享参数设置;
构建操作字请求例程,参数包括具体的函数操作字指针和具体的操作字名称;
预设选项设置模块,用于通过单元测试主函数设置网络文件***所需的预设选项,添加全局操作字请求布局参数,执行测试函数;
测试模块,用于初始化测试函数参数,通过操作字接口函数根据设置的操作字接口循环访问次数,调用测试基类的打桩函数,通过循环批量执行,对比返回结果与设置的预期结果是否一致,并统计每次访问操作的时间延迟。
5.根据权利要求4所述的一种基于网络文件***操作字接口的单元测试***,其特征在于,所述头文件包括NFS-Ganesha服务器的最小库接口头文件、NFS v3和v4协议中文件句柄的原型头文件以及NFS协议函数的原型头文件。
6.根据权利要求4所述的一种基于网络文件***操作字接口的单元测试***,其特征在于,所述预设选项包括网络文件***配置文件信息、日志信息、debug调试信息、共享导出参数以及控制连接参数。
7.一种基于网络文件***操作字接口的单元测试设备,其特征在于,包括:
存储器,用于存储计算机程序;
处理器,用于执行所述计算机程序,以实现根据权利要求1至3任一项所述的基于网络文件***操作字接口的单元测试方法。
8.一种可读存储介质,其特征在于,用于保存计算机程序,其中,所述计算机程序被处理器执行时实现根据权利要求1至3任一项所述的基于网络文件***操作字接口的单元测试方法。
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 CN111274144A (zh) | 2020-06-12 |
CN111274144B true 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) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112187563B (zh) * | 2020-09-04 | 2022-05-13 | 苏州浪潮智能科技有限公司 | 一种统计主操作码时延的方法和装置 |
CN112306888B (zh) * | 2020-11-13 | 2022-05-10 | 武汉天喻信息产业股份有限公司 | 一种基于设备库文件接口的测试***和方法 |
Citations (3)
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 | 烽火通信科技股份有限公司 | 一种软件单元测试自动化检测方法及*** |
-
2020
- 2020-01-20 CN CN202010065774.8A patent/CN111274144B/zh active Active
Patent Citations (3)
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 | 烽火通信科技股份有限公司 | 一种软件单元测试自动化检测方法及*** |
Also Published As
Publication number | Publication date |
---|---|
CN111274144A (zh) | 2020-06-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN111428462B (zh) | 通讯协议模板构建的方法及终端设备 | |
WO2020062673A1 (zh) | 智能合约的测试方法、存储介质、测试终端及测试装置 | |
KR20210002701A (ko) | 교차 레벨 트레이스 매핑을 통한 실행 제어 | |
US9329985B1 (en) | Using emulation to disassociate verification from stimulus in functional test | |
CN107025167B (zh) | 在处理器追踪日志中使用编译器类型信息进行数据流分析的方法和设备 | |
US20170153969A1 (en) | System and method for executing integration tests in multiuser environment | |
WO2014099046A1 (en) | On-the-fly technical support | |
CN111274144B (zh) | 一种基于网络文件***操作字接口的单元测试方法与*** | |
JP6976064B2 (ja) | モデルチェックのためのデータ構造抽象化 | |
CN111782207B (zh) | 任务流代码生成方法、装置、设备及存储介质 | |
CN115952758A (zh) | 芯片验证方法、装置、电子设备及存储介质 | |
Sottile et al. | Semi-automatic extraction of software skeletons for benchmarking large-scale parallel applications | |
US9116714B2 (en) | Methods and systems for file processing | |
CN113420520B (zh) | 集成电路装置设计仿真方法、装置、设备和可读存储介质 | |
US11755458B2 (en) | Automatic software behavior identification using execution record | |
US20130111431A1 (en) | Validation of a system model including an activity diagram | |
CN116775202A (zh) | 模糊测试方法、装置、介质、电子设备及计算机程序产品 | |
KR102117165B1 (ko) | 바이너리 분석을 위한 중간 언어 테스트 방법 및 장치 | |
CN104915352B (zh) | 一种验证MapReduce环境下处理数据正确性的方法和装置 | |
Chen | Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm. | |
CN113220586A (zh) | 一种自动化的接口压力测试执行方法、装置和*** | |
Clements et al. | Is your firmware real or re-hosted?. | |
EP2782005A1 (en) | Verifying state reachability in a statechart model having computer program code embedded therein | |
Lee et al. | An automated testing and debugging toolkit for gate-level logic synthesis applications | |
Joshi et al. | Automatic generation of fault trees from AADL models |
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 |