首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种基于单元测试用例转化的缺陷检测系统 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:上海安般信息科技有限公司

摘要:本发明提供一种基于单元测试用例转化的缺陷检测系统,包括:用例分析模块,其用于自动化探查目标函数及其单元测试用例,对目标函数进行可达性分析,确认单元测试用例的依赖关系及参数;驱动生成模块,其用于对单元测试用例进行模糊目标选择,自动生成模糊测试驱动;缺陷检测模块,其用于实现函数层级的模糊测试,通过对模糊测试子引擎的运行管理,在模糊测试子引擎中对模糊测试驱动的参数进行变异;数据分析模块,其用于对测试结果进行统计和缺陷信息分析。本发明提供的基于单元测试用例转化的缺陷检测系统,通过将单元测试用例转化为模糊测试驱动,实现自动化的模糊测试,从而在单元测试阶段发现其代码缺陷,有效降低开发测试成本。

主权项:1.一种基于单元测试用例转化的缺陷检测系统,其特征在于,包括:用例分析模块,其用于自动化探查目标函数及其单元测试用例,对所述目标函数进行可达性分析,对所述单元测试用例进行全量或增量分析,确认所述单元测试用例的依赖关系及参数;驱动生成模块,其用于对所述单元测试用例进行模糊目标选择,自动生成模糊测试驱动,通过替换识别出的模糊目标为模糊输入赋值语句,通过模糊策略生成模糊测试驱动;其还用于对未生成驱动的待测程序进行驱动补全,根据缺陷检测模块的测试结果和用例分析模块的待测程序信息确定需要补全的驱动,对无参数输入、参数处理失败、参数为常量的函数进行驱动补全;其还用于对各类特殊场景进行处理,包括针对配置文件的变异处理策略、对用户配置的特定参数不进行变异或在指定范围内变异、对依赖文件特殊处理;缺陷检测模块,其用于实现函数层级的模糊测试,通过对模糊测试子引擎的运行管理,接收所述用例分析模块和所述驱动生成模块生成的数据,在所述模糊测试子引擎中对所述模糊测试驱动的参数进行变异,实现对所述目标函数的充分性遍历以得到测试结果,所述测试结果包括:检测内存溢出问题、内存错误问题、类型转换问题、未定义行为问题;数据分析模块,其用于对所述测试结果进行统计和缺陷信息分析,所述缺陷信息分析包括:缺陷数量统计、缺陷类型信息分析、缺陷定位信息分析、缺陷日志信息分析。

全文数据:

权利要求:

百度查询: 上海安般信息科技有限公司 一种基于单元测试用例转化的缺陷检测系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。