随着软件逐渐成为人们日常的一部分,人们对软件的质量和可靠性的要求也越来越高。作为业界保证软件质量的主流技术,软件测试是一个用来检查开发软件的正确性、完整性、安全性和品质的过程。这个过程包含了执行程序或应用以发现错误。动态软件测试评判标准其核心就是测试预言,它用来评判软件在特定的执行中是否正确。日志文件分析是一种典型的以规约为基础的测试预言技术,其中规约用一种有限状态机描述语言表示,它独立于源代码,独立于编程语言,而且可以用来描述各种软件行为。这种表达能力超过断言,具有很强的灵活性,适用范围广。再就是在日志文件的基础上做测试,故不依赖测试用例的选择与执行,只关心测试结果的评判和动态监视软件的执行。本文主要研究并用Java实现一个基于日志文件分析的测试工具包。提供了记录日志的API,重新定义了状态机描述语言,设计实现了表示状态机的数据结构和测试预言算法。并且在此基础上,将测试预言的应用扩展到实时的软件状态监控。实验结果表明,对于系统测试和单元测试,该工具都可以准确地检测出软件运行中违背规约的错误行为。