Kagawa University
A GB (go back) function of software for canceling recent user operations and going back to previous states is indispensable to realize usability, and is implemented in much software regardless of its application domain. This paper shows GB coverage criteria that measure the progress of GB function testing based on a PDA (pushdown automaton). They are the extensions of existing coverage criteria based on a state machine, such as a state and N-switch.