SCREEN NET MODEL FOR GUI NAVIGATION
 
 

I am working alongside prof.Tsai in the area of Software testing for GUI based applications. We have developed a model called SNet (a short form for Screen Net ) which  is used to describe the behaviour of the GUI , in terms of navigation  between the screens.The aim is to automatically generate test cases to test GUI navigation between the screens , which we consider as the top level container in SNet. In graph theoretic terms , the SNet is nothing but a digraph where the nodes represent the screens and the links are the navigation steps between the screens. Each navigation step is a six-tuplet , which describes the transition form a source screen in some state (pre conditon)to a destination screen  having a post conditon (destination state).
 
 

Symbolically,

SNet = ({Screen},{Nstep})

where {Screen} =  Set of screens in the GUI behavioral model
             {Nstep} = Set of  navigation steps

                        where ,    NStep = {ID, DS,AS,PreCond,postCond, NE}
and,

ID = Navigation step ID
DS = Source/ Departure screen
AS = Destination/Arrival screen
Precond = state of the window/screen  in the source screen
Postcond = state of the window/screen in the destination screen
 
 

For more information regarding  SNet  , please refer the  complete paper....
                               GUI test document 2000