Towards an integrated debugging environment

作者: 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.

参考文章(8)
Markus Stumptner, Franz Wotawa, Debugging functional programs international joint conference on artificial intelligence. pp. 1074- 1079 ,(1999)
Boris Beizer, Software Testing Techniques ,(1983)
Donald E. Knuth, The errors of tex Software: Practice and Experience. ,vol. 19, pp. 607- 685 ,(1989) , 10.1002/SPE.4380190702
Gerhard Friedrich, Markus Stumptner, Franz Wotawa, Model-based diagnosis of hardware designs Artificial Intelligence. ,vol. 111, pp. 3- 39 ,(1999) , 10.1016/S0004-3702(99)00034-X
Boris Beizer, Software testing techniques (2nd ed.) Van Nostrand Reinhold Co.. ,(1990)
Markus Stumptner, Dominik Wieland, Franz Wotawa, Comparing Two Models for Software Debugging Lecture Notes in Computer Science. pp. 351- 365 ,(2001) , 10.1007/3-540-45422-5_25
Johan De Kleer, Brian C Williams, Diagnosing multiple faults Artificial Intelligence. ,vol. 32, pp. 100- 117 ,(1987) , 10.1016/0004-3702(87)90063-4
Markus Stumptner, Franz Wotawa, Cristinel Mateis, Debugging of Java programs using a model-based approach ,(1999)