CN103942142A - 应用程序业务的检测方法及装置 - Google Patents

应用程序业务的检测方法及装置 Download PDF

Info

Publication number
CN103942142A
CN103942142A CN201410127833.4A CN201410127833A CN103942142A CN 103942142 A CN103942142 A CN 103942142A CN 201410127833 A CN201410127833 A CN 201410127833A CN 103942142 A CN103942142 A CN 103942142A
Authority
CN
China
Prior art keywords
adaptation layer
related data
interface
request
application program
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
CN201410127833.4A
Other languages
English (en)
Other versions
CN103942142B (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.)
Beijing Baidu Netcom Science and Technology Co Ltd
Original Assignee
Beijing Baidu Netcom Science and 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 Baidu Netcom Science and Technology Co Ltd filed Critical Beijing Baidu Netcom Science and Technology Co Ltd
Priority to CN201410127833.4A priority Critical patent/CN103942142B/zh
Publication of CN103942142A publication Critical patent/CN103942142A/zh
Application granted granted Critical
Publication of CN103942142B publication Critical patent/CN103942142B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Landscapes

  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)

Abstract

本发明提供了一种应用程序业务的检测方法及装置,其中,应用程序业务的检测方法包括:建立适配层,并为适配层提供接口,其中,接口包括适配层根据应用程序的请求写入对应业务的相关数据的接口和适配层根据框架层的请求读取对应业务的相关数据的接口;以及对适配层进行测试。本发明实施例提供的应用程序业务的检测方法及装置,通过建立适配层,并为适配层提供用于框架层获得相关业务数据的接口,以及对适配层进行测试,即可完成对应用程序业务的测试,测试速度快、测试效率高且实现简单。

Description

应用程序业务的检测方法及装置
技术领域
本发明涉及计算机技术领域,尤其涉及一种应用程序业务的检测方法及装置。 
背景技术
目前,在对安卓android系统的框架层(framework)的部分代码修改后,需要对修改代码的框架层(framework)的功能进行测试。目前,可采用以下两种测试方式对修改代码的框架层的功能进行测试,其中: 
第一种方式:在修改框架层的代码之后,将其编译成固件包(rom),并刷入以安卓为系统的移动终端或虚拟机中,然后编写一个测试用的应用程序APP(Application),通过运行测试用的应用程序测试修改后的framework层代码,如果发现应用程序中存在问题,则对框架层的代码进行修改,并在修改之后再进行测试,直到应用程序正常运行正常,停止对框架层进行测试。 
第二种方式:将框架层代码导入到集成开发环境IDE(Integrated Development Environment)中,并将框架层的源码进行修改、编译,在编译成功之后,将框架层的源码刷入以安卓为系统的移动终端或虚拟机中,然后通过使用IDE工具进行调试。 
由此可以看出,上述两种测试方式均需要修改框架层的代码之后,才能测试新的代码是否可以正常使用,测试效率低,需要多次重复测试。 
发明内容
本发明旨在至少在一定程度上解决相关技术中的技术问题之一。为此,本发明第一方面实施例在于提出一种具有测试效率高的应用程序业务的测试方法。 
本发明的第二方面实施例在于提出一种应用程序业务的测试装置。 
为了实现上述目的,本发明第一方面实施例的应用程序业务的测试方法,包括:建立适配层,并为所述适配层提供接口,其中,所述接口包括所述适配层根据应用程序的请求写入对应业务的相关数据的接口和所述适配层根据所述框架层的请求读取对应业务的相关数据的接口;以及对所述适配层进行测试。 
根据本发明实施例的应用程序业务的测试方法,通过建立适配层,并为适配层提供用于框架层获得相关业务数据的接口,以及对适配层进行测试,即可完成对应用程序业务的 测试,测试速度快、测试效率高且实现简单。 
为了实现上述目的,本发明第二方面实施例的应用程序业务的测试装置,包括:建立模块,用于建立适配层,并为所述适配层提供接口,其中,所述接口包括所述适配层根据应用程序的请求写入对应业务的相关数据的接口和所述适配层根据所述框架层的请求读取对应业务的相关数据的接口;以及测试模块,用于对所述建立模块建立的所述适配层进行测试。 
根据本发明实施例的应用程序业务的测试装置,通过建立模块建立适配层,并为适配层提供用于框架层获得相关业务数据的接口,以及通过测试模块对适配层进行测试,即可完成对应用程序业务的测试,测试速度快、测试效率高且实现简单。 
附图说明
图1是根据本发明一个实施例的应用程序业务的测试方法流程图。 
图2是根据本发明另一个实施例的应用程序业务的测试方法流程图。 
图3是根据本发明一个实施例的应用程序、适配层和框架层的逻辑关系示意图。 
图4是根据本发明一个实施例的应用程序业务的测试装置的结构示意图。 
具体实施方式
下面详细描述本发明的实施例,所述实施例的示例在附图中示出,其中自始至终相同或类似的标号表示相同或类似的元件或具有相同或类似功能的元件。下面通过参考附图描述的实施例是示例性的,旨在用于解释本发明,而不能理解为对本发明的限制。 
下面参考附图描述本发明实施例的应用程序业务的测试方法及装置。 
图1是根据本发明一个实施例的应用程序业务的测试方法流程图。如图1所示,该应用程序业务的测试方法包括: 
S101,建立适配层,并为适配层提供接口,其中,接口包括适配层根据应用程序的请求写入对应业务的相关数据的接口和适配层根据框架层的请求读取对应业务的相关数据的接口。 
在本实施例中,为了实现不同应用程序(APP,Application)的业务,需要向框架层(Framework)写对应的数据。例如,当APP为地图时,该APP的业务可以为定位业务,定位业务需要的数据可以包括但不局限于基站信息和无线保真(wifi)信息等。其中,框架层包含实现不同应用程序不同业务的代码。 
在本实施例中,适配层提供了两类接口,其中: 
第一类接口为写数据的接口,即适配层根据应用程序的请求写入对应业务的相关数据 的接口,具体地,适配层可以根据应用程序的请求将对应业务的相关数据写入数据库,也可以写入文件。 
第二类接口为读数据的接口,即适配层根据框架层的请求读取对应业务的相关数据的接口,具体地,适配层根据框架层的请求从数据库读取对应业务的相关数据,也可以从文件读取对应业务的相关数据。 
S102,对适配层进行测试。 
对适配层进行测试包括对适配层的接口进行测试,在通过测试后框架层可以通过调用适配层的接口来从数据库或文件中获得所需的业务数据,进而根据这些业务数据完成对应的业务。 
由于框架层包含实现不同业务的代码,因此,框架层可以通过适配层提供接口获得实现不同业务的业务数据,从而可以完成不同的业务。而本实施例中仅需要对适配层进行测试,该种测试方式相对于现有修改框架层代码的方式,测试效率高且实现简单。 
上述应用程序业务的测试方法实施例,通过建立适配层,并为该适配层提供用于框架层获得相关业务数据的接口,以及对该适配层进行测试,即可完成对应用程序业务的测试,测试速度快、测试效率高且实现简单。 
图2是根据本发明另一个实施例的应用程序业务的测试方法流程图。如图2所示,该测试方法包括: 
S200,获得待测试业务的相关数据,根据相关数据确定数据库结构,根据确定的数据库结构生成数据库。 
在该实施例中,采用预定结构的数据库保存业务数据,有利于提高数据的存取效率。 
需要说明的是,该步骤为可选步骤,即若在进行测试之前已建立好数据库,则不需执行此步骤。 
S201,建立适配层,将应用程序对应的业务封装在适配层,并为适配层提供接口。 
在本实施例中,适配层提供了两类接口,第一类接口是根据应用程序的请求将定位业务的相关数据例如基站数据和wifi数据写入上述数据库的接口,第二类接口是根据框架层的请求从上述数据库读取定位业务的相关数据例如基站数据和wifi数据的接口。 
其中,将应用程序对应的业务封装在适配层包括:对应用程序对应业务的相关数据进行整合。由于定位业务的相关数据例如基站数据和wifi数据是零散的,为了加快测试的速度,需要按照预定的格式对这些业务数据进行整合。 
具体地,适配层可以根据应用程序的请求使用数据传输协议将对应业务的相关数据写入数据库,或者,可以根据框架层的请求使用数据传输协议从数据库读取对应业务的相关数据,其中,应用程序、适配层和框架层的逻辑关系如图3所示。 
更具体地,上述数据传输协议可以为安卓接口定义语言(AIDL)协议或其他协议。 
S202,对适配层进行测试。 
对适配层的接口进行测试,在接口通过测试后框架层可以通过调用适配层的接口来从数据库中获得所需的业务数据,进而根据这些业务数据完成对应的业务。 
具体地,将framework层编译为固件包(rom),并刷入安卓(android)手机,由于接口已经验证,所以此时仅需要验证调用是否正确即可,因为接口已经测试正确,所以此时不用关心在framework层内部其他代码的运行状态。由此可见,该种测试方式相对于现有修改框架层代码的方式,测试效率高且实现简单。 
上述应用程序业务的测试方法实施例,通过建立适配层,并为适配层提供用于框架层获得相关业务数据的接口,并对适配层进行测试,即可完成对应用程序业务的测试,测试速度快、测试效率高且实现简单。 
为了实现上述实施例,本发明还提出一种应用程序业务的测试装置。 
图4是根据本发明一个实施例的应用程序业务的测试装置的结构示意图。如图4所示,该应用程序业务的测试装置包括:建立模块110和测试模块120。 
具体地,建立模块110用于建立适配层,并为适配层提供接口,其中,接口包括适配层根据应用程序的请求写入对应业务的相关数据的接口和适配层根据框架层的请求读取对应业务的相关数据的接口。 
具体而言,为了实现不同应用程序(APP)的业务,需要向框架层(Framework)写对应的数据。例如,当APP为地图时,该APP的业务可以为定位业务,定位业务需要的数据可以包括但不局限于基站信息和无线保真(wifi)信息等。其中,框架层包含实现不同应用程序不同业务的代码。 
进一步而言,适配层提供了两类接口,其中: 
第一类接口为写数据的接口,即适配层根据应用程序的请求写入对应业务的相关数据的接口,具体地,适配层可以根据应用程序的请求将对应业务的相关数据例如基站数据和wifi数据写入数据库,也可以写入文件。 
第二类接口为读数据的接口,即适配层根据框架层的请求读取对应业务的相关数据的接口,具体地,适配层根据框架层的请求从数据库读取对应业务的相关数据例如基站数据和wifi数据,也可以从文件读取对应业务的相关数据例如基站数据和wifi数据。 
另外,在建立模块110建立适配层之后,建立模块110还用于将应用程序对应的业务封装在适配层。具体而言,不同应用程序对应着不同的业务,在建立模块110建立适配层之后,建立模块110通过将不同应用程序的不同业务均封装在适配层中,可以实现对不同应用程序的不同业务数据的统一管理。 
上述建立模块110具体用于:对应用程序对应业务的相关数据进行整合。具体而言,例如,当APP为地图时,该APP的业务可以为定位业务,可将定位业务的相关数据例如基站数据和wifi数据写入数据库或者文件,写入数据库或者文件的如基站数据和wifi数据是零散的,为了加快测试的速度,建立模块110还可以按照预定的格式对这些业务数据进行整合。 
具体地,建立模块110建立的适配层根据应用程序的请求使用数据传输协议将对应业务的相关数据写入数据库;和/或根据框架层的请求使用数据传输协议从数据库读取对应业务的相关数据。其中,应用程序、适配层和框架层的逻辑关系如图3所示。 
其中,上述数据传输协议可以为安卓接口定义语言AIDL协议或者其他协议。 
具体地,测试模块120用于对建立模块110建立的适配层进行测试。具体而言,测试模块120对适配层进行测试包括对适配层的接口进行测试,在通过测试后框架层可以通过调用适配层的接口来从数据库或文件中获得所需的业务数据,进而根据这些业务数据完成对应的业务。 
进一步而言,在检测模块120对适配层的接口进行测试之后,还可将framework层编译为固件包(rom),并刷入安卓(android)手机,由于接口已经验证,所以此时仅需要验证调用是否正确即可,因为接口已经测试正确,所以此时不用关心在framework层内部其他代码的运行状态。由此可见,该种测试方式相对于现有修改框架层代码的方式,测试效率高且实现简单。 
另外,上述应用程序业务的检测装置还可以包括生成模块130,生成模块130用于在适配层根据应用程序的请求将对应业务的相关数据写入数据库之前,根据对应业务的相关数据确定数据库结构,根据确定的数据库结构生成数据库。 
上述生成模块130通过采用预定结构的数据库保存业务数据,有利于提高数据的存取效率。 
上述包含生成模块130、建立模块110和检测模块120的应用程序业务的检测装置进行检测的过程可参见图1或图2,此处不赘述。 
本发明实施例的应用程序业务的测试装置,通过建立模块建立适配层,并为适配层提供用于框架层获得相关业务数据的接口,以及通过测试模块对适配层进行测试,即可完成对应用程序业务的测试,测试速度快、测试效率高且实现简单。 
在本说明书的描述中,参考术语“一个实施例”、“一些实施例”、“示例”、“具体示例”、或“一些示例”等的描述意指结合该实施例或示例描述的具体特征、结构、材料或者特点包含于本发明的至少一个实施例或示例中。在本说明书中,对上述术语的示意性表述不必须针对的是相同的实施例或示例。而且,描述的具体特征、结构、材料或者特点可以在任一 个或多个实施例或示例中以合适的方式结合。此外,在不相互矛盾的情况下,本领域的技术人员可以将本说明书中描述的不同实施例或示例以及不同实施例或示例的特征进行结合和组合。 
此外,术语“第一”、“第二”仅用于描述目的,而不能理解为指示或暗示相对重要性或者隐含指明所指示的技术特征的数量。由此,限定有“第一”、“第二”的特征可以明示或者隐含地包括至少一个该特征。在本发明的描述中,“多个”的含义是至少两个,例如两个,三个等,除非另有明确具体的限定。 
流程图中或在此以其他方式描述的任何过程或方法描述可以被理解为,表示包括一个或更多个用于实现特定逻辑功能或过程的步骤的可执行指令的代码的模块、片段或部分,并且本发明的优选实施方式的范围包括另外的实现,其中可以不按所示出或讨论的顺序,包括根据所涉及的功能按基本同时的方式或按相反的顺序,来执行功能,这应被本发明的实施例所属技术领域的技术人员所理解。 
应当理解,本发明的各部分可以用硬件、软件、固件或它们的组合来实现。在上述实施方式中,多个步骤或方法可以用存储在存储器中且由合适的指令执行系统执行的软件或固件来实现。例如,如果用硬件来实现,和在另一实施方式中一样,可用本领域公知的下列技术中的任一项或他们的组合来实现:具有用于对数据信号实现逻辑功能的逻辑门电路的离散逻辑电路,具有合适的组合逻辑门电路的专用集成电路,可编程门阵列(PGA),现场可编程门阵列(FPGA)等。 
本技术领域的普通技术人员可以理解实现上述实施例方法携带的全部或部分步骤是可以通过程序来指令相关的硬件完成,所述的程序可以存储于一种计算机可读存储介质中,该程序在执行时,包括方法实施例的步骤之一或其组合。 

Claims (16)

1.一种应用程序业务的测试方法,其特征在于,所述方法包括:
建立适配层,并为所述适配层提供接口,其中,所述接口包括所述适配层根据应用程序的请求写入对应业务的相关数据的接口和所述适配层根据所述框架层的请求读取对应业务的相关数据的接口;以及
对所述适配层进行测试。
2.根据权利要求1所述的方法,其特征在于,在所述建立适配层之后,还包括:
将所述应用程序对应的业务封装在所述适配层。
3.根据权利要求2所述的方法,其特征在于,所述将应用程序对应的业务封装在所述适配层,包括:
对所述应用程序对应业务的相关数据进行整合。
4.根据权利要求1-3任一权利要求所述的方法,其特征在于,所述适配层根据应用程序的请求写入对应业务的相关数据的接口包括:所述适配层根据应用程序的请求将对应业务的相关数据写入数据库或文件的接口;
所述适配层根据所述框架层的请求读取对应业务的相关数据的接口包括:所述适配层根据所述框架层的请求从所述数据库或文件读取对应业务的相关数据的接口。
5.根据权利要求4所述的方法,其特征在于,在所述适配层根据应用程序的请求将对应业务的相关数据写入所述数据库之前,还包括:
根据对应业务的相关数据确定数据库结构,根据确定的所述数据库结构生成所述数据库。
6.根据权利要求4所述的方法,其特征在于,所述适配层根据应用程序的请求将对应业务的相关数据写入数据库包括:所述适配层根据应用程序的请求使用数据传输协议将对应业务的相关数据写入数据库;和/或
所述适配层根据所述框架层的请求读取对应业务的相关数据包括:所述适配层根据所述框架层的请求使用数据传输协议从所述数据库读取对应业务的相关数据。
7.根据权利要求6所述的方法,其特征在于,所述数据传输协议包括安卓接口定义语言AIDL协议。
8.根据权利要求1所述的方法,其特征在于,所述框架层包含实现不同应用程序不同业务的代码。
9.一种应用程序业务的测试装置,其特征在于,所述装置包括:
建立模块,用于建立适配层,并为所述适配层提供接口,其中,所述接口包括所述适配层根据应用程序的请求写入对应业务的相关数据的接口和所述适配层根据所述框架层的请求读取对应业务的相关数据的接口;以及
测试模块,用于对所述建立模块建立的所述适配层进行测试。
10.根据权利要求9所述的装置,其特征在于,所述建立模块,还用于:在所述建立适配层之后,将所述应用程序对应的业务封装在所述适配层。
11.根据权利要求10所述的装置,其特征在于,所述建立模块,具体用于:
对所述应用程序对应业务的相关数据进行整合。
12.根据权利要求9-11任一权利要求所述的装置,其特征在于,所述适配层根据应用程序的请求写入对应业务的相关数据的接口包括:所述适配层根据应用程序的请求将对应业务的相关数据写入数据库或文件的接口;
所述适配层根据所述框架层的请求读取对应业务的相关数据的接口包括:所述适配层根据所述框架层的请求从所述数据库或文件读取对应业务的相关数据的接口。
13.根据权利要求12所述的装置,其特征在于,还包括:
生成模块,用于在所述适配层根据应用程序的请求将对应业务的相关数据写入所述数据库之前,根据对应业务的相关数据确定数据库结构,根据确定的所述数据库结构生成所述数据库。
14.根据权利要求12所述的装置,其特征在于,所述建立模块建立的所述适配层根据应用程序的请求使用数据传输协议将对应业务的相关数据写入数据库;和/或
根据所述框架层的请求使用数据传输协议从所述数据库读取对应业务的相关数据。
15.根据权利要求14所述的装置,其特征在于,所述数据传输协议包括安卓接口定义语言AIDL协议。
16.根据权利要求9所述的装置,其特征在于,所述框架层包含实现不同应用程序不同业务的代码。
CN201410127833.4A 2014-03-31 2014-03-31 应用程序业务的检测方法及装置 Active CN103942142B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201410127833.4A CN103942142B (zh) 2014-03-31 2014-03-31 应用程序业务的检测方法及装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201410127833.4A CN103942142B (zh) 2014-03-31 2014-03-31 应用程序业务的检测方法及装置

Publications (2)

Publication Number Publication Date
CN103942142A true CN103942142A (zh) 2014-07-23
CN103942142B CN103942142B (zh) 2017-11-17

Family

ID=51189815

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201410127833.4A Active CN103942142B (zh) 2014-03-31 2014-03-31 应用程序业务的检测方法及装置

Country Status (1)

Country Link
CN (1) CN103942142B (zh)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106484603A (zh) * 2015-08-26 2017-03-08 阿里巴巴集团控股有限公司 一种业务测试方法及装置
CN107391220A (zh) * 2017-07-20 2017-11-24 北京车和家信息技术有限责任公司 车机蓝牙开发环境的搭建方法、搭建系统及计算机装置
CN111324526A (zh) * 2018-12-14 2020-06-23 北京金山云网络技术有限公司 接口测试系统、方法和服务器

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20090164847A1 (en) * 2007-12-19 2009-06-25 Verizon Data Services Inc. System and method for testing a software engine
CN102520920A (zh) * 2011-11-03 2012-06-27 沈文策 发布应用程序的方法、网络平台、应用程序开发端及系统
CN102521118A (zh) * 2011-11-11 2012-06-27 福建星网视易信息系统有限公司 一种Android程序的自动测试方法
CN102819492A (zh) * 2012-08-02 2012-12-12 中山大学 一种基于Android的关键字驱动自动化测试框架

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20090164847A1 (en) * 2007-12-19 2009-06-25 Verizon Data Services Inc. System and method for testing a software engine
CN102520920A (zh) * 2011-11-03 2012-06-27 沈文策 发布应用程序的方法、网络平台、应用程序开发端及系统
CN102521118A (zh) * 2011-11-11 2012-06-27 福建星网视易信息系统有限公司 一种Android程序的自动测试方法
CN102819492A (zh) * 2012-08-02 2012-12-12 中山大学 一种基于Android的关键字驱动自动化测试框架

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106484603A (zh) * 2015-08-26 2017-03-08 阿里巴巴集团控股有限公司 一种业务测试方法及装置
CN107391220A (zh) * 2017-07-20 2017-11-24 北京车和家信息技术有限责任公司 车机蓝牙开发环境的搭建方法、搭建系统及计算机装置
CN111324526A (zh) * 2018-12-14 2020-06-23 北京金山云网络技术有限公司 接口测试系统、方法和服务器
CN111324526B (zh) * 2018-12-14 2024-04-26 北京金山云网络技术有限公司 接口测试系统、方法和服务器

Also Published As

Publication number Publication date
CN103942142B (zh) 2017-11-17

Similar Documents

Publication Publication Date Title
CN107402788B (zh) 资源打包管理方法与装置
US20230168902A1 (en) Bootstrapping Profile-Guided Compilation and Verification
CN104407980A (zh) 移动应用自动化测试装置和方法
US20110209128A1 (en) Systems, methods and apparatuses for facilitating targeted compilation of source code
CN103036678B (zh) 一种Symbian签名应用认证的方法和系统
CN104932973A (zh) 一种版本兼容测试方法和装置
CN110674047B (zh) 软件测试方法、装置及电子设备
CN109062790A (zh) 车载终端蓝牙固件的升级测试方法
CN113407393B (zh) 芯片验证方法、终端设备、验证平台以及存储介质
Ciman et al. Evaluating Impact of Cross-platform Frameworks in Energy Consumption of Mobile Applications.
CN105468524A (zh) Web接口的自动化测试方法及系统
CN105094905A (zh) 动态加载语言资源的方法和装置
CN110532185A (zh) 测试方法、装置、电子设备和计算机可读存储介质
CN103186463B (zh) 确定软件的测试范围的方法和系统
CN103942142A (zh) 应用程序业务的检测方法及装置
CN105404574B (zh) 一种智能卡与移动终端一致性测试方法及装置
CN108345453A (zh) 代码生成方法、代码生成器及可读存储介质
CN108228965B (zh) 一种存储单元的仿真验证方法、装置和设备
CN109284222B (zh) 软件单元、数据处理系统中的项目测试方法、装置及设备
CN106775916B (zh) 减小应用安装包的方法、装置及电子设备
CN105677560A (zh) 一种测试方法、装置及系统
US20110161716A1 (en) Systems, methods, and apparatuses for providing access to real time information
CN103810087A (zh) 测试应用程序性能的方法和装置
CN110908882A (zh) 一种应用程序的性能分析方法、装置、终端设备及介质
JP2014053011A (ja) アサーション生成装置及び方法並びにプロセッサ検証装置及び方法

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant