CN113127366B - 基于模型的矩阵自动化测试方法及计算机可读存储介质 - Google Patents
基于模型的矩阵自动化测试方法及计算机可读存储介质 Download PDFInfo
- Publication number
- CN113127366B CN113127366B CN202110469232.1A CN202110469232A CN113127366B CN 113127366 B CN113127366 B CN 113127366B CN 202110469232 A CN202110469232 A CN 202110469232A CN 113127366 B CN113127366 B CN 113127366B
- Authority
- CN
- China
- Prior art keywords
- test
- logic
- matrix
- generating
- node
- 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
- 239000011159 matrix material Substances 0.000 title claims abstract description 35
- 238000010998 test method Methods 0.000 title claims abstract description 16
- 238000012360 testing method Methods 0.000 claims abstract description 70
- 238000013515 script Methods 0.000 claims abstract description 30
- 238000000034 method Methods 0.000 claims abstract description 26
- 238000010586 diagram Methods 0.000 claims abstract description 15
- 230000009466 transformation Effects 0.000 claims description 7
- 238000001514 detection method Methods 0.000 claims description 3
- 230000007704 transition Effects 0.000 abstract description 4
- 238000012795 verification Methods 0.000 abstract description 3
- 238000013522 software testing Methods 0.000 abstract description 2
- 230000008569 process Effects 0.000 description 6
- 230000006870 function Effects 0.000 description 5
- 230000004048 modification Effects 0.000 description 5
- 238000012986 modification Methods 0.000 description 5
- 230000009471 action Effects 0.000 description 3
- 238000011161 development Methods 0.000 description 3
- 101100394003 Butyrivibrio fibrisolvens end1 gene Proteins 0.000 description 2
- 101150110503 END3 gene Proteins 0.000 description 2
- 101100174722 Saccharomyces cerevisiae (strain ATCC 204508 / S288c) GAA1 gene Proteins 0.000 description 2
- 101100296979 Saccharomyces cerevisiae (strain ATCC 204508 / S288c) PEP5 gene Proteins 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 238000004422 calculation algorithm Methods 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 238000013500 data storage Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 230000005012 migration Effects 0.000 description 1
- 238000013508 migration Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000000750 progressive effect 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/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management
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
本发明涉及软件测试技术领域,提供了一种基于模型的矩阵自动化测试方法,包括如下步骤:S1、标识待测试软件中的功能条件,基于功能条件生成逻辑表;S2、基于逻辑表生成逻辑矩阵图;S3、遍历逻辑矩阵图中的所有路径,生成测试用例及测试用例对应的测试脚本,基于测试脚本对待测试软件进行测试。将复杂的状态机架构映射为清晰的二维场景矩阵,为复杂状态机的测试工作提供一种便捷、灵活、清晰以及高效率的自动化测试方法。可以适用任何涉及状态迁移的测试模型,能够显著提高复杂状态机验证与测试工作效率。
Description
技术领域
本发明涉及软件测试技术领域,提供了一种基于模型的矩阵自动化测试方法及计算机可读存储介质。
背景技术
现代软件工程强调增量和迭代的开发过程,要求提高软件开发质量和加快软件开发速度。大量复杂状态的系统开发已涉及到使用有限状态机开发方法,它的使用可以解决复杂的逻辑问题。常规测试一般是由人来设计特定的测试场景,测试用例固定,缺少不确定性。特别是难以找出复杂的状态机迁移,更加不易筛选出状态机系统的错误和不合格项。
发明内容
本发明提供了一种基于模型的矩阵自动化测试方法,旨在改善上述问题。
本发明是这样实现的,一种基于模型的矩阵自动化测试方法,所述方法具体包括如下步骤:
S1、标识待测试软件中的功能条件,基于功能条件生成逻辑表;
S2、基于逻辑表生成逻辑矩阵图;
S3、遍历逻辑矩阵图中的所有路径,生成测试用例及测试用例对应的测试脚本,基于测试脚本对待测试软件进行测试。
逻辑表的生成方法具体包括如下步骤:
S11、检测待测试软件中的功能条件标识;
S12、检测该功能条件是否为复杂功能条件,若检测结果为是,则将复杂的功能条件等价变换为基本功能条件;
S13、基于等价变换后的基本功能条件生成逻辑表。
逻辑检测表由节点、信息点及有向边组成,节点与节点间、节点与信息点间通过有向边连接;
一个节点对应一个基本功能条件,基于基本功能条件出现顺序依次进行排列;
有向边表示该节点对应基本功能条件的逻辑判断,每个节点存在两个有向;
信息点表示有向边指示的逻辑判断结果。
逻辑矩阵图的生成方法具体包括如下步骤:
S21、获取逻辑表的第一个节点;
S22、生成该节点的两条有向边;
S23、获取各有向边末端的信息点,若信息点为非END,则获取该有向边末端的节点,执行步骤S22,直至最后一个节点的两个有向边的末端信息点均为END。
逻辑矩阵中的一条路径对应一个测试用例。
测试脚本的生成方法具体如下:
S31、构建脚本模板;
S32、将路径中依次出现的节点填充至脚本模板的节点位置,在路径中的最后一个节点填充至脚本模板后,形成该测试用例下的测试脚本。
本发明是这样实现的,一种计算机可读存储介质,所述存储介质中存储有至少一条指令、至少一段程序、代码集或指令集,所述至少一条指令、所述至少一段程序、所述代码集或指令集由处理器加载并执行时实现如上所述基于模型的矩阵自动化测试方法步骤。
本发明能够将复杂的状态机架构映射为清晰的二维场景矩阵,为复杂状态机的测试工作提供一种便捷、灵活、清晰以及高效率的自动化测试方法。可以适用任何涉及状态迁移的测试模型,能够显著提高复杂状态机验证与测试工作效率,并且可保存的场景矩阵现场与自动执行的结果在状态机测试上的应用给相关领域提供了一个新的思路。
附图说明
图1为本发明实施例提供的基于模型的矩阵自动化测试方法流程图;
图2为本发明实施例提供的逻辑矩形图的结构示意图。
具体实施方式
下面对照附图,通过对最优实施例的描述,对本发明的具体实施方式作进一步详细的说明。
图1为本发明实施例提供的基于模型的矩阵自动化测试方法流程图,该方法具体包括如下步骤:
S1、标识待测试软件中的功能条件,基于功能条件生成逻辑表。
在本发明实施例中,逻辑表的生成方法具体如下:
S11、检测待测试软件中的功能条件标识,一般用“if”来标识功能条件;
S12、检测该功能条件是否为复杂功能条件,若检测结果为是,则将复杂的功能条件等价变换为基本功能条件;
若功能条件中存在“and”或“or”逻辑词,则该功能条件为基本功能条件,对基本功能条件等价变换为基本功能条件,转化过程见下表:
S13、基于等价变换后的基本功能条件生成逻辑表;
逻辑检测表由节点、信息点及有向边组成,节点与节点间、节点与信息点间通过有向边连接,其中一个节点对应一个基本功能条件,基于基本功能条件出现顺序依次进行排列;有向边表示该节点对应基本功能条件的逻辑判断,每个节点存在两个有向;信息点表示有向边指示的逻辑判断结果,包括:“Ture”、“False”及“End”。
S2基于逻辑表生成逻辑矩阵图;
在本发明实施例中,逻辑矩阵图的生成方法具体包括如下步骤:
S21、获取逻辑表中的第一个节点;
S22、生成该节点的两条有向边;
S23、获取该各有向边末端的信息点,若信息点为非END,则获取该有向边末端的节点,执行步骤S22,直至最后一个节点的两个有向边的末端信息点均为END。
S3、遍历逻辑矩阵图中的所有路径,生成测试用例及测试用例对应的测试脚本,基于测试脚本对待测试软件进行测试。
在本发明实施例中,一条路径对应一个测试用例,一个测试用例对应一个测试脚本,测试脚本的生成方法具体如下:
S31、构建脚本模板;
S32、将路径中依次出现的节点填充至脚本模板的节点位置,在路径中的最后一个节点填充至脚本模板后,形成该测试用例下的测试脚本。
下面是本发明针对一个具体的实施例对上述记载的技术方案进行更为详细的说明,说明具体如下:在软件测测试分析中,测试分析过程中会验证一个函数的所有功能路径,必须标识出所有的功能条件并生成伪代码,标识出功能条件:
例如:
对复杂功能条件进行等价变换,标识出条件后,必须要确定每条被测试的环境。区分基本功能和复杂功能条件之间。基本功能条件只有一个基本比较组成,条件C1就是基本比较条件的例子。复杂条件是包含多个比较的条件,通过AND及OR等关系来关联,条件C2就是复杂功能条件的例子。对于复杂条件可以等价变换为简单条件。对源代码等价变换后,可以得到所有条件都是基本功能条件的代码:
对应的逻辑表具体如下
C1_1 | C1_2 | |
C1 | 1 | 0 |
P1P2!=0 | True | False |
C21_1 | C21_2 | |
C21 | 1 | 0 |
P3!=04 | True | False |
C22_1 | C22_2 | |
C22 | 1 | 0 |
P3!=08 | True | False |
确定逻辑测试用例,把每个节点(包括C1、C21及C22)和信息点(True、False)通过[有向边](C1_1、C1_2、C21_1、C21_2、C22_1及C22_2)关联起来,状态迁移配置文件格式:节点[有向边]节点
C1[C1_1]END1
C1[C1_2]C21
C21[C21_1]C22
C21[C21_2]END3
C22[C22_1]END2
C22[C22_2]END3
使用有限自动机原理建立逻辑矩阵图,遍历逻辑矩阵图各路径(选择不同的算法,满足不同的覆盖策略)。对于一个自动化测试脚本,有两部分组成:测试逻辑;期望值计算和判断。将测试逻辑分解为一系列基本功能条件的组合(如:C1,C21,C22),将期望值计算视为基本条件组合路径中的信息节点(如:END1,END2,END3)。自动通过遍历逻辑图得出所有路径并生成测试用例和各测试用例下的测试脚本。
测试用例1及测试用例1的测试脚本如下:
测试用例2及测试用例2的测试脚本如下:
测试用例3及测试用例3的测试脚本如下:
测试用例4及测试用例4的测试脚本如下:
本发明能够将复杂的状态机架构映射为清晰的二维场景矩阵,为复杂状态机的测试工作提供一种便捷、灵活、清晰以及高效率的自动化测试方法。可以适用任何涉及状态迁移的测试模型,能够显著提高复杂状态机验证与测试工作效率,并且可保存的场景矩阵现场与自动执行的结果在状态机测试上的应用给相关领域提供了一个新的思路
相应的,本发明提供一种计算机可读存储介质,所述存储介质中存储有至少一条指令、至少一段程序、代码集或指令集,所述至少一条指令、所述至少一段程序、所述代码集或指令集由处理器加载并执行时实现前述所述基于模型的矩阵自动化测试方法步骤。
而前述的存储介质包括:U盘、移动硬盘、只读存储器(ROM,Read-Only Memory)、随机存取存储器(RAM,Random Access Memory)、磁碟或者光盘等各种可以存储程序代码的介质。需要说明的是,在本文中,诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下,由语句“包括一个……”限定的要素,并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
本说明书中的各个实施例均采用递进的方式描述,各个实施例之间相同相似的部分互相参加即可,每个实施例重点说明的都是与其他实施例的不同之处。尤其,对于硬件+程序类实施例而言,由于其基本相似于方法实施例,所以描述的比较简单,相关之处参加方法实施例的部分说明即可。
本说明书实施例并不局限于必须是符合行业通信标准、标准计算机数据处理和数据存储规则或本说明书一个或多个实施例所描述的情况。某些行业标准或者使用自定义方式或实施例描述的实施基础上略加修改后的实施方案也可以实现上述实施例相同、等同或相近、或变形后可预料的实施效果。应用这些修改或变形后的数据获取、存储、判断、处理方式等获取的实施例,仍然可以属于本说明书实施例的可选实施方案范围之内。另外,在本发明各个实施例中的各功能模块可以集成在一起形成一个独立的部分,也可以是各个模块单独存在,也可以两个或两个以上模块集成形成一个独立的部分。
以上所述仅为本发明的优选实施例而已,并不用于限制本发明,对于本领域的技术人员来说,本发明可以有各种更改和变化。凡在本发明的精神和原则之内,所作的任何修改、等同替换、改进等,均应包含在本发明的保护范围之内。应注意到:相似的标号和字母在下面的附图中表示类似项,因此,一旦某一项在一个附图中被定义,则在随后的附图中不需要对其进行进一步定义和解释。
显然本发明具体实现并不受上述方式的限制,只要采用了本发明的方法构思和技术方案进行的各种非实质性的改进,均在本发明的保护范围之内。
Claims (5)
1.一种基于模型的矩阵自动化测试方法,其特征在于,所述方法具体包括如下步骤:
S1、标识待测试软件中的功能条件,基于功能条件生成逻辑表;
S2、基于逻辑表生成逻辑矩阵图;
S3、遍历逻辑矩阵图中的所有路径,生成测试用例及测试用例对应的测试脚本,基于测试脚本对待测试软件进行测试;
逻辑表的生成方法具体包括如下步骤:
S11、检测待测试软件中的功能条件标识;
S12、检测该功能条件是否为复杂功能条件,若检测结果为是,则将复杂的功能条件等价变换为基本功能条件;
S13、基于等价变换后的基本功能条件生成逻辑表;
逻辑矩阵图的生成方法具体包括如下步骤:
S21、获取逻辑表的第一个节点;
S22、生成该节点的两条有向边;
S23、获取各有向边末端的信息点,若信息点为非END,则获取该有向边末端的节点,执行步骤S22,直至最后一个节点的两个有向边的末端信息点均为END。
2.如权利要求1所述基于模型的矩阵自动化测试方法,其特征在于,逻辑检测表由节点、信息点及有向边组成,节点与节点间、节点与信息点间通过有向边连接;
一个节点对应一个基本功能条件,基于基本功能条件出现顺序依次进行排列;有向边表示该节点对应基本功能条件的逻辑判断,每个节点存在两个有向边;信息点表示有向边指示的逻辑判断结果。
3.如权利要求1所述基于模型的矩阵自动化测试方法,其特征在于,逻辑矩阵中的一条路径对应一个测试用例。
4.如权利要求1所述基于模型的矩阵自动化测试方法,其特征在于,测试脚本的生成方法具体如下:
S31、构建脚本模板;
S32、将路径中依次出现的节点填充至脚本模板的节点位置,在路径中的最后一个节点填充至脚本模板后,形成该测试用例下的测试脚本。
5.一种计算机可读存储介质,其特征在于,所述存储介质中存储有至少一条指令、至少一段程序、代码集或指令集,所述至少一条指令、所述至少一段程序、所述代码集或指令集由处理器加载并执行时实现如权利要求1至4任一权利要求所述基于模型的矩阵自动化测试方法步骤。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110469232.1A CN113127366B (zh) | 2021-04-28 | 2021-04-28 | 基于模型的矩阵自动化测试方法及计算机可读存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110469232.1A CN113127366B (zh) | 2021-04-28 | 2021-04-28 | 基于模型的矩阵自动化测试方法及计算机可读存储介质 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN113127366A CN113127366A (zh) | 2021-07-16 |
CN113127366B true CN113127366B (zh) | 2023-08-15 |
Family
ID=76780581
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110469232.1A Active CN113127366B (zh) | 2021-04-28 | 2021-04-28 | 基于模型的矩阵自动化测试方法及计算机可读存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113127366B (zh) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113704093B (zh) * | 2021-08-05 | 2024-07-05 | 卡斯柯信号(成都)有限公司 | 一种通用联锁软件测试用例生成方法 |
CN117112450B (zh) * | 2023-10-24 | 2024-03-26 | 卡斯柯信号(北京)有限公司 | 测试临时限速服务器的方法及装置 |
CN117596165B (zh) * | 2024-01-18 | 2024-03-29 | 中国人民解放军军事科学院系统工程研究院 | 一种基于逻辑功能封装的软件无线电标准符合性测试方法及装置 |
Citations (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102890651A (zh) * | 2011-07-19 | 2013-01-23 | 阿里巴巴集团控股有限公司 | 一种场景数据的测试方法和装置 |
CN103019934A (zh) * | 2012-11-28 | 2013-04-03 | 北京交控科技有限公司 | 基于数据代码分离技术的测试用例生成方法 |
CN104615544A (zh) * | 2015-03-10 | 2015-05-13 | 于秀山 | 面向问题的gui软件关联功能分析方法及装置 |
CN106547274A (zh) * | 2015-09-16 | 2017-03-29 | 中国航空工业第六八研究所 | 一种基于场景矩阵的状态机测试方法 |
CN109614331A (zh) * | 2018-12-06 | 2019-04-12 | 郑州云海信息技术有限公司 | 一种基于递归算法的测试用例矩阵生成方法及装置 |
CN109976992A (zh) * | 2017-12-27 | 2019-07-05 | 航天信息股份有限公司 | 一种软件自动化测试方法及系统 |
CN110968071A (zh) * | 2018-09-30 | 2020-04-07 | 株洲中车时代电气股份有限公司 | 铁路车辆电气屏柜功能测试用例的生成方法及系统 |
CN111064735A (zh) * | 2019-12-25 | 2020-04-24 | 南开大学 | 一种电力信息系统sql注入漏洞检测方法及系统 |
CN112147967A (zh) * | 2019-06-27 | 2020-12-29 | 北京新能源汽车股份有限公司 | 一种汽车控制器的场景测试用例自动生成方法及装置 |
CN112306875A (zh) * | 2020-10-30 | 2021-02-02 | 南京汽车集团有限公司 | 一种基于hil台架的自动测试方法 |
CN112486839A (zh) * | 2020-12-14 | 2021-03-12 | 中国航空综合技术研究所 | 基于状态机的机载产品测试建模方法 |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6941546B2 (en) * | 2001-08-01 | 2005-09-06 | International Business Machines Corporation | Method and apparatus for testing a software component using an abstraction matrix |
US6986125B2 (en) * | 2001-08-01 | 2006-01-10 | International Business Machines Corporation | Method and apparatus for testing and evaluating a software component using an abstraction matrix |
CN103577168A (zh) * | 2012-07-27 | 2014-02-12 | 鸿富锦精密工业(深圳)有限公司 | 测试用例创建系统及方法 |
JP5949606B2 (ja) * | 2013-03-15 | 2016-07-13 | 富士ゼロックス株式会社 | テスト設計支援装置及びプログラム |
US9740585B2 (en) * | 2015-06-23 | 2017-08-22 | International Business Machines Corporation | Flexible configuration and control of a testing system |
-
2021
- 2021-04-28 CN CN202110469232.1A patent/CN113127366B/zh active Active
Patent Citations (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102890651A (zh) * | 2011-07-19 | 2013-01-23 | 阿里巴巴集团控股有限公司 | 一种场景数据的测试方法和装置 |
CN103019934A (zh) * | 2012-11-28 | 2013-04-03 | 北京交控科技有限公司 | 基于数据代码分离技术的测试用例生成方法 |
CN104615544A (zh) * | 2015-03-10 | 2015-05-13 | 于秀山 | 面向问题的gui软件关联功能分析方法及装置 |
CN106547274A (zh) * | 2015-09-16 | 2017-03-29 | 中国航空工业第六八研究所 | 一种基于场景矩阵的状态机测试方法 |
CN109976992A (zh) * | 2017-12-27 | 2019-07-05 | 航天信息股份有限公司 | 一种软件自动化测试方法及系统 |
CN110968071A (zh) * | 2018-09-30 | 2020-04-07 | 株洲中车时代电气股份有限公司 | 铁路车辆电气屏柜功能测试用例的生成方法及系统 |
CN109614331A (zh) * | 2018-12-06 | 2019-04-12 | 郑州云海信息技术有限公司 | 一种基于递归算法的测试用例矩阵生成方法及装置 |
CN112147967A (zh) * | 2019-06-27 | 2020-12-29 | 北京新能源汽车股份有限公司 | 一种汽车控制器的场景测试用例自动生成方法及装置 |
CN111064735A (zh) * | 2019-12-25 | 2020-04-24 | 南开大学 | 一种电力信息系统sql注入漏洞检测方法及系统 |
CN112306875A (zh) * | 2020-10-30 | 2021-02-02 | 南京汽车集团有限公司 | 一种基于hil台架的自动测试方法 |
CN112486839A (zh) * | 2020-12-14 | 2021-03-12 | 中国航空综合技术研究所 | 基于状态机的机载产品测试建模方法 |
Non-Patent Citations (1)
Title |
---|
"硬件系统自动化测试的多视角建模及案例研究";孟翰等;《计算机科学》;第45卷(第9期);第75-80页 * |
Also Published As
Publication number | Publication date |
---|---|
CN113127366A (zh) | 2021-07-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN113127366B (zh) | 基于模型的矩阵自动化测试方法及计算机可读存储介质 | |
CN111400724B (zh) | 基于代码相似性分析的操作系统脆弱性检测方法、系统及介质 | |
US8291399B2 (en) | Off-line program analysis and run-time instrumentation | |
CN111652266A (zh) | 用户界面组件的识别方法、装置、电子设备和存储介质 | |
CN113190220A (zh) | Json文件差异化对比方法及装置 | |
CN113609346A (zh) | 基于企业关联关系的自然人人名消歧方法、设备和介质 | |
CN111258905A (zh) | 缺陷定位方法、装置和电子设备及计算机可读存储介质 | |
CN113468905B (zh) | 图形码识别方法、装置、计算机设备和存储介质 | |
CN108897678B (zh) | 静态代码检测方法和静态代码检测系统、存储设备 | |
CN106919762B (zh) | 一种有限元网格阵列建模方法 | |
CN113886373A (zh) | 一种数据处理方法、装置及电子设备 | |
CN110807286A (zh) | 一种结构网格识别方法 | |
CN111178037A (zh) | 重复缺陷报告识别方法、装置及电子设备 | |
CN115987865A (zh) | 一种路由代码生成方法、装置、矩阵检测方法及储存介质 | |
CN112347723B (zh) | 基于版图的rom代码提取验证方法及装置 | |
CN109685453B (zh) | 智能识别工作流有效路径的方法 | |
CN105204997A (zh) | 软件缺陷检测方法及装置 | |
CN105955879A (zh) | 一种二维码生成算法的测试方法及装置 | |
CN116955211B (zh) | 标准符合性测试方法、装置、电子设备及存储介质 | |
CN113806205A (zh) | 软件性能测试方法、装置、电子设备及可读存储介质 | |
CN110704696A (zh) | 数据标准化方法、装置、电子设备及可读存储介质 | |
CN109960529B (zh) | 一种程序代码的修复方法和装置 | |
CN113407442B (zh) | 一种基于模式的Python代码内存泄漏检测方法 | |
CN112612471B (zh) | 代码处理方法、装置、设备及存储介质 | |
CN113986727B (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 |