Programmation par contrat

Version imprimable

10/01/2010, 22h24
mehdiyou

Programmation par contrat

Bonjour tout le monde,

j'ai un projet à faire en utilisant la programmation par contrat, est ce qu'il y aurait quelqu'un qui pourrai m'aider à trouver des exemples de code source en java sur ce type de programmation,

merci beaucoup les amis et bonne journée :D:D

En reprenant l'exemple de wikipédia sur le calcul de la racine carrée d'un nombre, on arrive à ça :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
 
public class Test {
 
	public static void main(String[] args) throws Exception {
		Test test = new Test();
		System.out.println(test.racine(2));
	}
	public double racine(double x) throws Exception {
	    if (!precondition(x)) {
	      error("precondition failed");
	   }
 
	   // traitement de la racine
	   double resultat = Math.sqrt(x);
 
	   if (!postcondition(resultat, x)) {
	      error("postcondition failed");
	   }
	   return resultat;
	}
 
	private void error(String error) throws Exception  {
		throw new Exception("error = " + error);
	}
 
	private boolean precondition(double x) {
	    return (x >=0) ?  true : false;
	}
 
 
	private boolean postcondition(double resultat, double x) {
	    return (resultat >=0 && (resultat * resultat == x)) ?  true : false;
	}
}

14/01/2010, 09h15
professeur shadoko

remarque sur le code ci-dessus: l'exception correspondant à une précondition non remplie (argument illegal) doit être un descendant de RuntimeException (par exemple IllegalArgumentException).
Pourquoi? parque c'est une condition connue du code appelant et testable par lui.

à mon humble avis la postcondition serait, elle, mieux avec une assertion: on n'aurait alors pas pollué la méthode par une Exception qui n'a rien à faire ici.

edit: tant que j'y suis je suis prêt à parier un grain de sel contre un grain de poivre que la postcondition ne fonctionne pas pour certaines valeurs de l'argument.
14/01/2010, 10h05
Invité

Salut,

Il existe pour java tout un tas de lib pour faire de la programmation par contrats, notamment JML qui permet pour ce genre de postconditions d'introduire un epsilon, et qui ne pollue pas le code avec des exceptions

A plus
15/01/2010, 16h02
slim_java

salut .
pour moi , j'ai appris la programmation par contrat avec le langage Eiffel
18/01/2010, 18h43
ZeRevo

Citation:

Envoyé par professeur shadoko

remarque sur le code ci-dessus: l'exception correspondant à une précondition non remplie (argument illegal) doit être un descendant de RuntimeException (par exemple IllegalArgumentException).
Pourquoi? parque c'est une condition connue du code appelant et testable par lui.

à mon humble avis la postcondition serait, elle, mieux avec une assertion: on n'aurait alors pas pollué la méthode par une Exception qui n'a rien à faire ici.

.

Tu pourrais nous donner un example d'assertion j'en ai jamais utilisé.
De même pourquoi la RuntimeException est elle plus intéressante à utiliser que l'Exception ?

Citation:

edit: tant que j'y suis je suis prêt à parier un grain de sel contre un grain de poivre que la postcondition ne fonctionne pas pour certaines valeurs de l'argument

Oui il doit y avoir des problèmes avec des valeurs arrondies
19/01/2010, 08h51
professeur shadoko
Citation:

Envoyé par ZeRevo

Tu pourrais nous donner un example d'assertion j'en ai jamais utilisé.
De même pourquoi la RuntimeException est elle plus intéressante à utiliser que l'Exception ?
Code:

1 2 assert presqueEgal(resultat*resultat, x) ; // en supposant qu'on écrive cette méthode
Ici c'est une RuntimeException parceque la responsabilité de l'erreur incombe au code appelant.
Une exception controlée (non Runtime) oblige le code appelant à capturer (ou propager) parceque le code appelant ne connait pas les conditions de l'erreur.