关键词: 图形用户界面,事件流图,OME*模式

Abstract: Generally,it is hard to determine the input space when testing the graphical-user interface.It’s also a challenge for the automatic testing tools to identify those events which can only be executed after certain conditions are sa-tisfied.In order to address these problems,one of the effective solutions is to execute the test with the event-flow graph model and the observe-model-exercise* Paradigm.In this paradigm,a table is used to maintain the mapping between the model elements,which include the nodes and edges of the model,and event sequences used to reach them,so that the unique conditions are aware before the execution of the events.The algorithm to maintain the mapping presented by Memon is suitable only for the edges of the model,thus we proposed a new algorithm which is suitable for the nodes of the model.The result of the experiment indicates that the required conditions before the execution of the events are successfully recorded with our algorithm.

Key words: Graphical-user interface(GUI),Event-flow graph,Observe-model-exercise* paradigm(OME*)