Affiner les résultats

Type de document


Collection spécifique




Mot clé

Università della Svizzera italiana

MeMo : automatically identifying metamorphic relations in Javadoc comments for test automation

Blasi, Arianna ; Gorla, Alessandra ; Ernst, Michael D. ; Pezzè, Mauro ; Carzaniga, Antonio

In: Journal of systems and software, 2021, vol. 181, p. 13

Software testing depends on effective oracles. Implicit oracles, such as checks for program crashes, are widely applicable but narrow in scope. Oracles based on formal specifications can reveal applicationspecific failures, but specifications are expensive to obtain and maintain. Metamorphic oracles are somewhere in-between. They test equivalence among different procedures to detect semantic...