DocumentCode
2403821
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
fYear
2010
fDate
18-20 Aug. 2010
Firstpage
770
Lastpage
775
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer and Information Science (ICIS), 2010 IEEE/ACIS 9th International Conference on
Conference_Location
Yamagata
Print_ISBN
978-1-4244-8198-9
Type
conf
DOI
10.1109/ICIS.2010.144
Filename
5591047
Link To Document