bpytlik - Automatic Debugging Using Potential Invariants by...

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Automatic Debugging Using Potential Invariants by Brock Pytlik A Thesis submitted in partial fulfillment of the requirements for Honors in the Department of Computer Science at Brown University Providence, Rhode Island May 2003 c Copyright 2003 by Brock Pytlik This thesis by Brock Pytlik is accepted in its present form by the Department of Computer Science as satisfying the research requirement for the awardment of Honors. Date Shriram Krishnamurthi, Reader Date Steve Reiss, Reader iii Acknowledgements I would like to thank Manos Renieris for his guidance on this project. I also want to thank my advisors and readers, Shriram Krishnamurthi and Steve Reiss who oversaw this project and reviewed my thesis. iv Contents List of Tables vi List of Figures vii 1 Introduction 1 2 Methodology 3 2.1 Carrot’s Process . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.1 Instrumenter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.2 Oracle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.3 The Invariant Generator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.4 The Invariant Differencer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 A Possible Alternative Methodology . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3 Related Work 7 4 Potential Invariants 9 4.1 Value Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 4.2 Relational Potential Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 5 Level of Instrumentation 12 6 Experiments and Results 13 6.1 Value Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 6.1.1 Is adding another good run to the model unlikely to cause extensions? . . . . 14 6.2 Relational Potential Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 6.2.1 Is adding another good run to the model unlikely to cause invalidations? . . . 17 6.2.2 Is adding a bad run likely to cause invalidations? . . . . . . . . . . . . . . . . 21 6.3 Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 7 Nascent Work 24 7.1 Using Temporal Information:The Map Back Program . . . . . . . . . . . . . . . . . . 24 v 7.1.1 The Map Back Program Details . . . . . . . . . . . . . . . . . . . . . . . . . 24 7.1.2 The Map Back Program Results . . . . . . . . . . . . . . . . . . . . . . . . . 25 7.2 More Analysis using Temporal Information . . . . . . . . . . . . . . . . . . . . . . . 25 7.2.1 The Map Back and Remove Duplications Program Details . . . . . . . . . . . 25 7.2.2 Results for The Map Back and Remove Duplications Program . . . . . . . . 25 8 Future Work 27 9 Conclusion 28 A Function Relationships 29 B Recognize 31 B.1 Correct Recognize with Faults of Versions Commented . . . . . . . . . . . . . . . . . 31 B.2 Faulty Recognize Version 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .....
View Full Document

This note was uploaded on 02/24/2012 for the course CSE 503 taught by Professor Davidnotikin during the Spring '11 term at University of Washington.

Page1 / 53

bpytlik - Automatic Debugging Using Potential Invariants by...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online