基于符号执行的GUI程序测试用例扩增方法

摘要

基于符号执行的GUI程序测试用例扩增方法，对于一个待测程序，首先使用JPF工具为待测程序创建一个“.jpf”文件，并静态分析待测程序代码，获取符号执行分析后产生的有效输入值；以控件的名字属性作为关键字在已有测试用例脚本中搜索与定位需要置入新输入值的位置，然后用有效输入值进行替换原值，生成新的测试用例，实现原测试用例集扩增。本发明作为一种GUI界面测试技术引入了符号执行技术，能够运用符号执行的方法完成对GUI程序前台界面测试用例的扩增，让GUI程序前台界面的测试更加充分，提高了GUI程序前台界面的测试效率。

主权项

基于符号执行的GUI程序测试用例扩增方法，其特征是对于一个GUI待测程序，使用工具Java Path Finder，简称JPF，为待测程序源代码创建“.jpf”文件，并静态分析待测程序代码，获取JPF符号执行分析后产生的有效输入值；确定已有测试用例中需要修改的参数，然后根据控件的名字属性作为关键字搜索与定位到待测程序中所述需要修改的参数对应的位置，得到修改参数有效输入值，再用所述修改参数有效输入值替换已有测试用例原脚本中对应位置的输入值，生成新的测试用例，所述新的测试用例用于扩增原测试用例集。