一种基于类型推断的具有引导性的测试用例变异方法技术

本发明专利技术公开了一种基于类型推断的具有引导性的测试用例变异方法，针对JavaScript语言及其引擎设计一个测试用例产生器，该测试用例产生器可以产生具有强语义、高代码覆盖率的测试用例，用以提升模糊测试过程中发现JavaScript引擎缺陷的效率；测试用例产生器在产生和处理测试用例时的流程由预处理方法和生成与变异方法两部分组成，其中：预处理方法是对原始语料进行函数化操作，将原始语料拆分成一个一个的function，经语法检查、过滤后得到预备测试用例；生成与变异方法是对得到的预备测试用例进行参数类型推断，然后生成自调用表达式，进而得到测试用例文件。当function的参数所需的数据类型被成功推定后，就可以有针对性地对相应数据类型的参数的值进行有效的变异。

【技术实现步骤摘要】
一种基于类型推断的具有引导性的测试用例变异方法
本专利技术涉及计算机软件的测试领域，具体涉及一种基于类型推断的具有引导性的测试用例变异方法。
技术介绍
1.1相关技术背景根据测试目标的不同和产生测试用例的方法的不同，将软件测试方法分为基于断言的测试和模糊测试两种。基于断言的测试一般用于测试目标明确的场景中，即测试人员清楚地知道要测试的是系统的哪个模块，然后有针对性地对相应的模块编写特定的测试用例，在对模块执行测试用例的表现进行预估之后设定断言，最后调用被测模块执行测试用例，将模块的执行结果和测试前设定的断言进行比对，如果一致则该模块通过测试，否则判定该模块存在缺陷。如存在一个计算两数相加的软件模块add，现有一个测试用例包含两个数3和5，可以设定断言，调用add(3，5)应当得到结果8，然后真正得使用上述测试用例去调用add模块，如果实际结果和断言中的8一致，即说明模块add通过了测试，否则说明其内部逻辑存在缺陷。模糊测试是一种自动化的软件测试技术。相对于基于断言的测试方法，模糊测试不仅关注系统中的一个个模块，而本文档来自技高网...

【技术保护点】
1.一种基于类型推断的具有引导性的测试用例变异方法，其特征在于，针对JavaScript语言及其引擎设计一个测试用例产生器，该测试用例产生器可以产生具有强语义、高代码覆盖率的测试用例，用以提升模糊测试过程中发现JavaScript引擎缺陷的效率；/n所述测试用例产生器在产生和处理测试用例时的流程由预处理方法和生成与变异方法两个部分组成，其中：/n所述预处理方法是对原始语料进行函数化操作，将原始语料拆分成一个一个的function，经语法检查、过滤后得到预备测试用例；/n所述生成与变异方法是对得到的预备测试用例进行参数类型推断，然后生成自调用表达式，进而得到测试用例；当function的参数所需...

【技术特征摘要】
1.一种基于类型推断的具有引导性的测试用例变异方法，其特征在于，针对JavaScript语言及其引擎设计一个测试用例产生器，该测试用例产生器可以产生具有强语义、高代码覆盖率的测试用例，用以提升模糊测试过程中发现JavaScript引擎缺陷的效率；
所述测试用例产生器在产生和处理测试用例时的流程由预处理方法和生成与变异方法两个部分组成，其中：
所述预处理方法是对原始语料进行函数化操作，将原始语料拆分成一个一个的function，经语法检查、过滤后得到预备测试用例；
所述生成与变异方法是对得到的预备测试用例进行参数类型推断，然后生成自...

【专利技术属性】
技术研发人员：房鼎益，曹帅，叶贵鑫，田洋，姚厚友，汤战勇，陈晓江，
申请(专利权)人：西北大学，
类型：发明
国别省市：陕西;61