Abstract-In programvarutestning, något som kan verifiera riktigheten av testfall utförande resultat kallas ett orakel. Orakelproblemet uppstår när ett orakel inte existerar eller existerar men är för dyrt för att användas. Metamorfisk testning är en testmetod som använder metamorfa relationer, egenskaper hos den programvara som testas representeras i form av relationer mellan ingångar och utgångar av flera utföranden, för att hjälpa till att verifiera korrektheten i ett program. I detta dokument presenteras nya empiriska bevis för att stödja detta tillvägagångssätt, som har använts för att lindra orakelproblemet i olika tillämpningar och för att förbättra flera mjukvaruanalyser och testtekniker. Det har konstaterats att det var möjligt att identifiera ett tillräckligt antal lämpliga metamorfa förhållanden för testning, även av oerfarna testare, med en mycket liten mängd träning. Dessutom skulle kostnadseffektiviteten i tillvägagångssättet kunna förbättras genom användning av mer varierande metamorfa relationer. De empiriska studier som presenteras i denna rapport visar tydligt att ett litet antal olika metamorfa relationer, även de som identifierats på ett ad hoc- sätt, hade en liknande feldetekteringsförmåga som ett test orakel, och kunde därmed effektivt bidra till att lindra orakelproblemet.
En nyligen genomförd studie REF har också identifierat begreppet mångfald som har en viktig inverkan på effektiviteten i testningen av programvara – studien fastställde att ett litet antal olika MR-värden skulle kunna ha en liknande feldetekteringsförmåga som ett test orakel, och skulle därför kunna användas som ett effektivt substitut.
How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}