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 :
بازگشت