Aufgaben zum Testen und Verifizieren (KW 23)

• Aufgabe zu x = x + y; y = x - y; x = x - y;
• Aufgabe zu schnellem Potenzieren
• Wie lautet die Spezifikation für

  static void sort (int [] a);
  

  Reicht das:

  public void testSort () {
      int [] a = { 4,2,3,1,5 };
      sort (a);
      assertMonotonSteigend (a);
  }
  

• (falls nicht schon für Eclipse installiert, teste import junit.framework.*)

  JUnit tiefladen (http://junit.org/), auspacken und junit.jar installieren

• Schreibe Sortier-Klasse mit Testfall und dafür nötigen Hilfsmethoden.

  package verify;
  import junit.framework.*;
  public class Sort extends TestCase { ... }
  

• implementiere eine Sortiermethode, die zum Zugriff auf das zu sortierende Array nur swap_if_gt benutzt (d. h. keine weiteren Elementvergleiche oder Zuweisungen ausführt)

  static void swap (int [] a, int i, int j) {
      int h = a[i]; a[i] = a[j]; a[j] = h;
  }
  
  static void swap_if_gt 
    (int [] a, int i, int j) {
      if (a[i] > a[j]) {
          swap (a, i, j);
      }
  }
  

• Hinweis: zwei Schleifen. Welches sind die Invarianten?