Please use this identifier to cite or link to this item:
Title: Automated verification and testing of user-interactive undo features in database applications
Authors: Tan, Hee Beng Kuan
Ngo, Minh Ngoc
Keywords: DRNTU::Engineering::Electrical and electronic engineering
Issue Date: 2010
Source: Ngo, M. N., & Tan, H. B. K. (2012). Automated verification and testing of user-interactive undo features in database applications. Software Testing, Verification and Reliability, 22(4), 245-265.
Series/Report no.: Software testing, verification and reliability
Abstract: User-interactive undo is a recovery facility that enables users to correct mistakes easily by canceling or re-executing operations that have already been executed. This paper presents an interesting common structural property that has been discovered in programs that implementing user-interactive undo features. The property shows that there is a one-to-one correspondence between program statements that raise erroneous effects and those statements that can undo these effects. Statistical validation has been conducted which gives evidences to show that this property holds for 99 per cent of all the cases. An approach for automated verification of user-interactive undo features in database applications through the use of this empirical property is further proposed. Based on the verification results, test cases are automatically generated to confirm the correctness of these features. A case study has been conducted to evaluate the performance of the proposed verification and testing approach in terms of fault detection capability.
ISSN: 0960-0833
DOI: 10.1002/stvr.439
Rights: © 2010 John Wiley & Sons, Ltd.
Fulltext Permission: none
Fulltext Availability: No Fulltext
Appears in Collections:EEE Journal Articles

Citations 50

Updated on Jan 22, 2023

Web of ScienceTM
Citations 50

Updated on Feb 3, 2023

Page view(s) 50

Updated on Feb 3, 2023

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.