Isolating cause-effect chains with AskIgor | IEEE Conference Publication | IEEE Xplore

Isolating cause-effect chains with AskIgor


Abstract:

AskIgor is a Web service for automatically determining causes of program failures. You submit an executable and two invocations: one where the program fails, and one wher...Show More

Abstract:

AskIgor is a Web service for automatically determining causes of program failures. You submit an executable and two invocations: one where the program fails, and one where it passes. AskIgor compares these two runs and conducts a number of systematic tests to narrow down the set of failure-inducing variable values automatically. This reveals the cause-effect chain of the failure - that is, the variables and values that caused the failure. In a case study, AskIgor successfully isolated the cause-effect chain for a failure of the GNU C compiler: "initially, the C program to be compiled contained an addition of 1.0; this caused an addition operator in the intermediate RTL representation; this caused a cycle in the RTL tree - and this caused the compiler to crash".
Date of Conference: 10-11 May 2003
Date Added to IEEE Xplore: 21 May 2003
Print ISBN:0-7695-1883-4
Print ISSN: 1092-8138
Conference Location: Portland, OR, USA

Contact IEEE to Subscribe

References

References is not available for this document.