Issue No. 10 - October (2004 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TKDE.2004.62
Hee Beng Kuan Tan , IEEE
Automated recovery of system features and their designs from program source codes is important in reverse engineering and system comprehension. It also helps in the testing of software. An error that is made by users in an input to an execution of a transaction and discovered only after the completion of the execution is called a posttransaction user-input error (PTUIE) of the transaction. For a transaction in any database application, usually, it is essential to provide transactions for correcting the effect that could result from any PTUIE of the transaction. We discover some probable properties that exist between the control flow graph of a transaction and the control flow graphs of transactions for correcting PTUIE of the former transaction. Through recognizing these properties, this paper presents a novel approach for the automated approximate recovery of provisions and designs for transactions to correct PTUIE of transactions in a database application. The approach recognizes these properties through analyzing the source codes of transactions in the database application statically.
Reverse engineering, feature recovery, software verification, database transaction, posttransaction user-input error handling, static program analysis, probable properties.
Hee Beng Kuan Tan, Ni Lar Thein, "Recovery of PTUIE Handling from Source Codes through Recognizing Its Probable Properties", IEEE Transactions on Knowledge & Data Engineering, vol. 16, no. , pp. 1217-1231, October 2004, doi:10.1109/TKDE.2004.62