Angelic debugging

Software ships with known bugs because it is expensive to pinpoint and fix the bug exposed by a failing test. To reduce the cost of bug identification, we locate expressions that are likely causes of bugs and thus candidates for repair. Our symbolic method approximates an ideal approach to fixing bu...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2011 33rd International Conference on Software Engineering (ICSE) s. 121 - 130
Hlavní autoři: Chandra, Satish, Torlak, Emina, Barman, Shaon, Bodik, Rastislav
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 21.05.2011
IEEE
Edice:ACM Conferences
Témata:
angelic non-determinism
Computer bugs
Computers
Concrete
Debugging
Java
Maintenance engineering
Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging
symbolic execution
Testing
tests
angelic non-determinism
symbolic execution
debugging
tests
ISBN:9781450304450, 1450304451
ISSN:0270-5257
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Software ships with known bugs because it is expensive to pinpoint and fix the bug exposed by a failing test. To reduce the cost of bug identification, we locate expressions that are likely causes of bugs and thus candidates for repair. Our symbolic method approximates an ideal approach to fixing bugs mechanically, which is to search the space of all edits to the program for one that repairs the failing test without breaking any passing test. We approximate the expensive ideal of exploring syntactic edits by instead computing the set of values whose substitution for the expression corrects the execution. We observe that an expression is a repair candidate if it can be replaced with a value that fixes a failing test and in each passing test, its value can be changed to another value without breaking the test. The latter condition makes the expression flexible in that it permits multiple values. The key observation is that the repair of a flexible expression is less likely to break a passing test. The method is called angelic debugging because the values are computed by angelically nondeterministic statements. We implemented the method on top of the Java PathFinder model checker. Our experiments with this technique show promise of its applicability in speeding up program debugging.
ISBN:9781450304450
1450304451
ISSN:0270-5257
DOI:10.1145/1985793.1985811