Abstract-uttömmande testning av datorprogram är oinskränkt, men empiriska studier av programfel tyder på att testning i vissa fall kan vara effektivt uttömmande. Data som rapporterats i denna studie och andra visar att programfel i en mängd olika domäner orsakades av kombinationer av relativt få tillstånd. Dessa resultat har viktiga konsekvenser för testningen. Om alla fel i ett system kan utlösas av en kombination av n eller färre parametrar, då att testa alla n-tuples av parametrar är effektivt likvärdigt med uttömmande testning, om programbeteende inte är beroende av komplexa händelsesekvenser och variabler har en liten uppsättning diskreta värden.
I REF visar författarna att programfel inom en rad olika domäner orsakades av kombinationer av relativt få villkor.
Software fault interactions and implications for software testing
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}