CN101645037A - 基础软件平台应用程序接口集成测试覆盖分析方法 - Google Patents

基础软件平台应用程序接口集成测试覆盖分析方法 Download PDF

Info

Publication number
CN101645037A
CN101645037A CN200910169979A CN200910169979A CN101645037A CN 101645037 A CN101645037 A CN 101645037A CN 200910169979 A CN200910169979 A CN 200910169979A CN 200910169979 A CN200910169979 A CN 200910169979A CN 101645037 A CN101645037 A CN 101645037A
Authority
CN
China
Prior art keywords
interface
imad
node
call sequence
coverage
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
CN200910169979A
Other languages
English (en)
Other versions
CN101645037B (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.)
Beihang University
Original Assignee
兰雨晴
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 兰雨晴 filed Critical 兰雨晴
Priority to CN2009101699794A priority Critical patent/CN101645037B/zh
Publication of CN101645037A publication Critical patent/CN101645037A/zh
Application granted granted Critical
Publication of CN101645037B publication Critical patent/CN101645037B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Debugging And Monitoring (AREA)

Abstract

本发明提供了一种基础软件平台应用程序接口集成测试覆盖分析方法,用来评估基础软件平台集成测试用例集对基础软件应用程序接口、接口间交互的覆盖程度。方法结合采用静态分析和动态分析技术,首先采用静态分析技术获得基础软件平台集成应用系统的结构信息,并表示为静态接口方法调用序列图S-IMAD,然后在集成测试用例集执行过程中,通过动态分析技术获得基础软件平台应用程序接口、接口间,以及与其它构件接口间的交互信息,并表示为动态接口方法调用序列图D-IMAD,最后基于S-IMAD和D-IMAD,根据覆盖率分析评估集成测试集对基础软件平台应用程序接口和接口交互的覆盖情况。

Description

基础软件平台应用程序接口集成测试覆盖分析方法
技术领域
本发明涉及软件测试覆盖分析方法,尤其是指适用于基础软件平台的,基于接口方法调用序列图的一种基础软件平台应用程序接口集成测试覆盖分析方法。
背景技术
基础软件平台应用程序接口集成测试的一个目的为:在集成环境中验证组成平台的基础软件的应用程序接口方法、接口方法间顺序约束,以及接口与其它基础软件接口方法间的交互约束的正确性。在进行基础软件平台应用程序接口的集成测试过程中,无论是基础软件厂商、第三方测试机构、或者应用系统开发商面对的共同问题是:如何评估根据典型应用场景设计的集成测试用例集对基础软件平台应用程序接口和接口间交互约束的覆盖情况等。
将基础软件看作为构件,则由基础软件组合形成的基础软件平台可看作是一个构件软件。
虽然目前针对结构化和面向对象软件的覆盖分析方法比较成熟,提出了许多针对程序内部结构的测试覆盖准则,并且有成熟的基于源代码的覆盖分析工具支持基于这些覆盖准则的覆盖分析,如RatioanalPurify、北航软件所开发的SafePro C++和SafePro Java等。
但是针对构件软件的覆盖准则和覆盖分析方法方面研究刚刚起步,由于商业构件的源代码信息不可得,无法应用基于源代码的覆盖分析方法,而且面向单个模块或构件,针对程序内部结构的测试覆盖准则不适用于构件软件,需要针对构件间交互的测试覆盖准则和覆盖分析方法。当前针对构件和构件软件的覆盖分析方法只有Jerry Gao等提出的构件验证测试覆盖分析方法,但其只对单个构件的接口方法间顺序约束的测试覆盖进行了分析,未对构件在集成环境中与其它构件的接口方法间的交互约束进行覆盖分析。
发明内容
本发明针对基础软件平台应用程序接口集成测试覆盖评估的需求,提出一种基于接口方法调用序列图的覆盖分析方法,方法采用静态接口方法调用序列图表示所有可能的基础软件应用程序接口、接口间,以及与其它构件接口间的交互信息,采用动态接口方法调用序列图表示集成测试用例集执行过程中基础软件应用程序接口、接口间,以及与其它构件接口间的交互,然后根据覆盖率评估测试集对基础软件应用程序接口和接口间交互的覆盖。方法包含以下步骤:
(1)采用已有静态分析技术,对基础软件平台集成应用系统进行分析,获取基础软件平台集成应用系统的结构信息,构建静态接口方法调用序列图S-IMAD;
(2)在集成测试用例集的执行过程中,通过动态分析技术获得集成测试用例集运行时基础软件应用程序接口、接口间,以及与其它构件接口间的交互信息,并构建动态接口方法调用序列图D-IMAD;
(3)基于S-IMAD和D-IMAD,根据覆盖率评估测试集对接口和接口交互的覆盖情况。
本发明的技术效果是,提供了一种评估集成测试用例集覆盖基础软件应用程序接口和接口间交互的程度的度量方法。
附图说明
图1为构件C1的接口I1的静态接口方法调用序列图。
图2为执行T1和T2用例后接口I1的D-IMAD动态接口方法调用序列图。
图3为基础软件平台应用程序接口集成测试覆盖分析方法流程图。
具体实施方式
将基础软件看作为构件,则由基础软件组合形成的基础软件平台可看作是一个构件软件,为叙述简单,本专利将基础软件和构件统称为构件。
(1)图1为一种S-IMAD静态接口方法调用序列图,对于构件C的每一个应用程序接口Ik,有一个静态接口方法调用序列图S-IMAD。S-IMAD为一个有向图,S-IMAD表示为一个二元组G=(F,E),其中F是结点的集合,结点代表构件C的接口Ik的公有可访问方法以及在应用系统上下文环境中与Ik具有交互关系的构件接口的公有可访问方法,任意结点Fi的描述包含如下内容:方法所属构件的名称,方法所属构件接口的名称以及方法的名称。E是边的集合,边Ei=(Fi,Fj)表示访问Fi之后访问Fj,代表方法调用序列Fi→Fj。有两种类型的边,条件边和无条件边。条件边有一个谓词条件,表示对方法访问序列Fi→Fj的约束。
S-IMAD描述了构件接口的方法间调用,构件接口间的方法调用,以及构件与系统中其它构件间交互产生的构件间接口方法调用。图1为构件C1的接口I1的静态接口方法调用序列图,描述了构件C1的接口I1的可能的交互。从图中可以看出C1的接口I1与C1的接口I2和C2的接口I2间具有交互关系。
(2)图2为D-IMAD动态接口方法调用序列图,对于构件C的每个应用程序接口Ik,可以建立若干动态接口方法调用序列图D-IMAD,每个D-IMAD表示执行一个给定的集成测试用例集T后,构件C的接口Ik的方法调用序列集。D-IMAD为一个有向图,D-IMAD表示为一个二元组G=(F,E),其中F是结点的集合,结点代表构件C的接口Ik的公有可访问方法以及在应用系统上下文环境中与构件C接口Ik具有交互关系的构件接口的公有可访问方法,任意结点Fi的描述包含如下内容:方法所属构件的名称,方法所属构件接口的名称以及方法的名称。E是边的集合,边
Figure A20091016997900071
表示执行测试集T中的测试用例tn后,方法的调用顺序为访问Fi之后访问Fj,代表方法调用序列Fi→Fj。图2为执行T1和T2用例后接口I1的D-IMAD动态接口方法调用序列图。
本方明的基于接口方法调用序列图的覆盖分析方法,采用静态接口方法调用序列图表示所有可能的基础软件应用程序接口、接口间,以及与其它构件接口间的交互信息,采用动态接口方法调用序列图表示集成测试用例集执行过程中基础软件应用程序接口、接口间,以及与其它构件接口间的交互,然后根据覆盖率评估测试集对基础软件应用程序接口和接口间交互的覆盖。
请参见图3所示,该方法的具体实施过程如下:
(1)采用静态分析技术,对基础软件平台集成应用系统进行分析,获取基础软件平台集成应用系统的结构信息,构建静态接口方法调用序列图S-IMAD。这一活动的目标是获取应用系统的结构信息,并对被评估构件与应用系统的所有可能方法调用建模。
1)获取基础软件平台集成应用系统的结构信息;
应用系统结构信息是指那些组成基础软件平台集成应用系统体系结构的构件、接口、类、类中方法信息,类间、接口间关系信息,以及类间、接口间被调用的方法等信息。该任务的输入为基础软件、应用系统开发商所能提供的所有可用的文档信息,如构件图、类间关系图等,输出为基础软件平台集成应用系统的结构信息。通常基础软件厂商和应用系统开发商提供的信息非常有限,可采用软件逆向工程工具提取结构信息。当前针对采用Java和C++写的软件的逆向工程工具较成熟,逆向工具可以提取字节码软件的结构信息。
2)提取接口方法调用序列,构建静态接口方法调用序列图S-IMAD;
该任务的输入为应用系统结构信息,输出为构件和构件间接口方法调用序列,以及根据方法调用序列构建的静态接口方法调用序列图S-IMAD。因为具体的接口方法调用序列与用户的使用场景相关,S-IMAD中有些接口方法调用序列可能在测试场景运行时不会被调用到。
(2)采用动态分析技术来获得测试集运行时构件接口和接口交互信息,并构建动态接口方法调用序列图D-IMAD。
这一活动的目标是:在测试用例集的执行过程中,提取接口的方法调用序列。输入为应用系统测试集,输出为接口方法调用序列,以及根据接口的方法调用序列构建的动态接口方法调用序列图D-IMAD。
1)提取接口方法调用序列;
在测试集的执行过程中,提取构件的接口方法调用序列,忽略那些非接口方法,如Java API方法、私有方法或那些接口中未定义的公有方法。该任务输入为测试集,输出为接口方法调用序列。根据实际情况,通过对构件的接口进行字节码插桩、产生包装器、利用中间件的功能以及面向方面等技术,也可以采用一些工具,如调试器、性能调优工具等来收集运行时构件间交互信息。可创建构件交互记录器,通过交互记录器记录被监控构件与系统中其它构件间的运行时交互信息,如方法调用序列,方法输入输出值等。
2)构建动态接口方法调用序列图D-IMAD;
该任务将接口方法调用序列建模为动态接口方法调用序列图D-IMAD。输入为构件接口的方法调用序列,输出为构件接口的D-IMAD。
(3)根据覆盖率评估测试用例集的接口交互覆盖情况。
这一活动的目标是计算并分析接口交互覆盖,以评估测试集的接口交互覆盖能力。输入为构件的S-IMAD和执行测试集后获得的D-IMAD,输出为覆盖率。根据如下定义的覆盖率完成测试覆盖分析:
定义1:覆盖率
假设构件应用程序接口的集成测试用例集为T,T包含N个测试用例。D-IMAD显示执行测试用例集T后,在S-IMAD中的结点、转移边和路径覆盖情况。
定义2:结点覆盖率
IMS表示接口交互所调用的所有方法集。ITMS表示在测试集的执行过程中被测试的接口交互方法集。一个接口I,满足结点覆盖,当且仅当在测试集运行后,IMS中所有方法至少执行过一次。结点覆盖率的计算式为:
INode - Coverage = | ITMS ∩ IMS | | IMS | - - - ( 1 )
其中IMS为接口I的S-IMAD的结点的并集,ITMS为执行测试用例集后所获得的接口I的D-IMAD的结点的并集。
定义2:转移边覆盖率
ILinkS表示接口I的S-IMAD中结点间的所有转移边集合。ITLinkS表示在测试集的执行过程中被执行的转移边集合,其值为接口I的D-IMAD中结点间的所有转移边集合。一个接口I,满足转移边覆盖,当且仅当在测试集运行后,ILinkS中所有转移边被至少执行过一次。转移边覆盖率的计算式为:
ILink - Coverage = | ITLinkS ∩ ILinkS | | ILinkS | - - - ( 2 )
定义3:路径覆盖率
一个接口I,满足路径覆盖,当且仅当所有有效路径都被至少执行过一次。有效路径为从接口I的公共可调用方法开始,深度优先遍历接口I的S-IMAD所获得的各结点形成的所有路径的集合;被覆盖的有效路径为从接口I的公共可调用方法开始,深度优先遍历接口I的D-IMAD所获得的各结点形成的所有路径的集合。路径覆盖率的计算式为:
IPath - Coverage = | CoveredValidPaths | ValidPaths - - - ( 3 ) .

Claims (2)

1.一种基础软件平台应用程序接口集成测试覆盖分析方法,用于评估基础软件平台集成测试用例集对基础软件平台应用程序接口和接口间交互的覆盖情况,其特征在于该方法包含以下步骤:
(1)采用已有静态分析技术,对基础软件平台集成应用系统进行分析,构建静态接口方法调用序列图S-IMAD;静态接口方法调用序列图S-IMAD表示基础软件应用程序接口可能的基于API的方法调用序列,且方法调用序列细化为基础软件应用程序接口的方法间调用序列,以及在应用系统上下文中,基础软件应用程序接口方法与应用系统中其它构件接口方法间的调用序列两部分;
(2)在集成测试用例集的执行过程中,通过动态分析技术获得基础软件应用程序接口方法间,以及基础软件应用程序接口方法与应用系统中其它构件接口方法间的调用序列,并构建动态接口方法调用序列图D-IMAD;动态接口方法调用序列图D-IMAD为S-IMAD的实例,描述了在集成测试用例集执行过程中,基础软件应用程序接口的方法调用序列,以及测试用例与方法调用序列间的关系;
(3)基于S-IMAD和D-IMAD,根据结点、转移边和路径覆盖率评估测试集对基础软件应用程序接口和接口间交互的覆盖情况;
其中所述的静态接口方法调用序列图S-IMAD表示为:
对于构件C的每一个应用程序接口Ik,有一个静态接口方法调用序列图S-IMAD;S-IMAD为一个有向图,S-IMAD表示为一个二元组G=(F,E),其中F是结点的集合,结点代表构件C的接口Ik的公有可访问方法以及在应用系统上下文环境中与Ik具有交互关系的构件接口的公有可访问方法,任意结点Fi的描述包含如下内容:方法所属构件的名称,方法所属构件接口的名称以及方法的名称;E是边的集合,边Ei=(Fi,Fj)表示访问Fi之后访问Fj,代表方法调用序列Fi→Fj;有两种类型的边,条件边和无条件边;条件边有一个谓词条件,表示对方法访问序列Fi→Fj的约束;
所述动态接口方法调用序列图D-IMAD表示为:
对于构件C的每个应用程序接口Ik,建立若干动态接口方法调用序列图D-IMAD,每个D-IMAD表示执行一个给定的集成测试用例集T后,构件C的接口Ik的方法调用序列集,以及测试用例与方法调用序列间的关系;D-IMAD为一个有向图,D-IMAD表示为一个二元组G=(F,E),其中F是结点的集合,结点代表构件C的接口Ik的公有可访问方法以及在应用系统上下文环境中与构件C接口Ik具有交互关系的构件接口的公有可访问方法,任意结点Fi的描述包含如下内容:方法所属构件的名称,方法所属构件接口的名称以及方法的名称;E是边的集合,边 E i = ( F i , F j , T t n ) 表示执行测试集T中的测试用例tn后,方法的调用顺序为访问Fi之后访问Fj,代表方法调用序列Fi→Fj
2.如权利要求1所述的基础软件平台应用程序接口集成测试覆盖分析方法,其特征在于,步骤(3)中根据结点、转移边和路径覆盖率的评估所采用的结点覆盖率、转移边覆盖率和路径覆盖率的计算方法为:
(1)结点覆盖率
IMS表示接口交互所调用的所有方法集,ITMS表示在测试集的执行过程中被测试的接口交互方法集;一个接口I,满足结点覆盖,当且仅当在测试集运行后,IMS中所有方法至少执行过一次;结点覆盖率的计算式为:
INode - Coverage = | ITMS ∪ IMS | | IMS | ;
其中IMS为接口I的S-IMAD的结点的并集,ITMS为执行测试用例集后所获得的接口I的D-IMAD的结点的并集;
(2)转移边覆盖率
ILinkS表示接口I的S-IMAD中结点间的所有转移边集合;ITLinkS表示在测试集的执行过程中被执行的转移边集合,其值为接口I的D-IMAD中结点间的所有转移边集合;一个接口I,满足转移边覆盖,当且仅当在测试集运行后,ILinkS中所有转移边被至少执行过一次;转移边覆盖率的计算式为:
ILink - Coverage = | ITLinkS ∩ ILinkS | | ILinkS | ;
(3)路径覆盖率
一个接口I,满足路径覆盖,当且仅当所有有效路径都被至少执行过一次;有效路径为从接口I的公共可调用方法开始,深度优先遍历接口I的S-IMAD所获得的各结点形成的所有路径的集合;被覆盖的有效路径为从接口I的公共可调用方法开始,深度优先遍历接口I的D-IMAD所获得的各结点形成的所有路径的集合;路径覆盖率的计算式为:
IPath - Coverage = | CoveredValidPaths | | ValidPaths | .
CN2009101699794A 2009-09-11 2009-09-11 基础软件平台应用程序接口集成测试覆盖分析方法 Active CN101645037B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN2009101699794A CN101645037B (zh) 2009-09-11 2009-09-11 基础软件平台应用程序接口集成测试覆盖分析方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN2009101699794A CN101645037B (zh) 2009-09-11 2009-09-11 基础软件平台应用程序接口集成测试覆盖分析方法

Publications (2)

Publication Number Publication Date
CN101645037A true CN101645037A (zh) 2010-02-10
CN101645037B CN101645037B (zh) 2011-06-29

Family

ID=41656930

Family Applications (1)

Application Number Title Priority Date Filing Date
CN2009101699794A Active CN101645037B (zh) 2009-09-11 2009-09-11 基础软件平台应用程序接口集成测试覆盖分析方法

Country Status (1)

Country Link
CN (1) CN101645037B (zh)

Cited By (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103268285A (zh) * 2013-05-31 2013-08-28 百度在线网络技术(北京)有限公司 针对api接口的健壮性测试用例自动生成方法和装置
CN104679652A (zh) * 2015-02-15 2015-06-03 北京宇航系统工程研究所 一种基于Markov方法的仿真系统测试用例生成方法
CN103927177B (zh) * 2014-04-18 2017-01-25 扬州大学 基于LDA模型和PageRank算法建立特征接口有向图的方法
WO2017050007A1 (zh) * 2015-09-23 2017-03-30 中兴通讯股份有限公司 一种测试方法及装置
CN106681904A (zh) * 2015-11-11 2017-05-17 阿里巴巴集团控股有限公司 测试件覆盖率及覆盖应用接口的分析方法、装置
CN107038108A (zh) * 2015-08-20 2017-08-11 腾讯科技(深圳)有限公司 软件的测试方法和装置
CN107608902A (zh) * 2017-10-23 2018-01-19 中国联合网络通信集团有限公司 程序接口测试方法及装置
WO2019200800A1 (zh) * 2018-04-17 2019-10-24 平安科技(深圳)有限公司 测试案例的测试效果展示方法、电子装置及存储介质
CN112199275A (zh) * 2020-09-24 2021-01-08 建信金融科技有限责任公司 一种组件接口测试分析方法、装置、服务器以及存储介质
CN113010424A (zh) * 2021-03-17 2021-06-22 平安壹钱包电子商务有限公司 接口自动化测试处理方法、系统、计算机设备与存储介质

Cited By (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103268285A (zh) * 2013-05-31 2013-08-28 百度在线网络技术(北京)有限公司 针对api接口的健壮性测试用例自动生成方法和装置
CN103927177B (zh) * 2014-04-18 2017-01-25 扬州大学 基于LDA模型和PageRank算法建立特征接口有向图的方法
CN104679652A (zh) * 2015-02-15 2015-06-03 北京宇航系统工程研究所 一种基于Markov方法的仿真系统测试用例生成方法
CN104679652B (zh) * 2015-02-15 2017-12-22 北京宇航系统工程研究所 一种基于Markov方法的仿真系统测试用例生成方法
CN107038108A (zh) * 2015-08-20 2017-08-11 腾讯科技(深圳)有限公司 软件的测试方法和装置
WO2017050007A1 (zh) * 2015-09-23 2017-03-30 中兴通讯股份有限公司 一种测试方法及装置
CN106681904A (zh) * 2015-11-11 2017-05-17 阿里巴巴集团控股有限公司 测试件覆盖率及覆盖应用接口的分析方法、装置
CN106681904B (zh) * 2015-11-11 2020-01-31 阿里巴巴集团控股有限公司 测试件覆盖率及覆盖应用接口的分析方法、装置
CN107608902A (zh) * 2017-10-23 2018-01-19 中国联合网络通信集团有限公司 程序接口测试方法及装置
WO2019200800A1 (zh) * 2018-04-17 2019-10-24 平安科技(深圳)有限公司 测试案例的测试效果展示方法、电子装置及存储介质
CN112199275A (zh) * 2020-09-24 2021-01-08 建信金融科技有限责任公司 一种组件接口测试分析方法、装置、服务器以及存储介质
CN112199275B (zh) * 2020-09-24 2023-06-27 建信金融科技有限责任公司 一种组件接口测试分析方法、装置、服务器以及存储介质
CN113010424A (zh) * 2021-03-17 2021-06-22 平安壹钱包电子商务有限公司 接口自动化测试处理方法、系统、计算机设备与存储介质
CN113010424B (zh) * 2021-03-17 2024-04-02 平安壹钱包电子商务有限公司 接口自动化测试处理方法、系统、计算机设备与存储介质

Also Published As

Publication number Publication date
CN101645037B (zh) 2011-06-29

Similar Documents

Publication Publication Date Title
CN101645037B (zh) 基础软件平台应用程序接口集成测试覆盖分析方法
Usman et al. Pollution concern during globalization mode in financially resource-rich countries: do financial development, natural resources, and renewable energy consumption matter?
Daraio et al. Directional distances and their robust versions: Computational and testing issues
US20130117855A1 (en) Apparatus for automatically inspecting security of applications and method thereof
Zheng et al. Perceptions on the state of the art in verification and validation in cyber-physical systems
Amalfitano et al. A general framework for comparing automatic testing techniques of Android mobile apps
Silvestro et al. PyRate: a new program to estimate speciation and extinction rates from incomplete fossil data
CN103577328B (zh) 一种应用的性能分析方法及装置
Holl et al. Mobile application quality assurance
Silva et al. Characterizing mobile apps from a source and test code viewpoint
CN113268243B (zh) 内存预测方法及装置、存储介质、电子设备
CN102402479A (zh) 用于静态分析的中间表示结构
Silva et al. An analysis of automated tests for mobile android applications
CN103617114A (zh) 基于条件与参数变异的第三方构件脆弱性测试方法
Conejero et al. Early evaluation of technical debt impact on maintainability
Leroy et al. When scientific software meets software engineering
Alshahwan et al. Software Testing Research Challenges: An Industrial Perspective
CN114389978A (zh) 一种基于静态污点分析的网络协议侧信道检测方法和系统
Moran et al. Overcoming language dichotomies: toward effective program comprehension for mobile app development
CN109376076A (zh) 一种用于集成系统的测试方法及装置
Villalobos-Arias et al. Evaluation of a model‐based testing platform for Java applications
Wang et al. Off-wall boundary conditions for large-eddy simulation based on near-wall turbulence prediction
CN103186551B (zh) 基于web应用平台的异常分析方法及仿真系统
Zein et al. Static analysis of android apps for lifecycle conformance
CN105339974B (zh) 模拟传感器

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
ASS Succession or assignment of patent right

Owner name: BEIHANG UNIVERSITY

Free format text: FORMER OWNER: LAN YUQING

Effective date: 20130521

C41 Transfer of patent application or patent right or utility model
COR Change of bibliographic data

Free format text: CORRECT: ADDRESS; FROM: 100084 HAIDIAN, BEIJING TO: 100191 HAIDIAN, BEIJING

TR01 Transfer of patent right

Effective date of registration: 20130521

Address after: 100191 Haidian District, Xueyuan Road, No. 37,

Patentee after: Beihang University

Address before: 205, room 2, building 15, building 100084, brown stone garden, Dongmen east gate, Old Summer Palace, Beijing, Haidian District

Patentee before: Lan Yuqing