The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software

Abstract

UR (undo/redo) functions of software play a great role as the achievement of usability, and they are widely used. However, there are no systematic methods of testing the UR functions that are essentially complex. This paper shows systematic method of modeling the behavior of software using a PDA (pushdown automaton) and generating testcases for the UR functions. The testcase generation is based on the coverage criterion designed for the PDA. We applied this method to an example of software and evaluated its effectiveness.