Title :
A Debugging Algorithm in Equivalent Transformation Model Using Oracle Rules
Author :
Miyajima, Shinya ; Akama, Kiyoshi ; Mabuchi, Hiroshi
Author_Institution :
Fac. of Eng., Gifu Univ., Gifu, Japan
Abstract :
A debugging algorithm in equivalent transformation model is proposed. The proposed algorithm returns a bug rule in a program by receiving new rules from oracles (oracle rules). We construct a theory about correctness of the proposed algorithm. Moreover we present two strategies for selecting a part of computational states which an oracle rule transforms.
Keywords :
program debugging; bug rule; debugging algorithm; equivalent transformation model; oracle rules; Computer bugs; Computer languages; Information science; Problem-solving; Programming profession; Software algorithms; Software debugging;
Conference_Titel :
Innovative Computing, Information and Control (ICICIC), 2009 Fourth International Conference on
Conference_Location :
Kaohsiung
Print_ISBN :
978-1-4244-5543-0
DOI :
10.1109/ICICIC.2009.5
