import junit.framework.TestCase;
public class TestProveedor  extends TestCase{ //cliente de clase proveedor 
   private Proveedor elProveedor;
   public void setUp() {
     elProveedor = new Proveedor();
 
   }
   public void testIncrementar() {
        elProveedor.setPropiedad(10); 
        assertEquals(11,elProveedor.incrementar()); 
        assertEquals(11,elProveedor.getPropiedad());
        assertEquals(10,elProveedor.decrementar());        
 
   }

    public void testDecrementar() {
         assertEquals(-1,elProveedor.decrementar()); 
         assertEquals(0,elProveedor.incrementar()); 

   }

}