DocumentCode
1728215
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
fYear
2008
Firstpage
293
Lastpage
294
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on
Conference_Location
Seattle, WA
ISSN
1071-9458
Print_ISBN
978-0-7695-3405-3
Electronic_ISBN
1071-9458
Type
conf
DOI
10.1109/ISSRE.2008.41
Filename
4700342
Link To Document