I detta dokument jämförs feldetekteringsförmågan hos flera kriterier för testning av programvara. Det har tidigare visats att om C 1 på ett korrekt sätt täcker C 2, då C 1 garanteras att vara bättre på att upptäcka fel än C 2, i följande bemärkelse: en test svit väljs genom oberoende slumpmässigt urval av ett test fall från varje subdomän som induceras av C 1 är minst lika sannolikt att upptäcka ett fel som en test svit på liknande sätt valt med C 2. Däremot, om C 1 delsummor men inte korrekt täcker C 2, Detta är inte nödvändigtvis fallet. Dessa resultat används för att jämföra ett antal kriterier, bland annat flera som har föreslagits som starkare alternativ till branschtester. Vi jämför den relativa feldetektering förmåga data ow testning, mutation testning, och tillståndstäckning tekniker, till gren testning, visar att de flesta av de kriterier som undersökts är garanterade att vara bättre än gren testning enligt två probabilistiska åtgärder. Vi visar också att det finns kriterier som ibland kan vara sämre på att upptäcka fel än betydligt billigare kriterier.
En jämförelse av feldetekteringsförmågan hos flera kriterier för testning av programvara har gjorts av REF.
Provable Improvements on Branch Testing
{'venue': 'IEEE Transactions on Software Engineering', 'journal': None, 'mag_field_of_study': ['Computer Science']}