Due to the limited battery capacity of smartphones, the power consumption of applications is one of its main consumptions, because applications may produce unexpected power consumption or energy bugs, most of which are design bugs. In order to understand the characteristics of application power consumption and traffic, a model-based method of power consumption and traffic analysis is proposed. Taking the hardware components of the mobile phone as the research object, the time automata model is extended, and the model checking tool UPPAAL is used to build the model. This method can be used in the early stages of development and provides a formal model of asynchronous power consumption for application design and analysis. Designs an example of WiFi power saving mode for research and analysis, verifying and analyzing the main attributes of the model, and then uses the mobile phone application QQ for experimental comparison. The analysis results show that the model conforms to the general model verification requirements. Compared with the measurement results of PowerTutor, its relative error is less than 7%, which can provide reference-based modeling and analysis idea for complex mobile phone systems.