黄小龙
- 作品数：8 被引量：3H指数：1
- 供职机构：西安交通大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于分支概率引导的回归测试案例生成方法
- 2013年
- 提出一种基于分支概率引导的回归测试案例生成方法。首先,通过对程序建模生成程序控制依赖图并计算分支概率,分支概率是指对某分支取反后所生成的测试案例能够覆盖程序修改部分的概率;然后,根据分支概率引导符号执行来生成能够覆盖程序修改部分的测试案例,符号执行每次选择分支概率最大的分支取反来生成测试案例,并迭代生成测试案例使之逐渐逼近符合期望的测试案例。对2个程序的20个演化版本进行测试案例生成,在相同实验环境下与已有的两种回归测试案例生成方法即eXpress和传统DSE进行比较。实验结果显示:相对原有方法本方法减少了45.6%和61.1%的搜索次数。
- 俞乐晨王海军郑庆华刘烃黄小龙杨子江魏嵬
- 一种纵横复合型真空灭弧室触头结构
- 本发明公开了一种纵横复合型真空灭弧室触头结构，包括结构相同，且均设置于灭弧室中的阳极触头系统和阴极触头系统；主导电杆的末端均安装有杯座，杯座上均设置有圆柱状结构的横磁导电系统以及圆环状结构的纵磁导电系统，横磁导电系统均套...
- 王立军王海靖贾申利史宗谦黄小龙钱仲豪
- 文献传递
- 基于程序行为切片的测试案例约减方法
- 本发明提出一种基于程序行为切片的测试案例约减方法，在无需对全部程序路径进行扫描的情况下，生成可以覆盖全部程序行为的测试案例集，缓解程序测试面临的状态空间爆炸问题。在静态分析阶段该方法根据输入的程序代码分析程序的控制流和信...
- 管晓宏郑庆华刘烃王海军俞乐晨黄小龙
- 文献传递
- 一种纵横复合型真空灭弧室触头结构
- 本发明公开了一种纵横复合型真空灭弧室触头结构，包括结构相同，且均设置于灭弧室中的阳极触头系统和阴极触头系统；主导电杆的末端均安装有杯座，杯座上均设置有圆柱状结构的横磁导电系统以及圆环状结构的纵磁导电系统，横磁导电系统均套...
- 王立军王海靖贾申利史宗谦黄小龙钱仲豪
- 文献传递
- 基于程序控制依赖引导的回归测试案例生成方法
- 本发明提出一种基于程序控制依赖引导的回归测试案例生成方法，可以自动生成对程序修改部分进行有效测试的测试案例。该方法以发生修改的程序代码为测试目标，通过分析程序的控制流和信息流，建立程序控制依赖图；计算各个分支语句到达测试...
- 郑庆华刘烃王海军俞乐晨黄小龙
- 文献传递
- 基于程序控制依赖引导的回归测试案例生成方法
- 本发明提出一种基于程序控制依赖引导的回归测试案例生成方法，可以自动生成对程序修改部分进行有效测试的测试案例。该方法以发生修改的程序代码为测试目标，通过分析程序的控制流和信息流，建立程序控制依赖图；计算各个分支语句到达测试...
- 郑庆华刘烃王海军俞乐晨黄小龙
- 文献传递
- 基于程序切片的测试用例生成系统研究与实现被引量：3
- 2014年
- 介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算程序的潜在依赖;动态符号执行模块求解约束条件、生成测试用例和分析代码执行过程;测试用例生成模块根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片,然后根据未被覆盖的程序行为切片,引导符号执行生成能覆盖新的程序行为切片的测试用例。实验证明,本系统生成的测试用例集可以保证覆盖所有的程序行为,同时能显著减少生成的测试用例数量。
- 王志文黄小龙王海军刘烃俞乐晨
- 关键词：软件测试程序切片
- 基于程序行为切片的测试案例约减方法
- 本发明提出一种基于程序行为切片的测试案例约减方法，在无需对全部程序路径进行扫描的情况下，生成可以覆盖全部程序行为的测试案例集，缓解程序测试面临的状态空间爆炸问题。在静态分析阶段该方法根据输入的程序代码分析程序的控制流和信...
- 管晓宏郑庆华刘烃王海军俞乐晨黄小龙
- 文献传递
