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