Title :
The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software
Author :
Takagi, Tomohiko ; Furukawa, Zengo
Author_Institution :
Dept. of Reliability-based Inf. Syst. Eng., Kagawa Univ., Takamatsu, Japan
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.
Keywords :
program testing; pushdown automata; software quality; PDA; UR functions; pushdown automaton; redo function; software function; undo function; Automata; Books; Credit cards; History; Software; Systematics; Testing; coverage criterion; pushdown automaton; software testing; state machine; testcase generation; undo/redo;
Conference_Titel :
Computer and Information Science (ICIS), 2010 IEEE/ACIS 9th International Conference on
Conference_Location :
Yamagata
Print_ISBN :
978-1-4244-8198-9
DOI :
10.1109/ICIS.2010.144
