当前,智能手机以及平板电脑之类的移动终端逐渐成为日常生活中不可或缺的一部分,其上的移动应用也随之蓬勃发展,应用复杂度呈几何倍数增长。与此同时,作为移动市场的主导者之一,安卓平台存在着碎片化问题,这使得同一个安卓应用,需要为多个系统版本和不同的设备进行分别的设计和开发。为此,本文倡导采用模型驱动工程来解决这些问题。同时作为软件生命周期中最为耗时的步骤之一,测试一直是软件开发工作中的一个重要过程。目前工业界的安卓测试还停留在人工编写脚本自动化执行的阶段,学术界虽然也存在一些完全自动化的测试工具/方法,但是由于缺少人工的指导,它们难以达到良好的测试效果。故本文希望采用基于模型的测试这一方法,即利用模型来描述应用,指导测试的进行,从而提高测试的效果。在当前已有的针对安卓应用的基于模型测试方法中,其采用的模型对应用前端的描述都太过简略或是表现力不足,并不适用于注重前端展示和事件交互的安卓应用。针对这一点,本文选择了着重描述应用前端展示与事件交互的建模语言——交互流建模语言,即IFML,来描述安卓应用。然而当前的IFML在描述安卓应用时依然过于抽象和宽泛,为此本文在安卓官方指导文档的基础上,辅之以一系列的针对当前热门安卓应用的调研工作,总结了安卓应用的前端特征,对IFML进行了安卓端的扩展,提高了其可用性以及与安卓应用的契合程度。随后,本文提出了基于该扩展后的IFML模型的测试方法。该方法通过模型遍历的方式选取模型中的可执行路径,并使用约束求解器对输入进行求解,从而生成符合覆盖要求的测试用例并进行执行。在此基础上,本文也实现了相应的建模与测试工具ADAMANT。在ADAMANT中,使用者能够有效地以图形的方式使用IFML为安卓应用建模,随后ADAMANT以完全自动化的方式遍历IFML模型,生成测试用例并执行。本文将该工具运用到6个真实的安卓应用上。实验结果表明,无论是在测试覆盖度、执行时间还是缺陷发现能力上,该工具都有很好的表现。