[发明专利]基于符号执行的GUI程序测试用例扩增方法在审
| 申请号： | 201410712797.8 | 申请日： | 2014-11-28 |
| 公开（公告）号： | CN104536880A | 公开（公告）日： | 2015-04-22 |
| 发明（设计）人： | 徐宝文;周骏贵;张智轶;杨薇然;陈振宇;张驰;濮力;程秀才;谢佩章;王婧宇 | 申请（专利权）人： | 南京大学;江苏苏测软件检测技术有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 南京天翼专利代理有限责任公司 32112 | 代理人： | 奚铭 |
| 地址： | 210093 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 基于符号执行的GUI程序测试用例扩增方法，对于一个待测程序，首先使用JPF工具为待测程序创建一个“.jpf”文件，并静态分析待测程序代码，获取符号执行分析后产生的有效输入值；以控件的名字属性作为关键字在已有测试用例脚本中搜索与定位需要置入新输入值的位置，然后用有效输入值进行替换原值，生成新的测试用例，实现原测试用例集扩增。本发明作为一种GUI界面测试技术引入了符号执行技术，能够运用符号执行的方法完成对GUI程序前台界面测试用例的扩增，让GUI程序前台界面的测试更加充分，提高了GUI程序前台界面的测试效率。 | ||
| 搜索关键词： | 基于 符号 执行 gui 程序 测试 扩增 方法 | ||
【主权项】：
基于符号执行的GUI程序测试用例扩增方法，其特征是对于一个GUI待测程序，使用工具Java Path Finder，简称JPF，为待测程序源代码创建“.jpf”文件，并静态分析待测程序代码，获取JPF符号执行分析后产生的有效输入值；确定已有测试用例中需要修改的参数，然后根据控件的名字属性作为关键字搜索与定位到待测程序中所述需要修改的参数对应的位置，得到修改参数有效输入值，再用所述修改参数有效输入值替换已有测试用例原脚本中对应位置的输入值，生成新的测试用例，所述新的测试用例用于扩增原测试用例集。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京大学;江苏苏测软件检测技术有限公司;，未经南京大学;江苏苏测软件检测技术有限公司;许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410712797.8/，转载请声明来源钻瓜专利网。
- 上一篇：基于频繁子图挖掘的错误定位方法
- 下一篇：一种基于混合策略的测试数据生成方法
