%0 Conference Paper %1 566183 %A Briand, L. C. %A Labiche, Y. %A Sun, H. %B ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis %C New York, NY, USA %D 2002 %I ACM %K assertion oracle singlesystem %P 70--80 %R http://doi.acm.org/10.1145/566172.566183 %T Investigating the use of analysis contracts to support fault isolation in object oriented code %U http://portal.acm.org/citation.cfm?id=566183&dl=ACM&coll=portal# %X A number of activities involved in testing software are known to be difficult and time consuming. Among them is the isolation of faults once failures have been detected. In this paper, we investigate how the instrumentation of contracts could address this issue. Contracts are known to be a useful technique to specify the precondition and postcondition of operations and class invariants, thus making the definition of object-oriented analysis or design elements more precise. Our aim in this paper is to reuse and instrument contracts to ease testing. A thorough case study is run where we define contracts, instrument them using a commercial tool, and assess the benefits and limitations of doing so to support the isolation of faults. We then draw practical conclusions regarding the applicability of the approach and its limitations. %@ 1-58113-562-9

@inproceedings{566183, abstract = {A number of activities involved in testing software are known to be difficult and time consuming. Among them is the isolation of faults once failures have been detected. In this paper, we investigate how the instrumentation of contracts could address this issue. Contracts are known to be a useful technique to specify the precondition and postcondition of operations and class invariants, thus making the definition of object-oriented analysis or design elements more precise. Our aim in this paper is to reuse and instrument contracts to ease testing. A thorough case study is run where we define contracts, instrument them using a commercial tool, and assess the benefits and limitations of doing so to support the isolation of faults. We then draw practical conclusions regarding the applicability of the approach and its limitations.}, added-at = {2008-05-29T16:49:22.000+0200}, address = {New York, NY, USA}, author = {Briand, L. C. and Labiche, Y. and Sun, H.}, biburl = {https://www.bibsonomy.org/bibtex/23e7b722e6f2e661b8b398babbac44d28/ist_spl}, booktitle = {ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis}, description = {Investigating the use of analysis contracts to support fault isolation in object oriented code}, doi = {http://doi.acm.org/10.1145/566172.566183}, interhash = {9ef665b81b8bfcf27daefb4f40ea5f64}, intrahash = {3e7b722e6f2e661b8b398babbac44d28}, isbn = {1-58113-562-9}, keywords = {assertion oracle singlesystem}, location = {Roma, Italy}, note = {ST: In diesem Paper wird untersucht, ob extern erstellte Testorakel durch Zusicherungen im Code ersetzt werden können. (vgl. Binder: Built-in Test Oracle, Seite 935)Diese Zusicherungen werden in OCL definiert (Pre-Postconditions, Invarianten) und mit Hilfe eines Tools in Java Code eingebettet. Diese eingebetteten Zusicherungen dienen als Testorakel. Ein Experiment zeigte, dass Durch diese Technik erfolgreich Testorakel in den Code eingebettet werden können und zum andreren die Diagnostizierbarkeit des Codes steigt. Wird eine Zusicherung verletzt, tritt eine Exception haeufig in der Nähe eines Code-Errors auf, so kann der Fehler leichter gefunden werden als bei einem herkömmlichen Orakel.}, pages = {70--80}, publisher = {ACM}, timestamp = {2008-05-29T16:49:26.000+0200}, title = {Investigating the use of analysis contracts to support fault isolation in object oriented code}, url = {http://portal.acm.org/citation.cfm?id=566183&dl=ACM&coll=portal#}, year = 2002 }