The Scientific World Journal

Research Article

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

Program 2

Modified version of the program in Program 1.
(1) public int computeMinMax_M int elements, int Data
     int inData = new int 50 ; int , , min = 0, max = 0; int sum;
     // Assuming a PreCondition of: “0 < elements <= 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)      ++; // this fault will cause the program to produce
          an incorrect maximum number
(13)  assert     >=  0  &&     <  Data.length  // assertion #2
(14), (15)  if max < inData max = inData ;
      }
(16)     System.err.println “∖ Min is:” + min + “ Max is:” + max ;
(17)      System.err.println “∖ Input data:” ;
      // report the sum of the input data
(18)      sum = 0;
(19)    for = 0; < Data.length; ++
(20)  assert     <=  0  &&     <  Data.length  // assertion #3
(21)     sum + = inData ; }
(22)     System.err.println “∖ Sum is:" + sum ;
(23)     return 1;}
(24)     else{
(25)     if elements == 0 System.err.println “Empty array
     provided!” ;
(26)       else System.err.println “Violation of precondition... Out of range
(27)     array!!! Elements:” + elements ;
(28)   return −1;
     }
} // ComuteMinMax_M