CN110377511A - 一种面向数据流的测试用例生成方法 - Google Patents

一种面向数据流的测试用例生成方法 Download PDF

Info

Publication number
CN110377511A
CN110377511A CN201910622993.9A CN201910622993A CN110377511A CN 110377511 A CN110377511 A CN 110377511A CN 201910622993 A CN201910622993 A CN 201910622993A CN 110377511 A CN110377511 A CN 110377511A
Authority
CN
China
Prior art keywords
definition
test case
test
program
neural network
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
CN201910622993.9A
Other languages
English (en)
Other versions
CN110377511B (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.)
Hohai University HHU
Original Assignee
Hohai University HHU
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 Hohai University HHU filed Critical Hohai University HHU
Priority to CN201910622993.9A priority Critical patent/CN110377511B/zh
Publication of CN110377511A publication Critical patent/CN110377511A/zh
Application granted granted Critical
Publication of CN110377511B publication Critical patent/CN110377511B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

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/3684Test management for test design, e.g. generating new test cases
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F18/00Pattern recognition
    • G06F18/20Analysing
    • G06F18/21Design or setup of recognition systems or techniques; Extraction of features in feature space; Blind source separation
    • G06F18/214Generating training patterns; Bootstrap methods, e.g. bagging or boosting
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00Computing arrangements based on biological models
    • G06N3/02Neural networks
    • G06N3/04Architecture, e.g. interconnection topology
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00Computing arrangements based on biological models
    • G06N3/12Computing arrangements based on biological models using genetic models
    • G06N3/126Evolutionary algorithms, e.g. genetic algorithms or genetic programming

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Biophysics (AREA)
  • General Physics & Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • Health & Medical Sciences (AREA)
  • General Engineering & Computer Science (AREA)
  • Evolutionary Biology (AREA)
  • Bioinformatics & Computational Biology (AREA)
  • Evolutionary Computation (AREA)
  • Bioinformatics & Cheminformatics (AREA)
  • Artificial Intelligence (AREA)
  • Computing Systems (AREA)
  • Mathematical Physics (AREA)
  • Software Systems (AREA)
  • Molecular Biology (AREA)
  • General Health & Medical Sciences (AREA)
  • Computational Linguistics (AREA)
  • Biomedical Technology (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physiology (AREA)
  • Genetics & Genomics (AREA)
  • Computer Vision & Pattern Recognition (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明公开了一种面向数据流的测试用例生成方法,包括如下步骤:(1)对待测程序进行数据流分析,获取程序中所有的定义‑使用对;(2)设计并训练BP神经网络,以模拟适应度函数;(3)利用遗传算法生成覆盖所有定义‑使用对的测试用例。本发明的有益效果为:面向all‑uses数据流准则生成测试用例,用于解决Java程序的测试问题;与传统方法相比,利用神经网络模拟适应度函数的计算,可以减少遗传算法中程序插桩运行的次数;通过神经网络结构的设计,优化了基于神经网络的测试用例生成方法流程,无需针对多个待测目标执行流程多次。

Description

一种面向数据流的测试用例生成方法
技术领域
本发明涉及软件测试技术领域,尤其是一种面向数据流的测试用例生成方法。
背景技术
随着软件开发技术的不断提升,软件产品的应用越来越广泛,其规模和复杂性逐渐增大,质量保证也面临着越来越大的挑战。在软件的质量保证体系中,测试是一项有效的技术,好的测试能够发现尽可能多的软件缺陷。
测试用例的设计是软件测试的核心工作,其一般根据测试需求遵循一定的测试准则来进行。很多研究基于路径覆盖(all-paths)准则进行测试用例的设计,通过检查软件中所有的执行路径来发现错误,而对于包含循环结构的软件而言,在基于all-paths准则的测试用例生成中,要计算出程序的所有路径是难以实现的。考虑软件的基本功能需求,即针对特定的输入可获得预期的输出,输出与输入之间的关联是通过一系列变量的定义和使用来实现的,数据流的正确性一定程度上也反映了软件控制流的正确性,因此保证软件的数据流正确性非常重要。
全使用(all-uses)数据流测试准则要求软件中每个变量的每个定义到该定义的每个使用都被测试覆盖,可有效地保证软件的数据流正确性。传统的方法可采用遗传算法进行测试用例的生成,其中基于合适的适应度函数来判断测试用例是否覆盖待测试目标。而大多方法中适应度函数的值需要通过插装程序的运行加以计算得出,对于大规模复杂的软件而言,该过程需要消耗较多的时间和资源。有研究引入神经网络来改善基于遗传算法的测试用例生成方法,该研究面向路径覆盖准则,对每条待测试路径构造一个神经网络以模拟计算测试用例对该路径的覆盖情况。鉴于数据流正确性的重要性,针对all-uses数据流测试准则,如何有效地且高效地生成测试用例是我们关注的问题。
发明内容
本发明所要解决的技术问题在于,提供一种面向数据流的测试用例生成方法,能够有效地开展软件测试,保证软件的数据流正确性。
为解决上述技术问题,本发明提供一种面向数据流的测试用例生成方法,包括如下步骤:
(1)对待测程序进行数据流分析,获取程序中所有的定义-使用对;
(2)设计并训练BP神经网络,以模拟适应度函数;
(3)利用遗传算法生成覆盖所有定义-使用对的测试用例。
优选的,步骤(1)中,计算程序中所有定义-使用对的具体步骤为:
(11)对待测程序进行解析并构建相应的控制流图CFG;
(12)基于CFG进行数据流分析,采用深度优先遍历的方法遍历程序CFG,获得程序的所有路径,然后自底向上遍历每条可执行路径,获得程序中所有的定义-使用对。
优选的,步骤(2)中,构造BP神经网络的具体步骤为:
(21)选择合适的适应度函数,令X=(x1,x2,...xn)表示测试数据,du=(d,u,v)表示待测试的定义使用对(即变量v在节点d的定义值被节点u使用),评估X是否覆盖du的适应度函数如下所示:
其中dom(n)表示节点n的支配路径,即程序执行从入口结点到n必须经过的结点集;cdom(n)和udom(n)分别表示以X作为输入执行程序时,n的支配路径中被覆盖和没有被覆盖的节点集;fdom(n)表示以X作为输入执行程序时,n的支配路径中被覆盖超过1次的节点集;fdom(d∪u)=fdom(d)∪fdom(u);ft(X,du)≥1则表明X覆盖du;
(22)根据适应度函数设计神经网络的结构,包括输入层、隐藏层和输出层,其中输入层包括n+1个元素,表示由n个输入元素组成的被测程序的输入数据X=(x1,x2,...xn)和1个待测试的定义-使用对du=(d,u,v);输出层包含1个输出元素y,即适应度函数值ft(X,du);
(23)为神经网络的构造设计训练样本,随机生成一定数量的测试数据,针对每个待测试的定义-使用对,将测试数据作为输入运行插桩程序计算出相应的适应度函数值,从而得到所需的网络训练样本;
(24)利用样本训练网络,构造可以估算适应度函数计算的神经网络。
优选的,步骤(3)中,生成测试用例的具体步骤为:
(31)初始化测试用例集以及遗传算法相关参数;
(32)对测试用例集中的测试用例,使用训练好的神经网络估算其对待测试定义-使用对的适应值;
(33)基于适应值判断测试用例是否覆盖某定义-使用对,若是,则更新测试用例集以及待测试的定义-使用对集,将该测试用例加入测试用例集,并将被覆盖的定义-使用对从待测试的定义-使用对集中删除;否则转步骤(35);
(34)判断是否所有的定义-使用对都被覆盖,或遗传算法是否达到最大迭代,若是,则输出测试用例集,算法结束;否则,转步骤(35);
(35)对测试用例进行遗传操作,即选择、交叉和变异操作,得到新的测试用例,转步骤(32)。
本发明的有益效果为:面向all-uses数据流测试准则,基于控制流图计算Java程序中所有的定义-使用对,设计神经网络的结构,用以模拟遗传算法中适应度函数的计算,以评估测试用例对定义-使用对的覆盖情况,基于遗传算子的操作生成覆盖所有定义-使用对的测试用例集;与传统方法相比,利用神经网络模拟适应度函数的计算,可以减少遗传算法中程序插桩运行的次数;通过神经网络结构的设计,优化了基于神经网络的测试用例生成方法流程,无需针对多个待测目标执行流程多次。
附图说明
图1为本发明的方法流程示意图。
图2为本发明中遍历控制流图计算路径的流程示意图。
图3为本发明中神经网络结构的示意图。
图4为本发明中执行步骤(1)得到的三角形类型判断程序的部分控制流图。
具体实施方式
如图1所示,一种面向数据流准则的测试用例生成方法,包括如下步骤:
(1)对待测程序进行数据流分析,获取程序中所有的定义-使用对;
(2)设计并训练BP神经网络,以模拟适应度函数;
(3)利用遗传算法生成覆盖所有定义-使用对的测试用例。
步骤(1)中,计算程序中所有定义-使用对的具体步骤为:
(11)利用开源工具SOOT对待测程序进行解析并构建相应的控制流图CFG,其中的每个结点代表一个原子操作,并对CFG中的每个节点赋予唯一的编号,以便后续分析;
(12)基于CFG进行数据流分析。如图2所示,采用深度优先遍历的方法遍历程序CFG,获得程序的所有路径。首先定义两个栈ps和us分别存储CFG中的路径和节点,从控制流图的头节点开始遍历,以p为当前路径,n为当前节点,对当前节点n,将n添加到路径p,判断n是否存在后继节点,如果n只有一个后继节点,则将该后继节点作为当前节点n去遍历;如果n有多个后继节点,对每个后继节点m,将m压入栈us,复制当前路径p创建一条新的路径,并压入栈ps,分别从栈ps和us中弹出一个栈顶元素作为当前路径p和当前节点n;如果n没有后继节点,则表明当前路径遍历完,判断栈ps和us是否为空,是则路径计算结束,否则分别从栈ps和us中弹出一个栈顶元素作为当前路径p和当前节点n。针对计算出的每条路径,自底向上遍历路径中的节点,当遇到变量v的使用节点u,向上寻找距离最近的关于v的定义节点u,构造关于变量x的定义使用对(d,u,v),最终获得程序中所有的定义-使用对。
步骤(2)中,构造BP神经网络的具体步骤为:
(21)选择合适的适应度函数,令X=(x1,x2,...xn)表示测试数据,du=(d,u,v)表示待测试的定义使用对(即变量v在节点d的定义值被节点u使用),评估X是否覆盖du的适应度函数如下所示:
其中dom(n)表示节点n的支配路径,即程序执行从入口结点到n必须经过的结点集;
cdom(n)和udom(n)分别表示以X作为输入执行程序时,n的支配路径中被覆盖和没有被覆盖的节点集;fdom(n)表示以X作为输入执行程序时,n的支配路径中被覆盖超过1次的节点集;fdom(d∪u)=fdom(d)∪fdom(u)。ft(X,du)≥1则表明X覆盖du。
(22)根据适应度函数设计神经网络的结构,如图3所示,包括输入层、隐藏层和输出层,其中输入层包括n+1个元素,表示由n个输入元素组成的被测程序的输入数据X=(x1,x2,...xn)和1个待测试的定义-使用对du=(d,u,v);输出层包含1个输出元素y,即适应度函数值ft(X,du)。隐藏层设为一层,其中的神经元数量借鉴如下公式来确定:
其中,a表示输入层的神经元数量,b表示输出层的神经元数量。
(23)为神经网络的构造设计训练样本,随机生成一定数量的测试数据,针对每个待测试的定义-使用对,将测试数据作为输入运行插桩程序计算出相应的适应度函数值,从而得到所需的网络训练样本;
(24)利用样本训练网络,构造可以估算适应度函数计算的神经网络。网络的训练过程由信号的正向传播与误差的反向传播两个阶段组成,在传播的过程中,不断调整网络的权值,直到网络的真实输出与预期输出之间的误差低于规定的值,或者训练达到最大迭代次数。
步骤(3)中,生成测试用例的具体步骤为:
(31)初始化测试用例集和遗传算法相关参数。测试用例采用二进制编码方法进行描述,根据待测程序输入变量个数、变量类型以及变量的取值范围,随机产生一组编码串。
(32)对测试用例集中的测试用例,使用训练好的神经网络估算其对待测试定义-使用对的适应值;
(33)基于适应值判断测试用例是否覆盖某定义-使用对,若是,则更新测试用例集以及待测试的定义-使用对集,将该测试用例加入测试用例集,并将被覆盖的定义-使用对从待测试的定义-使用对集中删除;否则转步骤(35);
(34)判断是否所有的定义-使用对都被覆盖,即待测试的定义-使用对集是否为空,或遗传算法是否达到最大迭代,若是,则输出测试用例集,算法结束;否则,转步骤(35);
(35)对测试用例进行遗传操作,即选择、交叉和变异操作,得到新的测试用例,转步骤3.2。其中选择操作使用轮盘赌选择法,针对测试用例集,第i个测试用例被选中的概率pi如下所示:
其中,fi表示第i个测试用例的适应度函数值。交叉操作使用单点交叉法,先按照设定好的概率从测试用例集中选择两个要进行交叉操作的测试用例(a0,a1,…,an)和(b0,b1,…,bn),随机选择一个1和n之间的值m,生成(a0,a1,…,am-1,bm,bm+1,…,bn)和(b0,b1,…,bm+1,am+1,…,an)两个子代。变异操作使用二进制变异方法,先以设定好的概率从测试用例集中选取出要进行变异操作的测试用例(a0,a1,…,an),再随机选择一个1和n之间的值m,则将该编码串中的am的取值转换为不同值,从而生成一个新的测试用例编码串。
为了方便描述,我们利用面向数据流准则的测试用例生成方法为三角形类型判断的Java程序生成测试用例,流程如下:
(1)使用SOOT开源包构造程序的控制流图,部分控制流图如图4所示,用深度优先遍历的方法遍历控制流图,获得程序的所有路径,然后自底向上遍历每条可执行路径,获得程序中所有的定义-使用对,部分定义-使用对如表1所示。利用控制流图中的变量与源程序变量的对应关系,最终得到待测试的定义-使用对如表2所示。
表1部分定义-使用对
(2)设计并训练BP神经网络,以模拟适应度函数。根据适应度函数,神经网络的结构中,输入层有4个节点,对应3个输入变量和1个待覆盖的定义-使用对,输出层有1个节点,对应适应度函数值,根据计算隐藏层有5个节点。然后设计网络的训练样本,根据输入层、隐藏层和输出层的节点数,得出网络连接权重的数量为25,训练样本数取网络连接权重总数量的10倍为250。样本包含测试用例、定义-使用对和相应的适应度函数值。最后将训练样本作为输入,将神经网络的最大迭代次数设为100,使用Matlab工具训练神经网络。
表2待测试定义-使用对
(3)利用遗传算法生成覆盖所有定义-使用对的测试用例。首先设置遗传算法的参数,最大迭代次数设为2000,种群规模设为20,交叉概率设为0.75,变异概率设为0.1。然后在Matlab中,根据设置的参数,遗传算法调用构造好的神经网络估算测试用例的适应度函数值,通过不断进化迭代,得到覆盖该程序所有定义-使用对的测试用例,部分测试用例如表3所示。
表3部分测试用例

Claims (4)

1.一种面向数据流的测试用例生成方法,其特征在于,包括如下步骤:
(1)对待测程序进行数据流分析,获取程序中所有的定义-使用对;
(2)设计并训练BP神经网络,以模拟适应度函数;
(3)利用遗传算法生成覆盖所有定义-使用对的测试用例。
2.如权利要求1所述的面向数据流的测试用例生成方法,其特征在于,步骤(1)中,计算程序中所有定义-使用对的具体步骤为:
(11)对待测程序进行解析并构建相应的控制流图CFG;
(12)基于CFG进行数据流分析,采用深度优先遍历的方法遍历程序CFG,获得程序的所有路径,然后自底向上遍历每条可执行路径,获得程序中所有的定义-使用对。
3.如权利要求1所述的面向数据流的测试用例生成方法,其特征在于,步骤(2)中,构造BP神经网络的具体步骤为:
(21)选择合适的适应度函数,令X=(x1,x2,...xn)表示测试数据,du=(d,u,v)表示待测试的定义使用对(即变量v在节点d的定义值被节点u使用),评估X是否覆盖du的适应度函数如下所示:
其中dom(n)表示节点n的支配路径,即程序执行从入口结点到n必须经过的结点集;cdom(n)和udom(n)分别表示以X作为输入执行程序时,n的支配路径中被覆盖和没有被覆盖的节点集;fdom(n)表示以X作为输入执行程序时,n的支配路径中被覆盖超过1次的节点集;fdom(d∪u)=fdom(d)∪fdom(u);ft(X,du)≥1则表明X覆盖du;
(22)根据适应度函数设计神经网络的结构,包括输入层、隐藏层和输出层,其中输入层包括n+1个元素,表示由n个输入元素组成的被测程序的输入数据X=(x1,x2,...xn)和1个待测试的定义-使用对du=(d,u,v);输出层包含1个输出元素y,即适应度函数值ft(X,du);
(23)为神经网络的构造设计训练样本,随机生成一定数量的测试数据,针对每个待测试的定义-使用对,将测试数据作为输入运行插桩程序计算出相应的适应度函数值,从而得到所需的网络训练样本;
(24)利用样本训练网络,构造可以估算适应度函数计算的神经网络。
4.如权利要求1所述的面向数据流的测试用例生成方法,其特征在于,步骤(3)中,生成测试用例的具体步骤为:
(31)初始化测试用例集以及遗传算法相关参数;
(32)对测试用例集中的测试用例,使用训练好的神经网络估算其对待测试定义-使用对的适应值;
(33)基于适应值判断测试用例是否覆盖某定义-使用对,若是,则更新测试用例集以及待测试的定义-使用对集,将该测试用例加入测试用例集,并将被覆盖的定义-使用对从待测试的定义-使用对集中删除;否则转步骤(35);
(34)判断是否所有的定义-使用对都被覆盖,或遗传算法是否达到最大迭代,若是,则输出测试用例集,算法结束;否则,转步骤(35);
(35)对测试用例进行遗传操作,即选择、交叉和变异操作,得到新的测试用例,转步骤(32)。
CN201910622993.9A 2019-07-11 2019-07-11 一种面向数据流的测试用例生成方法 Active CN110377511B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910622993.9A CN110377511B (zh) 2019-07-11 2019-07-11 一种面向数据流的测试用例生成方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910622993.9A CN110377511B (zh) 2019-07-11 2019-07-11 一种面向数据流的测试用例生成方法

Publications (2)

Publication Number Publication Date
CN110377511A true CN110377511A (zh) 2019-10-25
CN110377511B CN110377511B (zh) 2021-04-06

Family

ID=68252685

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910622993.9A Active CN110377511B (zh) 2019-07-11 2019-07-11 一种面向数据流的测试用例生成方法

Country Status (1)

Country Link
CN (1) CN110377511B (zh)

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111930630A (zh) * 2020-08-17 2020-11-13 电信科学技术第十研究所有限公司 基于数据流的大数据测试用例的生成方法及装置
CN112052166A (zh) * 2020-08-26 2020-12-08 河海大学 一种基于支配关系的测试用例生成方法与装置
CN113297060A (zh) * 2020-05-11 2021-08-24 阿里巴巴集团控股有限公司 一种数据测试方法及其装置
WO2022127393A1 (en) * 2020-12-15 2022-06-23 International Business Machines Corporation Reinforcement learning for testing suite generation
CN114780439A (zh) * 2022-06-13 2022-07-22 江西财经大学 一种面向参数路径流图的相似程序间测试用例的重用方法

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103593287A (zh) * 2013-10-30 2014-02-19 北京信息控制研究所 一种基于遗传算法的数据流测试用例自动生成方法
CN104572435A (zh) * 2013-10-29 2015-04-29 大连生容享科技有限公司 一种基于人工神经网络的测试用例选择方法
CN105843743A (zh) * 2016-04-11 2016-08-10 南京邮电大学 一种特殊自动化测试用例实际输出结果正确性的验证方法
EP3506104A1 (en) * 2017-12-26 2019-07-03 Hitachi, Ltd. Coverage test support device and coverage test support method

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104572435A (zh) * 2013-10-29 2015-04-29 大连生容享科技有限公司 一种基于人工神经网络的测试用例选择方法
CN103593287A (zh) * 2013-10-30 2014-02-19 北京信息控制研究所 一种基于遗传算法的数据流测试用例自动生成方法
CN105843743A (zh) * 2016-04-11 2016-08-10 南京邮电大学 一种特殊自动化测试用例实际输出结果正确性的验证方法
EP3506104A1 (en) * 2017-12-26 2019-07-03 Hitachi, Ltd. Coverage test support device and coverage test support method

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
陈洁琼等: "《基于数据流准则的测试用例生成方法》", 《计算机科学》 *

Cited By (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113297060A (zh) * 2020-05-11 2021-08-24 阿里巴巴集团控股有限公司 一种数据测试方法及其装置
CN111930630A (zh) * 2020-08-17 2020-11-13 电信科学技术第十研究所有限公司 基于数据流的大数据测试用例的生成方法及装置
CN111930630B (zh) * 2020-08-17 2024-01-05 电信科学技术第十研究所有限公司 基于数据流的大数据测试用例的生成方法及装置
CN112052166A (zh) * 2020-08-26 2020-12-08 河海大学 一种基于支配关系的测试用例生成方法与装置
CN112052166B (zh) * 2020-08-26 2021-05-18 河海大学 一种基于支配关系的测试用例生成方法与装置
WO2022127393A1 (en) * 2020-12-15 2022-06-23 International Business Machines Corporation Reinforcement learning for testing suite generation
GB2617737A (en) * 2020-12-15 2023-10-18 Ibm Reinforcement learning for testing suite generation
CN114780439A (zh) * 2022-06-13 2022-07-22 江西财经大学 一种面向参数路径流图的相似程序间测试用例的重用方法
CN114780439B (zh) * 2022-06-13 2022-09-27 江西财经大学 一种面向参数路径流图的相似程序间测试用例的重用方法

Also Published As

Publication number Publication date
CN110377511B (zh) 2021-04-06

Similar Documents

Publication Publication Date Title
CN110377511A (zh) 一种面向数据流的测试用例生成方法
CN102141958B (zh) 面向缺陷的路径覆盖测试数据进化生成方法
Lanubile et al. Evaluating predictive quality models derived from software measures: lessons learned
CN110008710A (zh) 基于深度强化学习和程序路径插桩的漏洞检测方法
Bouchachia An immune genetic algorithm for software test data generation
CN103559129B (zh) 基于遗传算法的统计回归测试数据生成方法
CN115687115B (zh) 一种移动应用程序自动化测试方法及系统
CN112668809B (zh) 建立自闭症儿童康复效果预测模型的方法
CN110096439A (zh) 一种面向solidity语言的测试用例生成方法
CN109407654A (zh) 一种基于稀疏深度神经网络的工业数据非线性因果分析方法
Samarah et al. Automated coverage directed test generation using a cell-based genetic algorithm
CN106095684B (zh) 一种预测性变异测试方法
Le Thi My Hanh et al. Mutation-based test data generation for simulink models using genetic algorithm and simulated annealing
CN103605605A (zh) 基于语句占优关系和两阶段遗传算法的高阶变异测试方法
CN111352830B (zh) 基于语句占优关系的变异测试数据进化生成方法
CN105930272A (zh) 基于重要语句的分支覆盖测试数据生成方法
CN105335763A (zh) 一种基于改进型极速学习机的织物疵点分类方法
Jiang et al. Test data generation approach for basis path coverage
CN117149615A (zh) 一种测试用例执行路径的生成方法及相应的装置
Chrpa et al. Reformulating Planning Problems by Eliminating Unpromising Actions.
CN115328804A (zh) 一种基于组合覆盖的循环代码模糊测试方法
CN112181420B (zh) 基于强化学习的编译器缺陷定位方法
CN114297053A (zh) 一种基于多层感知机平滑的软件程序安全检测方法
CN113392958A (zh) 一种模糊神经网络fnn的参数优化及应用方法与系统
CN112380132A (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