Title :
GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton
Author :
Takagi, Tomohiko ; Furukawa, Zengo
Author_Institution :
Fac. of Eng., Kagawa Univ., Takamatsu
Abstract :
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.
Keywords :
program testing; pushdown automata; software metrics; go back coverage criteria; go back software function testing; pushdown automaton; software measurement; Application software; Automata; Automatic testing; Credit cards; Performance evaluation; Reliability engineering; Software measurement; Software reliability; Software testing; Usability;
Conference_Titel :
Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on
Conference_Location :
Seattle, WA
Print_ISBN :
978-0-7695-3405-3
Electronic_ISBN :
1071-9458
DOI :
10.1109/ISSRE.2008.41
