US

Questionnaire : Documentation et spécifications

Ce questionnaire comporte 5 séries de questions pour un total de 25 questions. Pour chaque série de questions, vous devez cocher les affirmations qui sont vraies.

Série 1

Les commentaires de la forme /** */ sont analysés par l'outil Javadoc
Les commentaires de la forme /* */ sont analysés par l'outil Javadoc
Les commentaires de la forme // sont analysés par l'outil Javadoc
@author est un tag Javadoc qui renseigne sur l'auteur d'une classe, interface
@todo est un tag Javadoc qui indique qu'une méthode doit encore être complétée

Série suivante

Série 2

Les préconditions peuvent porter sur la valeur des paramètres
Les préconditions peuvent porter sur la valeur de retour
Les postconditions peuvent porter sur la valeur des paramètres
Si une méthode modifie l'état de l'objet, il faut l'indiquer dans les postconditions
Si une méthode modifie un objet dont elle a reçu une référence en paramètre, il faut l'indiquer dans les préconditions

Série suivante

Série 3

Supposons qu'il y aie 2500 euros sur le compte.

1 
2 
3 
4 
5 
6 
7 
8 
9 
10 
11 
/**
* Débite un certain montant du compte bancaire
*
* @pre le solde du compte >= amount
* @post le solde compte est débité du montant spécifié
* et le nouveau solde est renvoyé
*/
public int withdraw (int amount)
{
    // ...
}
Si je fais withdraw (3000);, la méthode va surement renvoyer -500
Si je fais withdraw (500);, la méthode va surement renvoyer 2000
Si je fais withdraw (3000);, je ne sais pas ce qui va se passer
Si je fais withdraw (3000);, le programme va s'arrêter avec une erreur d'exécution
Si je fais withdraw (3000);, le programme ne compilera pas

Série suivante

Série 4

1 
2 
3 
4 
5 
6 
7 
8 
9 
10 
11 
12 
/**
* Calcule le carré d'un réel
*
* @pre -
* @post La valeur renvoyée est le carré de a
*/
public double square (double a)
{
    double result = a * a;
    a = 2348;
    return result;
}
La précondition n'est pas complète
On doit ajouter a >= 0 en précondition
On peut ajouter la valeur renvoyée est >= 0 en postcondition
La postcondition n'est pas complète, il faut signaler que la méthode change la valeur du paramètre a
La méthode n'est pas correcte par rapport à sa spécification

Série suivante

Série 5

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 
35 
public class Triangle
{
    private int cote1, cote2, cotee3;
 
    /**
     * Constructeur
     *
     * @pre c1, c2, c3 >= 0
     * @post Une instance de la classe est créée, elle représente
     * un triangle dont les longueurs des côtés sont celles spécifiées
     */
    public Triangle (int c1, int c2, int c3)
    {
        // À compléter
        cote1 = c1;
        cote2 = c2;
        cote3 = c3;
        // À compléter
    }
 
    /**
     * Calcule la surface du triangle
     *
     * @pre -
     * @post La valeur renvoyée contient la surface du triangle
     */
    public double getArea()
    {
        double s = 0.5 * (cote1 + cote2 + cote3);
        double area = Math.sqrt (s * (s - cote1) * (s - cote2) * (s - cote3));
 
        // À compléter
        return area;
    }
}
Une assertion permet de se protéger de toute erreur dans un programme
Une assertion permet de vérifier qu'une vérité est bien vraie
On peut compléter la ligne (14) par assert c1 >= c2 >= c3 >= 0;
On peut compléter la ligne (32) par assert area >= 0;
Pour vérifier la précondition, on doit compléter la ligne (18) par assert c1 >= 0 && c2 >= 0 && c3 >= 0;

Vous pouvez télécharger la liste des questions. Si vous avez des problèmes ou que vous ne comprenez pas bien une question, rendez-vous sur le forum consacré aux exercices.

  • Espace membre
  • Learning Center
  • Les forums
  • Livre d'or
  • Imprimer
  • Boutique
  • Info
  • Règlement
  • Erreur
  • Newsletter

MyPagerank.Net

Firefox 3.6

Browse Happy logo

Open Clip Art Library

Join our Facebook Group

Twitter

Copyright © 2000-2018 UKO. Toute reproduction strictement interdite sans autorisation du webmaster

Valid XHTML 1.1 !
Valid CSS2 !
Level Triple-A conformance icon, W3C-WAI Web Content Accessibility Guidelines 1.0
ICRA Internet Content Rating Association
Creative Commons License
Site optimisé pour Firefox avec une résolution 1024x768 --- Page chargée en 0.8796220 secondes --- This site uses Thumbshots previews