ALGORITHMIC DEBUGGING OF EQUIVALENT TRANSFORMATION PROGRAMS USING ORACLE RULES

作者：Miyajima Shinya^*; Akama Kiyoshi; Mabuchi Hiroshi

来源：International Journal of Innovative Computing Information and Control, 2011, 7(8): 4703-4716.

• Equivalent transformation model
• Algorithmic debugging
• Program correctness

A debugging algorithm in equivalent transformation (ET) model is proposed. The proposed algorithm returns a bug rule in a program by receiving new rules from oracles (oracle rules). We construct theory about correctness of the proposed algorithm, present two strategies with respect to the requests of oracle rules, report examples to show the property of the proposed algorithm, and compare the proposed algorithm with the other debugging algorithms in the ET model.

• 出版日期2011-8