Despite the recent advances in automatic test generation, testers must still write test oracles manually. If formal specifications are available, it might be possible to use decision procedures derived from those specifications. We present a technique that is based on a form of specification but also leverages more information from the system under test. We assume that the system under test is somewhat redundant, in the sense that some operations are designed to behave like others but their executions are different. Our experience in this and previous work indicates that this redundancy exists and is easily documented. We then generate oracles by cross-checking the execution of a test with the same test in which we replace some operations with redundant ones. We develop this notion of cross-checking oracles into a generic technique to automatically insert oracles into unit tests. An experimental evaluation shows that cross-checking oracles, used in combination with automatic test generation techniques, can be very effective in revealing faults, and that they can even improve good hand-written test suites.
Carzaniga, A., Goffi, A., Gorla, A., Mattavelli, A., & PEZZE', M. (2014). Cross-checking oracles from intrinsic software redundancy. In Proceedings of the 36th International Conference on Software Engineering (pp.931-942) [10.1145/2568225.2568287].
|Citazione:||Carzaniga, A., Goffi, A., Gorla, A., Mattavelli, A., & PEZZE', M. (2014). Cross-checking oracles from intrinsic software redundancy. In Proceedings of the 36th International Conference on Software Engineering (pp.931-942) [10.1145/2568225.2568287].|
|Carattere della pubblicazione:||Scientifica|
|Presenza di un coautore afferente ad Istituzioni straniere:||Si|
|Titolo:||Cross-checking oracles from intrinsic software redundancy|
|Autori:||Carzaniga, A; Goffi, A; Gorla, A; Mattavelli, A; PEZZE', M|
|Data di pubblicazione:||2014|
|Nome del convegno:||International Conference on Software Engineering|
|Serie:||PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING|
|Appare nelle tipologie:||02 - Intervento a convegno|