Fault localization for data-centric programs

摘要

Methods and arrangements for localizing faults in programs. A program is assimilated, the program comprising statements. Output behavior of the statements is modeled, and statement occurrences are annotated. Passing and failing spectra are differenced to yield a difference, and a fault is located via employing the difference.

主权项

1. A method comprising:
utilizing at least one processor to execute computer code configured to perform the steps of: assimilating a program, the program comprising statements, each statement comprising at least one statement type; modeling output behavior of an occurrence of one of the statements; said modeling comprising:
mapping a statement type, of the one of the statements, to behavior classification rules stored in a repository; anddescribing the behavior of the mapped statement type with respect to a property as a set of behavior classes, each behavior class comprising a non-overlapping, fault-relevant set of possible values of the property; each behavior classification rule comprising:
a computation expression; andat least one domain-relevant function; executing the mapped behavior classification rules and thereby obtaining behavior classes for the statement occurrence; annotating the statement occurrence with the behavior classes; said annotating comprising annotating passing and failing input spectra; differencing the annotated passing and failing input spectra to yield a difference; and localizing a fault via employing the difference.