作者: Markus Stumptner , Franz Wotawa , Dominik Wieland , Wolfgang Mayer
DOI:
关键词:
摘要: With recent research showing that consistency based diagnosis can be used to model programs written in imperative programming languages for debugging purposes, it has been possible develop environments provide interactive support the developer, homing on individual faults within a few interactions. In addition complexity results, this paper discusses how results of straightforward application models improved upon by incorporating information obtained from multiple test cases (i.e., input/output vector specifications). The executing such heuristic statement selection assigning fault probabilities, and elimination candidates. We also discuss extended algorithms integrated with consideration during process.