// Introduction to Software Testing
// Authors: Paul Ammann & Jeff Offutt
// Chapter 8; page ??
// JUnit for GoodFastCheap.java

import org.junit.*;
import static org.junit.Assert.*;
import java.util.*;

public class GoodFastCheapMUMCUT {

   // This test set achieves MUMCUT on the predicate in the isSatisfactory() 
   // method // inside the GoodFastCheap class.  All other predicates in 
   // GoodFastCheap are ignored by this test set

   // Comments show the test number and the values of good, fast, and cheap 
   // variables.  Test numbers are from the logic coverage tool on the book 
   // web site.   Using the DNF logic coverage tool on the book website, one 
   // can determine that 6 tests are needed to achieve MUMCUT namely, 
   // tests 2, 3, 4, 5, 6, and 7.   (Test 8 is the initial state, and so
   // is always reached, and Test 1 is infeasible - hence the engineering joke.


   GoodFastCheap gfc;

   @Before public void setUp() { 
       gfc = new GoodFastCheap();    // 8:  F F F
   }

   @Test public void test2() throws Exception { 
      gfc.makeGood();         // 4: T F F
      gfc.makeFast();         // 2: T T F
      assertTrue(gfc.isSatisfactory());
   }

   @Test public void test3() throws Exception { 
      gfc.makeGood();         // 4: T F F
      gfc.makeCheap();        // 3: T F T
      assertTrue(gfc.isSatisfactory());
   }

   @Test public void test4() throws Exception { 
      gfc.makeGood();         // 4: T F F
      assertFalse(gfc.isSatisfactory());
   }

   @Test public void test5() throws Exception { 
      gfc.makeFast();          // 6: F T F
      gfc.makeCheap();         // 5: F T T
      assertTrue(gfc.isSatisfactory());
   }

   @Test public void test6() throws Exception { 
      gfc.makeFast();         // 6: F T F
      assertFalse(gfc.isSatisfactory());
   }

   @Test public void test7() throws Exception { 
      gfc.makeCheap();         // 7: F F F
      assertFalse(gfc.isSatisfactory());
   }
}