CN110515856B - 一种基于动态符号执行的测试用例生成系统 - Google Patents
一种基于动态符号执行的测试用例生成系统 Download PDFInfo
- Publication number
- CN110515856B CN110515856B CN201910824130.XA CN201910824130A CN110515856B CN 110515856 B CN110515856 B CN 110515856B CN 201910824130 A CN201910824130 A CN 201910824130A CN 110515856 B CN110515856 B CN 110515856B
- Authority
- CN
- China
- Prior art keywords
- path
- execution
- test case
- control flow
- flow graph
- 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
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/3676—Test management for coverage analysis
-
- 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
Abstract
本申请公开了一种基于动态符号执行的测试用例生成系统,包括:解析模块,用于根据输入的结构化文本ST源程序得到抽象语法树;控制流图生成模块,用于生成控制流图;动态符号执行模块,用于根据控制流图对变量属性和标准函数进行建模,生成初始测试用例,代入控制流图中执行,得到已覆盖路径,获取约束集,根据约束集确定候选路径池,选择一条作为执行路径;约束求解模块,用于对执行路径上的约束集进行转换后求解,得到新的测试用例;统计和输出模块,用于输出所有测试用例和覆盖率信息。通过使用动态符号执行能够简单,快捷地生成测试用例,减少人为因素导致的不良影响;能够得到高质量的测试用例和正确的覆盖率信息,自动化程度高,人工成本低。
Description
技术领域
本申请涉及软件测试领域,尤其涉及一种基于动态符号执行的测试用例生成系统。
背景技术
可编程逻辑控制器(Programmable Logic Controller,PLC)作为工业控制系统的核心设备,已经被广泛应用于各种自动化控制领域。随着PLC软件的规模越来越庞大、PLC设备越来越繁多,实际应用中爆发了很多问题,轻则会造成经济损失,重则将影响人身安全。IEC 61508标准明确指出,PLC软件在发布之前必须在功能、结构和安全等方面进行全面测试。软件测试的首要任务就是为待测软件设计测试用例。PLC采用循环执行模式,这使得编写详尽的测试用例尤其具有挑战性。然而,现有的PLC工具的测试方法基本以手动输入的测试用例为主,主要关心用户的需求。该方法通常需要测试人员了解需求规范和程序结构、非常耗时、自动化程度低、人工成本高,容易出现人为因素导致的不良影响,且无法在测试完成后提供有关代码覆盖率的信息。
综上所述,需要提供一种用于PLC的简单、快捷、自动化程度高、人工成本低、能够减少人为因素导致的不良影响,且能够在测试完成后提供覆盖率信息的测试用例生成系统。
发明内容
为解决以上问题,本申请提出了一种基于动态符号执行的测试用例生成系统,通过根据输入的结构化文本(Structured Text)源程序生成控制流图,使用动态符号执行根据控制流图,生成测试用例,代入控制流图中执行,得到测试用例和覆盖率信息。
具体地,本发明提出了一种基于动态符号执行的测试用例生成系统,包括:
解析模块,用于对输入的结构化文本ST源程序中的标准功能块进行建模,得到等效ST程序,使用编译器解析等效ST程序,得到抽象语法树;
控制流图生成模块,用于遍历抽象语法树,结合ST语言的特性,生成控制流图;
动态符号执行模块,用于根据控制流图,对变量属性和标准函数进行建模,生成初始测试用例,代入控制流图中执行,得到已覆盖路径,获取约束集,根据约束集确定候选路径池,从候选路径池中选择一条作为执行路径;
约束求解模块,用于根据建模后的标准功能块、标准函数、变量属性以及转换规则,对执行路径上的约束集进行转换后求解,得到新的测试用例;
统计和输出模块,用于保存一个输入源程序得到的所有测试用例,根据已覆盖路径确定覆盖率信息,输出所有测试用例和覆盖率信息。
优选地,所述动态符号执行模块包括:
建模单元,用于对变量属性和标准函数进行建模;
执行单元,用于使用控制流图中的变量初始值生成初始测试用例,将初始测试用例代入控制流图中执行,得到已覆盖路径,获取已覆盖路径上的约束集,对约束集的每个约束取反,得到候选路径池;
过滤单元,用于根据路径搜索策略,从候选路径池中选择一条候选路径作为执行路径。
优选地,所述过滤单元还用于:
更新候选路径池中的候选路径和覆盖信息,从更新后的候选路径池中,选择一条候选路径作为新的执行路径。
优选地,所述执行单元还用于:
若候选路径池中有新的执行路径,则将新的测试用例代入控制流图中执行;
若候选路径池控制流图中无新的执行路径,则循环终止。
优选地,所述候选路径池包括:一条或多条候选路径。
优选地,所述控制流图包括:变量初始值、赋值约束、执行条件约束和次序约束。
优选地,所述约束集包括:赋值约束、执行条件约束和次序约束。
优选地,所述求解,包括:使用可满足性模理论SMT求解器对转换后的约束集求解。
优选地,所述转换规则根据需要设定。
优选地,所述路径搜索策略包括:深度优先搜索和广度优先搜索。
本申请的优点在于:通过使用输入的结构化文本ST源程序生成控制流图,使用动态符号执行根据控制流图,生成测试用例,代入控制流图中执行,得到已覆盖路径,获取约束集,根据约束集确定候选路径池,从候选路径池中选择一条作为执行路径,对执行路径上的约束集进行转换后求解,得到新的测试用例,能够简单,快捷地生成测试用例,且减少人为因素导致的不良影响;保存一个输入源程序得到的所有测试用例,根据已覆盖路径确定覆盖率信息,输出所有测试用例和覆盖率信息,能够得到所有的测试用例和覆盖率信息,自动化程度高,人工成本低。
附图说明
通过阅读下文优选实施方式的详细描述,各种其他的优点和益处对于本领域普通技术人员将变得清楚明了。附图仅用于示出优选事实方案的目的,而并不认为是对本申请的限制。而且在整个附图中,用同样的参考符号表示相同的部件。在附图中:
图1是本申请提供的一种基于动态符号执行的测试用例生成系统的示意图;
图2是本申请提供的一种基于动态符号执行的测试用例生成系统的结构示意图;
图3是本申请提供的一种基于动态符号执行的测试用例生成系统的利用控制流图ST_CFG生成基于分支覆盖的测试用例集的生成算法示意图;
图4是本申请提供的一种基于动态符号执行的测试用例生成系统的示例程序图;
图5是本申请提供的一种基于动态符号执行的测试用例生成系统的示例程序的控制流图;
图6是本申请提供的一种基于动态符号执行的测试用例生成方法的步骤示意图。
具体实施方式
下面将参照附图更详细地描述本公开的示例性实施方式。虽然附图中显示了本公开的示例性实施方式,然而应当理解,可以以各种形式实现本公开而不应被这里阐述的实施方式所限制。相反,提供这些实施方式是为了能够更透彻地理解本公开,并且能够将本公开的范围完整的传达给本领域的技术人员。
根据本申请的实施方式,提出一种基于动态符号执行的测试用例生成系统,如图1所示,包括:
解析模块101,用于对输入的结构化文本ST源程序中的标准功能块进行建模,得到等效ST程序,使用编译器解析等效ST程序,得到抽象语法树;
控制流图生成模块102,用于遍历抽象语法树,结合ST语言的特性,生成控制流图;
动态符号执行模块103,用于根据控制流图,对变量属性和标准函数进行建模,生成初始测试用例,代入控制流图中执行,得到已覆盖路径,获取约束集,根据约束集确定候选路径池,从候选路径池中选择一条作为执行路径;
约束求解模块104,用于根据建模后的标准功能块、标准函数、变量属性以及转换规则,对执行路径上的约束集进行转换后求解,得到新的测试用例;
统计和输出模块105,用于保存一个输入源程序得到的所有测试用例,根据已覆盖路径确定覆盖率信息,输出所有测试用例和覆盖率信息。
候选路径池包括:一条或多条候选路径。
控制流图包括:变量初始值、赋值约束、执行条件约束和次序约束等信息。
约束集包括:赋值约束、执行条件约束和次序约束。
求解,包括:使用可满足性模理论(Satisfiability Modulo Theories,SMT)求解器对转换后的约束集求解。
SMT求解器包括:Z3求解器和Yice求解器等。
转换规则根据需要设定。转换规则在动态符号模块与约束求解模块交互的时候使用,包含标识符、数据类型、操作符和语句的转换。
等效ST程序,就是将ST源程序中的标准功能块展开表示。其仍是ST程序,只是原来是一行,现在替换为多行。
编译器用于将ST程序解析为抽象语法树。
所有测试用例包括:初始测试用例和新生成的所有测试用例。即,根据输入的一个ST源程序生成的所有测试用例。
如图2所示,动态符号执行模块包括:
建模单元,用于对变量属性和标准函数进行建模;
执行单元,用于使用控制流图中的变量初始值生成初始测试用例,将初始测试用例代入控制流图中执行,得到已覆盖路径,获取已覆盖路径上的约束集,对约束集的每个约束取反,得到候选路径池;
过滤单元,用于根据路径搜索策略,从候选路径池中选择一条候选路径作为执行路径。
路径搜索策略包括:深度优先搜索和广度优先搜索。
过滤单元还用于:
更新候选路径池中的候选路径和覆盖信息,从更新后的候选路径池中,选择一条候选路径作为新的执行路径。
执行单元还用于:
若候选路径池中有新的执行路径,则将新的测试用例代入控制流图中执行;
若候选路径池控制流图中无新的执行路径,则循环终止。
变量属性指:在外部可写的变量属性,它们声明的变量都是测试用例的一部分;当变量属性在外部不可写时,它们声明的变量不能作为测试用例。
对变量属性进行建模,即按照变量的属性,对变量进行分类。变量中,有的作为输入变量,有的是内部变量。动态符号执行模块在执行的每个变量时,都会判断其属性,根据变量属性,动态符号执行模块和约束求解模块对变量进行不同的处理。
ST源程序中的标准函数建模在约束求解模块中有相应的函数对应。
覆盖率信息包括:语句覆盖率和分支覆盖率等。根据以下公式进行计算:
语句覆盖率=(已覆盖的边数-已覆盖的空边数×2)/(总边数-空边数×2);
分支覆盖率=覆盖的分支数/总分支数。
结构化文本ST是IEC 61131-3标准的语言之一,IEC 61131-3标准定义了三种程序组织单元(Program Organization Unit,POU)类型:函数(Function,FN)、功能块(Functionblock,FB)和程序(Program,PROG)。程序PROG通常被用于构成主程序。它是各种变量初始化和上下文声明的初始位置。函数FN和功能块FB可以构成用户子程序。
为了更好地理解,下面将对本发明的工作流程进行说明。
如图2所示,解析模块对输入的结构化文本ST源程序中的标准功能块进行建模,得到等效ST程序,使用编译器解析等效ST程序,得到抽象语法树。
优选地,使用MATIEC编译器的词法分析器和语法分析器将ST程序解析成抽象语法树。
遍历获得的抽象语法树,结合ST语言的特性,生成控制流图。
控制流图生成模块中的建模单元根据控制流图,对变量属性和标准函数进行建模。执行单元将初始测试用例代入控制流图中执行,得到已覆盖路径。获取已覆盖路径上的约束集,对约束集的每个约束取反,得到候选路径池。过滤单元根据路径搜索策略,从候选路径池中选择一条候选路径作为执行路径。
过滤单元还用于,将选择过的候选路径从候选路径池中去除,或对选择过的候选路径进行标记,更新候选路径池中的候选路径和覆盖信息;
从更新后的候选路径池中,选择一条候选路径作为新的执行路径。
若更新后的候选路径池中,已无候选路径,则无新的执行路径。
执行路径从没有被选择过的候选路径中选取。
约束求解模块根据建模后的标准功能块、标准函数、变量属性以及转换规则,对执行路径上的约束集进行转换后求解,得到新的测试用例。
执行单元还用于,若候选路径池中有新的执行路径,则将新的测试用例代入控制流图中执行;若候选路径池控制流图中无新的执行路径,则循环终止。
统计和输出模块保存一个输入源程序得到的所有测试用例,根据已覆盖路径确定覆盖率信息,输出所有测试用例和覆盖率信息。
下面,对动态符号执行模块和约束求解模块的交互进行进一步详细说明。
在执行模单元使用控制流图中的变量初始值生成初始测试用例之前,假设一开始候选路径为0条,执行模单元使用变量初始值生成初始测试用例,得到一条覆盖的路径p1(路径p1是执行变量初始值形成的),根据p1得到候选路径,假设得到3条,分别是候选路径a、候选路径b和候选路径c。由这3条候选路径组成侯选路径池。
过滤单元选择一条候选路径(作为执行路径),假设选择候选路径a。
执行模单元获取路径a上的约束集。
约束求解模块将从路径a(执行路径)上获取到的约束集进行转换后求解,得到新的测试用例。
执行单元将新的测试用例输入到控制流程图中执行,得到一条覆盖的路径p2,根据p2得到更多的候选路径,假设是e、f。
过滤单元更新候选路径池。此时,候选路径池中增加了候选路径e和候选路径f,但是候选路径a已经执行过了,所以将候选路径a从候选路径池中去除,或对候选路径a进行标记。
过滤单元从选择候选路径池中选择一条之前没选择过的,作为执行路径,假设下一次选择的路径是b。
执行模单元获取路径b中的约束集。
约束求解模块对获取到的约束集进行转换,求解,得到新的测试用例。以此类推,直到候选路径都没有了,即,无新的执行路径。
动态符号执行模块和约束求解模块,根据如图3所示的方法,利用控制流图ST_CFG生成基于分支覆盖的测试用例集。输入包括:G为控制流图ST_CFG,路径搜索策略SS(SearchStrategy),覆盖标准CC(Coverage Criteria)。输出包括:测试用例集TS(Test Case Set)和覆盖率CR(Coverage Rate)。
约束求解模块中选用Z3求解器为路径约束集求解。首先,未覆盖路径CP(Candidate Paths)设为空,测试用例集TS也为空,迭代次数iter等于1。第6至第12行是一个分支结构,分别表示:如果迭代次数iter等于1,测试用例TC(Test Case)赋值为存储在控制流图的变量Var的初始值(第7行);如果迭代次数iter大于1,通过生成测试用例函数为测试用例TC赋值(第11行)。第13至第22行是执行单元和过滤单元的循环运行结构,直到全部覆盖或在这个周期没有能被覆盖的路径结束。首先将测试用例TC添加到TSiter中。执行器从测试用例TC得到一条被覆盖的路径p(由一系列约束组成)通过调用z3求解器。因为,需要记录静态变量状态。调用z3时将上一周期的静态变量的值作为断言公式的一部分。同时,相应约束的Eval值在控制流图中由false变为true,或保持true不变。根据路径p可以生成多个路径p的变体,一一判断是否在已覆盖路径和未覆盖路径CP中已经存在。若否,则添加到未覆盖路径CP,若是,则不做任何处理(第14行)。第17至第21行为生成测试用例过程。
图3中的G包括:节点集N,约束集S,变量集V,逻辑值L,条件转移关系E,开始节点Nstart,结束节点Nend,覆盖率统计信息C。
其中,节点集N的序号从1开始,按生成顺序排列。约束集S来自于ST程序语句。变量集V是程序中所有变量的集合。逻辑值E,即true或false,用于评估某个约束是否被执行到(被覆盖)。开始节点Nstart和结束节点Nend是控制流图ST_CFG的唯一入口和唯一出口,对应ST程序的入口和出口,条件转移关系
下面,以输入示例程序Hysteresis为例,进行进一步详细说明。
如图4所示,为示例程序Hysteresis。解析模块将用户编写的ST源程序(Hysteresis)转换为等价的ST程序,利用MATIEC编译器的词法分析器和语法分析器,将ST程序解析为抽象语法树。
控制流图生成模块遍历抽象语法树生成相应的控制流图ST_CFG。如图5所示,为根据输入的Hysteresis程序生成的控制流图。控制流图中的节点按照图的生成顺序编号。补(取反)操作符用“!”代替,用“()”表示空语句。此控制流图中有6个分支,分别是(Q);(!Q);(IN1<(IN2-EPS));(!(IN1<(IN2-EPS)));(IN1>(IN2+EPS));(!(IN1>(IN2+EPS)))。此外,该控制流图还包含所有的变量、用于覆盖率统计的信息等。
测试用例集如表1所示。
表1
表1中第一列表示周期次序。第2-4列表示当前周期中输入变量的输入值。倒数第二列是执行完该周期后的输出变量Q的值。最后一列给出在这个周期覆盖的路径。当周期等于1时,执行单元直接使用程序中变量的初始值V运行程序。然后执行测试用例,路径(n1,n4,n8,n2)被执行,提取程序执行路径上的所有约束以获得覆盖的约束集((!Q),(!(IN_1>(IN_2+EPS))))。过滤单元根据深度优先搜索策略选取两条候选路径((Q)和(!Q),(IN_1>(IN_2+EPS)))中的后一条作为执行路径。约束求解模块将从执行路径中获得的约束集转换为Z3的输入格式,并通过Z3求解器求出满足新约束的变量值,得到一组新的测试用例(IN1=1,IN2=0,EPS=0)。
在第二个周期,执行单元执行测试用例,路径(n1,n4,n7,n2)被执行。同时,Q的值由原来的FALSE更新为TRUE。ST的程序PROG对输出变量有记忆,Q值将被保留。新生成的候选路径((Q)和(!Q),(!(IN_1>(IN_2+EPS))))均无效,因为前者在候选路径中已存在,后者已被覆盖。当前候选路径中只有一条候选路径(Q),对其求解得到满足(sat),而求解器未给予赋值的变量继承上个周期的值。第三、四个周期,覆盖了新的两条路径,过滤单元更新ST_CFG的逻辑值L、未覆盖路径CP。最后,程序的所有分支被覆盖。
统计和输出模块计算Hysteresis的测试用例集,输出分支覆盖率为100%。如果更改Q的赋值(即n7,n2和n5,n2交换),将无法生成完全覆盖的测试用例。从此也可看出,测试用例可以发现程序错误。
根据本申请的实施方式,还提出一种动态符号执行的测试用例生成方法,如图6所示,包括:
S1,解析步骤,对输入的结构化文本ST源程序中的标准功能块进行建模,得到等效ST程序,使用编译器解析等效ST程序,得到抽象语法树;
S2,控制流图生成步骤,遍历抽象语法树,结合ST语言的特性,生成控制流图;
S3,动态符号执行步骤,根据控制流图,对变量属性和标准函数进行建模,生成初始测试用例,代入控制流图中执行,得到已覆盖路径,获取约束集,根据约束集确定候选路径池,从候选路径池中选择一条作为执行路径;
S4,约束求解步骤,根据建模后的标准功能块、标准函数、变量属性以及转换规则,对执行路径上的约束集进行转换后求解,得到新的测试用例;
S5,统计和输出步骤,保存一个输入源程序得到的所有测试用例,根据已覆盖路径确定覆盖率信息,输出所有测试用例和覆盖率信息。
生成初始测试用例,代入控制流图中执行,获取约束集,根据约束集确定候选路径池,从候选路径池中选择一条作为执行路径,包括:
使用控制流图中的变量初始值生成初始测试用例;
将初始测试用例代入控制流图中执行,得到已覆盖路径;
获取已覆盖路径上的约束集,对约束集的每个约束取反,得到候选路径池;
根据路径搜索策略,从候选路径池中选择一条候选路径作为执行路径。
在根据约束集确定候选路径池,从候选路径池中选择一条作为执行路径之后,还包括:
更新候选路径池中的候选路径和覆盖信息;
从更新后的候选路径池中,选择一条候选路径作为新的执行路径。
在对执行路径上的约束集进行转换后求解,得到新的测试用例之后,还包括:
若候选路径池中有新的执行路径,则将新的测试用例代入控制流图中执行;
若候选路径池控制流图中无新的执行路径,则循环终止。
候选路径池包括:一条或多条候选路径。
控制流图包括:变量初始值、赋值约束、执行条件约束和次序约束。
约束集包括:赋值约束、执行条件约束和次序约束。
求解,包括:使用可满足性模理论SMT求解器对转换后的约束集求解。
转换规则根据需要设定。
路径搜索策略包括:深度优先搜索和广度优先搜索。
本申请的系统中,通过将动态符号执行直接应用于ST的测试用例生成中,结合ST语言的周期执行特性,能够自动生成大量有效的测试用例,并保存所有生成的测试用例,在很大程度上减少了人工成本、避免了很多人为因素导致的不良影响、提升了测试的效率,在应对规模庞大的复杂的系统上,将充分发挥积极作用。能为ST程序自动生成高质量的测试用例和正确的覆盖率信息,基于动态符号执行生成的测试用例,具有有效性、冗余少、覆盖率高的特点。代码覆盖率提供一个可参考、可跟踪的软件质量的度量值,反映被测软件的可靠性程度。IEC61508标准规定:SIL1必须满足100%的点覆盖率;SIL2必须满足100%的语句覆盖率;SIL3必须满足100%的分支覆盖率。该方法自动统计的覆盖率信息可以用于判断被测程序是否满足目标SIL,还可以通过运行生成的测试用例发现错误。
以上所述,仅为本申请较佳的具体实施方式,但本申请的保护范围并不局限于此,任何熟悉本技术领域的技术人员在本申请揭露的技术范围内,可轻易想到的变化或替换,都应涵盖在本申请的保护范围之内。因此,本申请的保护范围应以所述权利要求的保护范围为准。
Claims (6)
1.一种基于动态符号执行的测试用例生成系统,其特征在于,包括:
解析模块,用于对输入的结构化文本ST源程序中的标准功能块进行建模,得到等效ST程序,使用编译器解析等效ST程序,得到抽象语法树;所述等效ST程序为,将ST源程序中的标准功能块展开表示;所述使用编译器解析包括:使用MATIEC编译器的词法分析器和语法分析器;
控制流图生成模块,用于遍历抽象语法树,结合ST语言的特性,生成控制流图;
动态符号执行模块,用于根据控制流图,对变量属性和标准函数进行建模,生成初始测试用例,代入控制流图中执行,得到已覆盖路径,获取约束集,根据约束集确定候选路径池,从候选路径池中选择一条作为执行路径;所述动态符号执行模块包括:建模单元,用于对变量属性和标准函数进行建模;执行单元,用于使用控制流图中的变量初始值生成初始测试用例,将初始测试用例代入控制流图中执行,得到已覆盖路径,获取已覆盖路径上的约束集,对约束集的每个约束取反,得到候选路径池;过滤单元,用于根据路径搜索策略,从候选路径池中选择一条候选路径作为执行路径;过滤单元还用于:更新候选路径池中的候选路径和覆盖信息,从更新后的候选路径池中,选择一条候选路径作为新的执行路径;若候选路径池中有新的执行路径,则将新的测试用例代入控制流图中执行;若候选路径池控制流图中无新的执行路径,则循环终止;所述路径搜索策略包括:深度优先搜索和广度优先搜索;
约束求解模块,用于根据建模后的标准功能块、标准函数、变量属性以及转换规则,对执行路径上的约束集进行转换后求解,得到新的测试用例;
统计和输出模块,用于保存一个输入源程序得到的所有测试用例,根据已覆盖路径确定覆盖率信息,输出所有测试用例和覆盖率信息;
覆盖率信息包括:语句覆盖率和分支覆盖率;
动态符号执行模块和约束求解模块,利用控制流图生成基于分支覆盖的测试用例集;输入包括:控制流图,路径搜索策略,覆盖标准;输出包括:测试用例集和覆盖率。
2.如权利要求1所述的系统,其特征在于,所述候选路径池包括:一条或多条候选路径。
3.如权利要求1所述的系统,其特征在于,所述控制流图包括:变量初始值、赋值约束、执行条件约束和次序约束。
4.如权利要求1所述的系统,其特征在于,所述约束集包括:赋值约束、执行条件约束和次序约束。
5.如权利要求1所述的系统,其特征在于,所述求解,包括:使用可满足性模理论SMT求解器对转换后的约束集求解。
6.如权利要求1所述的系统,其特征在于,所述转换规则根据需要设定。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910824130.XA CN110515856B (zh) | 2019-09-02 | 2019-09-02 | 一种基于动态符号执行的测试用例生成系统 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910824130.XA CN110515856B (zh) | 2019-09-02 | 2019-09-02 | 一种基于动态符号执行的测试用例生成系统 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN110515856A CN110515856A (zh) | 2019-11-29 |
CN110515856B true CN110515856B (zh) | 2021-01-29 |
Family
ID=68630493
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910824130.XA Active CN110515856B (zh) | 2019-09-02 | 2019-09-02 | 一种基于动态符号执行的测试用例生成系统 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN110515856B (zh) |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111221731B (zh) * | 2020-01-03 | 2021-10-15 | 华东师范大学 | 一种快速获取到达程序指定点测试用例的方法 |
WO2023060598A1 (en) * | 2021-10-15 | 2023-04-20 | Intel Corporation | A concept for generating code of test cases |
CN114510414A (zh) * | 2022-01-17 | 2022-05-17 | 北京大学 | 一种基于符号执行对智能合约功能属性进行形式化验证的方法及系统 |
CN114238154B (zh) * | 2022-02-24 | 2022-05-06 | 湖南泛联新安信息科技有限公司 | 一种符号执行方法、单元测试方法、电子设备及存储介质 |
CN114422385B (zh) * | 2022-03-28 | 2022-07-05 | 阿里云计算有限公司 | 网络系统测试用例的生成方法及系统 |
CN116383070B (zh) * | 2023-04-07 | 2023-12-05 | 南京航空航天大学 | 一种面向高mc/dc的符号执行方法 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102736979A (zh) * | 2012-06-29 | 2012-10-17 | 南京大学 | 一种基于符号执行的带反馈测试用例生成方法 |
US8448134B1 (en) * | 2009-08-24 | 2013-05-21 | Symantec Corporation | Systems and methods for reliably identifying controls invoked during quality-assurance reviews of user interfaces |
CN103294594A (zh) * | 2013-05-08 | 2013-09-11 | 南京大学 | 一种基于测试的静态分析误报消除方法 |
CN107193745A (zh) * | 2017-05-26 | 2017-09-22 | 中国人民解放军信息工程大学 | PLC程序到NuSMV输入模型的自动化构建方法 |
-
2019
- 2019-09-02 CN CN201910824130.XA patent/CN110515856B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8448134B1 (en) * | 2009-08-24 | 2013-05-21 | Symantec Corporation | Systems and methods for reliably identifying controls invoked during quality-assurance reviews of user interfaces |
CN102736979A (zh) * | 2012-06-29 | 2012-10-17 | 南京大学 | 一种基于符号执行的带反馈测试用例生成方法 |
CN103294594A (zh) * | 2013-05-08 | 2013-09-11 | 南京大学 | 一种基于测试的静态分析误报消除方法 |
CN107193745A (zh) * | 2017-05-26 | 2017-09-22 | 中国人民解放军信息工程大学 | PLC程序到NuSMV输入模型的自动化构建方法 |
Also Published As
Publication number | Publication date |
---|---|
CN110515856A (zh) | 2019-11-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110515856B (zh) | 一种基于动态符号执行的测试用例生成系统 | |
US5870590A (en) | Method and apparatus for generating an extended finite state machine architecture for a software specification | |
Troya Castilla et al. | A rewriting logic semantics for ATL | |
US7788646B2 (en) | Method for optimizing integrated circuit device design and service | |
Frey | Automatic implementation of Petri net based control algorithms on PLC | |
CN109143952B (zh) | 可编程逻辑控制器编程语言转换系统 | |
US8584108B2 (en) | Method and apparatus for analyzing software | |
CN110515857A (zh) | 一种基于动态符号执行的测试用例生成方法 | |
CN109032056B (zh) | 可编程逻辑控制器编程语言转换方法 | |
EP1548581A2 (en) | Methods, apparatus and programs for system development | |
JP7204955B2 (ja) | プログラマブルロジックコントローラプログラムを分析する方法、コンピュータプログラム及び装置 | |
US11921621B2 (en) | System and method for improved unit test creation | |
US20190079738A1 (en) | Bytecode generation from uml models | |
Lu et al. | Zen-CC: An automated and incremental conformance checking solution to support interactive product configuration | |
Adiego et al. | Model-based automated testing of critical PLC programs | |
Darvas et al. | Generic representation of PLC programming languages for formal verification | |
Biallas et al. | {Counterexample-Guided} Abstraction Refinement for {PLCs} | |
Busch et al. | A cross-disciplinary language for change propagation rules | |
Asensio et al. | Industrial automation programming environment with a new translation algorithm among IEC 61131–3 languages based on the TC6-XML scheme | |
Worthington | Proof transformations for game logic | |
Köckemann et al. | Planning for automated testing of implicit constraints in behavior trees | |
Újhelyi | Program analysis techniques for model queries and transformations | |
Takahashi | Software quality classification model based on McCabe’s complexity measure | |
Bergstra et al. | Decision problems for pushdown threads | |
Barros et al. | Towards an integrated tool support for the analysis of iopt nets using the spin model checker |
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 | ||
TR01 | Transfer of patent right | ||
TR01 | Transfer of patent right |
Effective date of registration: 20210730 Address after: Room 801, no.6, Lane 600, Yunling West Road, Putuo District, Shanghai 200062 Patentee after: SHANGHAI FORMAL TECH INFORMATION TECHNOLOGY Co.,Ltd. Address before: 200062 No. 3663, Putuo District, Shanghai, Zhongshan North Road Patentee before: EAST CHINA NORMAL University Patentee before: SHANGHAI FORMAL TECH INFORMATION TECHNOLOGY Co.,Ltd. |