Domän-till-intervall-förhållande

Domän -till-område-förhållandet (DRR) är ett förhållande som beskriver hur antalet utgångar motsvarar antalet ingångar för en given logisk funktion eller mjukvarukomponent . Domän-till-område-förhållandet är ett matematiskt förhållande av kardinalitet mellan uppsättningen av funktionens möjliga ingångar ( domänen ) och uppsättningen av möjliga utgångar (intervallet ) . För en funktion definierad på en domän, $D$ , och ett intervall, $R$ , ges domän-till-intervall-förhållandet:

DRR={\frac {|D|}{|R|}}

Den kan användas för att mäta risken för att missa potentiella fel när man testar enbart utgångsområdet.

Exempel

Betrakta funktionen isEven() nedan, som kontrollerar pariteten för ett kortnummer utan tecken $x$ , vilket värde som helst mellan $0$ och $65,536$ , och ger ett booleskt värde som motsvarar om $x$ är jämnt eller udda. Denna lösning drar fördel av det faktum att heltalsdelning i programmering vanligtvis avrundar mot noll.

    
             
 bool  ärJämn  (  osignerad  kort  x  )  {  return  (  x  /  2  )  ==  ((  x  +  3  )  /  2  -  1  );  }

Eftersom $x$ kan vara vilket värde som helst från $0$ till $65,535$ , har funktionens domän en kardinalitet på $65,536$ . Funktionen ger $0$ , om $x$ är jämnt, eller $1$ , om $x$ är udda. Detta uttrycks som intervallet $\{0;1\}$ , som har en kardinalitet på $2$ . Därför ges domän-till-intervall-förhållandet för isEven() av:

DRR={65,536 \over 2}=32,768

Här indikerar domän-till-område-förhållandet att denna funktion skulle kräva ett jämförelsevis stort antal tester för att hitta fel. Om ett testprogram försöker alla möjliga värden på

x

i ordning från

0

till

65,535

, skulle programmet behöva utföra

32,768

tester för varje av de två möjliga utgångarna för att hitta fel eller kantfall . Eftersom fel i funktioner med ett högt domän-till-område-förhållande är svåra att identifiera via manuell testning eller metoder som minskar antalet testade ingångar, såsom ortogonal array-testning eller all-pair-testning, kan mer beräkningsmässigt komplexa tekniker användas, t.ex. som fuzzing eller statisk programanalys , för att hitta fel.