图形用户界面(GUI)是当今软件中的一个必不可少的组成部分,它是软件底层代码的前端并使得软件易于使用,现在图形用户界面已经被广泛地使用。与传统的软件相比,GUI软件具有许多不同的特点,因此,GUI的测试仍然是一个有待进一步研究的领域。 本文对GUI测试的研究,主要工作有:第一是GUI的形式化描述,第二是GUI测试用例的生成。Petri网是一种可用到很多系统和领域中的图形和数学工具,我们采用Petri网作为描述GUI的工具,能够有效地描述和模拟系统的动态特性。文中提出了基于基本Petri网的GUI模型,说明了如何用这个模型对实际的GUI系统进行建模,并且给出了建模的实例。由于GUI测试用例的生成是基于有限状态机(FSM)的,所以本文进一步研究了从Petri网到FSM的转换。文章中提出了转换定理,进行了证明,并给出了转换的算法;同时用该转换算法对以Petri网建模的GUI实例进行了转换,即将其转换为FSM的模型。本文选择基于覆盖的方法来生成GUI测试用例,这种方法分三个步骤:第一是生成符合覆盖准则和测试用例生成条件要求的子序列,第二是生成预期状态,第三是将有效的子序列逐步连接成目标测试用例。在详细叙述了该方法的基础上,给出了一个实例。 最后,在上述研究的基础上,本文指出了进一步研究的方向。