Using Fuzzy Logic in Test Case Prioritization for Regression Testing Programs with Assertions

Program 1

A sample Java program with assertions.

(1) public int computeMinMax_O(int elements, int Data[]){

    int inData[] = new int[50]; int 𝑖, 𝑗, min = 0, max = 0;

      // Assuming a PreCondition of: “0 < elemetns <= 10”

(2), (3) for (𝑗=0; 𝑗 < Data.length; 𝑗++) inData[𝑗] = Data[𝑗];

(4)  if (elements > 0 && elements <= 10){

(5)    min = inData[0];

(6)   max = inData[0];

(7)   𝑖=1;

(8)    while (𝑖 < Data.length){

(9) assert   (𝐢   >=  0  && 𝐢   <  Data.length ) // assertion #1

(10), (11)  if (min > inData[𝑖]) min = inData[𝑖];

(12)  assert   (𝐢   >=  0  && 𝐢   <  Data.length ) // assertion #2

(13), (14)  if (max < inData[𝑖]) max = inData[𝑖];

(15)    𝑖++;

      }

(16) System.err.println(“∖ 𝑛Min is:” + min + “ Max is:” + max);

(17) System.err.println

(18) return 1;}

(19)  else{

(20)  if (elements == 0)

(21)  System.err.println(“Empty array provided!”);

(22)       else System.err.println(“Violation of precondition... Out of

range array!!! Elements:” + elements);

(23)      return −1;}

} // ComuteMinMax_O