随着互联网的不断发展,移动应用的需求快速增长。移动应用的质量保证是决定其成功的主要因素。测试自动化可能是提高移动应用程序质量并降低测试成本的有效解决方案,但实现移动应用的自动化功能测试是复杂且困难的,它是一项昂贵且耗时的活动,并面临诸多挑战。目前主要面临两大挑战,即测试序列自动生成和测试Oracle自动获取问题:（1）如何自动生成功能测试的测试序列,以达到自动化功能测试的目的?（2）如何自动获取测试Oracle,用于验证功能测试序列执行后结果的正确性?（3）如何将功能测试序列与测试Oracle关联,形成完整的功能测试套件,以达到对移动应用进行功能测试的目的?针对上述问题,本文提出了基于模型的移动应用功能测试用例生成方案。首先,本文采用基于GUI模型的测试技术,解决移动应用的功能测试序列生成问题。基于GUI Ripping技术,构建被测应用的GUI树,再从GUI树中推导出事件流图EFG,对EFG进行事件提取及分类,并通过消除非功能性事件对EFG进行优化,再采用图形遍历算法DFS遍历EFG,生成功能测试序列。其次,本文通过两种方法对功能测试的测试Oracle进行获取。一种是对部分独立于应用的功能（AIF）,直接获取已知的测试Oracle,用形式化定义,给出两类功能的操作序列和测试Oracle信息。另一种是基于应用的满足IEEE标准格式的需求规格文档,获取测试Oracle,使用正则表达式,从需求文档中提取与功能相关的测试Oracle信息,包括应用的前置状态、功能的执行操作和应用的预期行为,然后进行形式化定义。最后,本文提出一种匹配机制,将基于GUI模型生成的功能测试序列和获取的测试Oracle进行关联,以获得完整的功能测试用例。该机制采用了三种匹配方式:（1）结构匹配,（2）语义匹配,（3）完善匹配。其中结构匹配通过采用字符串匹配算法KMP,将测试序列与测试Oracle包含的操作序列进行匹配;语义匹配主要针对结构匹配中由于测试序列和测试Oracle包含的操作序列中存在命名差异,但语义一样导致的匹配不成功的情况;完善匹配用于解决交互功能测试需要的事件序列不能通过GUI模型获得的问题。本文设计了三个实验来验证方案的有效性,实验结果表明本文方案能够生成满足较高功能边覆盖率的最小功能测试序列,测试序列与测试Oracle关联形成的功能测试用例能够比较准确地检测出大部分应用程序的功能缺陷,且误报率较低。这表明本文方案能够有效解决移动应用功能测试面临的部分问题,并且可以减少测试人员的工作,节省测试时间并提高测试效率。