无线宽带接入的普及和移动终端技术的发展，使得移动应用的开发和使用日益广泛。移动应用测试是保障移动应用质量的重要手段。针对目前该领域若干关键问题，研究基于图形化用户接口(GUI)模型的移动应用测试理论和方法，研究内容包括：(1) 研究融合功能语义信息的智能搜索方法和基于约束的表单组合数据生成方法，构造移动应用 (GUI)模型，生成移动应用测试用例，提高测试的有效性和充分性；(2) 研究基于约束求解的移动应用并发缺陷探测方法，该方法首先基于GUI模型生成并运行候选事件序列，记录其执行轨迹，然后通过构建和求解事件调度和缺陷模式的约束关系探测移动应用中并发缺陷，降低误报率和漏报率；(3) 研究基于智能搜索GUI模型的回归测试用例生成以及测试脚本自动修复方法，提高移动应用回归测试的自动化程度和效率；(4) 开发基于GUI模型的移动应用测试平台，通过大规模实验验证上述方法的正确性、有效性和性能。

With the popularization of wireless broadband access and the advancement of mobile terminal techniques, the development and use of mobile applications have become increasingly widespread. Testing is an important means to ensure the quality of mobile applications. Theories and methods for testing mobile applications based on graphical user intrface(GUI) models will be studied for some key issues in this field. This research will focus on the following aspects: (1)Investigate an intelligent exploration approach which incorporates semantics information of functionalities and a pairwise combinatorial strategy which addresses constraints between form data,then on this basis construct GUI test models and generate test cases aiming to make a full and effective testing of mobile applications;(2) To reduce false positives and false negatives, propose a dynamic method for detecting mobile application concurrency defects based on constraint solving, in which candidate event sequences are firstly generated based on GUI models and run, and then their execution taces are recorded, finally concurrent defects are detected by constructing and solving the constraints involved in event scheduling and defect patterns; (3) With the adoption of intelligent explorations in GUI models, investigate approaches to deriving regression test cases and repairing test scripts automatically and efficiently;(4)Develop a platform based on GUI models for testing mobile applications, and conduct a large scale empirical study to verify the correctness, effectiveness and performance of our algorithms.