随着手机的应用越来越广，人们对于手机软件的要求不断提高，手机软件测试也越来越受到重视。目前常用的手机测试方法是手工测试，这类方法往往效率较低，而且容易出错。自动测试方法可以大大减少系统开销，提高软件测试的经济性和修改性。大多数软件系统都会保存系统运行的日志文件，记录在系统运行过程中发生的各种事件。日志文件分析方法通过对日志文件的分析，可以判断出程序是否存在缺陷。本文采用形式化语言描述的日志文件分析方法，对手机软件进行测试，选取手机软件中容易出错的内存管理和具有代表性的应用——Java游戏进行测试。(1)内存管理测试。由于手机是资源受限的系统，各种资源都非常紧张，对资源的正确使用非常重要。内存是各种资源的典型代表，分析内存具有普遍意义。本文分析了内存管理的常见问题，采用日志文件分析方法对其进行测试，验证了该方法的有效性。(2) Java游戏测试。娱乐是当前手机发展的方向。游戏作为娱乐的一个重要方面已经引起各大手机生产厂商的重视。针对手机中的Java游戏，将形式化的日志文件分析方法用到手机游戏的测试上去，有利于提高手机游戏测试的效率。由于原先的日志文件分析语言LFAL相对简单，无法定义内部变量，不支持复杂条件判断，循环语句，赋值语句等这些常用的过程语句，不适于描述Java游戏。本文提出了扩展的LFAL——ELFAL，大大增强了语言的描述能力。