Android是目前重要的移动应用软件平台。然而，恶意应用的泛滥，还有移动应用展现出来的很多新特性，给应用软件的分析与测试研究提出了新的挑战：缺乏与当前主流真实移动应用规模相匹配的、面向安全和能耗等突出的问题的有效的建模与分析技术；缺乏适应工业级移动应用极短发布周期的高效率分析工具。针对这些新的挑战拟研究： 1)考虑移动应用的事件驱动下的多入口特点,进行有效的建模； 2)在模型指导下的针对特定类型错误的轻量级高效率静态分析； 3)设计针对具有多样性输入的移动应用的动态分析方法，改进静态分析的效果； 4)利用静态分析的结果定位程序的错误、修复程序。项目的成功实施，将会形成一套针对移动应用软件的系统性测试方法，为移动应用开发提供全方位分析与测试支持，改善移动应用的质量。

Android is an importantant platform for mobile applications. However, malware on mobile devices and the new characteristics of mobile applications are posing new challenges to the industry as well as academic research: requiring effective modeling and analysis techniques for detecting the bugs related to security and energy-consumption, which are the prominent issues of the state-of-art android applications; lack of highly-efficient analysis tools that can keep up with the pace of application release. Facing the challenges, we are going to divide the research work into several parts: (1) establish model for the event driven mobile application; (2) design light-weight and high-efficient static analysis techinques for analyzing specific bugs under the guidance of the established models; (3) handle the complexity of mobile input, and design specialized dynamic analyses, to inprove the effectiveness of static analyses, and (4)localize the confirmed bugs and fix them according the bug reports of static analysis. The successful conduction of our research will provide us with a systematic analysis and testing method for mobile applications, which will give a strong support for development process development and help improve the quality of mobile applications.