Abstract-En grundläggande utmaning för testning av programvara är oraklet problem, vilket innebär att antingen det inte finns en mekanism (kallas oraklet) för att verifiera testutgången med tanke på eventuella programinmatning, eller det är mycket dyrt, om inte omöjligt, att tillämpa oraklet. Metamorf testning är ett innovativt förhållningssätt till orakelproblem. Vid metamorf testning erhålls metamorfa samband från de medfödda egenskaperna hos den programvara som testas. Dessa samband kan bidra till att generera testdata och kontrollera att testresultatet är korrekt utan att orakel behövs. Effekten av metamorfa relationer kan spela en betydande roll i testningsprocessen. Det har hävdats att de metamorfa relationer som orsakar olika program utförande beteenden bör ha hög förmåga att upptäcka fel. I denna uppsats genomför vi en fallstudie för att analysera förhållandet mellan utförandet beteende och fel-detektion effektivitet metamorphic relationer. Vissa kod täckningskriterier används för att återspegla utförandet beteende. Det visas att det finns en viss grad av korrelation mellan den kodtäckning som uppnås genom ett metamorfiskt samband och dess feldetekteringseffektivitet.
En viktig forskningsfråga för MT är hur man identifierar effektiva MR, med flera forskare som föreslår riktlinjer eller metoder för att hantera detta: REF har observerat ett samband mellan den kodtäckning som uppnås genom ett metamorfiskt samband och dess feldetekteringseffektivitet.
On Testing Effectiveness of Metamorphic Relations: A Case Study
{'venue': '2011 Fifth International Conference on Secure Software Integration and Reliability Improvement', 'journal': '2011 Fifth International Conference on Secure Software Integration and Reliability Improvement', 'mag_field_of_study': ['Computer Science']}