Testing dei cammini nella specifica 2

• esempio di cammino nella clausola EFFECTS

  • specifica di un metodo stand alone

static boolean isPrime (int x)

// EFFECTS: se x è primo ritorna true altrimenti false

• vanno considerati i due casi

1. x è primo |

2. x non è primo

Previous slide

Next slide

Back to first slide

View graphic version