IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishDespite 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]. | |
| Tipo: | paper | |
| 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 | |
| Autori: | ||
| Data di pubblicazione: | 2014 | |
| Lingua: | English | |
| Nome del convegno: | International Conference on Software Engineering | |
| ISBN: | 978-1-4503-2756-5 | |
| Serie: | PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1145/2568225.2568287 | |
| Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
Copyright © 2022