Abstrakt. Bounded-uttömmande testning är en automatiserad testmetod som kontrollerar koden under provning för alla indata inom givna gränser: först beskriver användaren en uppsättning indata och tillhandahåller testoracles som kontrollerar testutgångar; sedan genererar verktyget alla indata, utför dem på koden under test, och kontrollerar utdata; och slutligen inspekterar användaren misslyckade tester för att skicka in felrapporter. Kostnaden för begränsad uttömmande testning inkluderar maskintid för testgenerering och utförande (vilket leder till mänsklig tid som väntar på dessa resultat) och mänsklig tid för inspektion av resultat. I detta dokument föreslås tre tekniker som minskar dessa kostnader. Sparse Test Generation hoppar över några tester för att minska tiden till den första misslyckade testet. Strukturell testsammanfogning genererar ett mindre antal större testingångar (snarare än ett större antal mindre testingångar) för att minska testgenerering och genomförandetid. Orakelbaserade testklustergrupper misslyckas med tester för att minska inspektionstiden. De resultat som erhålls vid den begränsade och uttömmande provningen av Eclipse refaktormotorn visar att dessa tre tekniker avsevärt kan minska kostnaderna samtidigt som de mest bevarar feldetekteringsförmågan.
Jagannath m.fl. REF presenterade STG-tekniken för att minska kostnaderna för begränsad och uttömmande provning genom att hoppa över vissa testingångar.
Reducing the costs of bounded-exhaustive testing
{'venue': 'In FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}