• Construction d'algorithmes par raffinements successifs et fonctions
• Les fonctions en Ada
• Les types tableau

Exercice

Enonçé

On suppose qu'une matrice 8*8 (tableau à 2 dimensions) contient une séquence de 8 octets (chaque octet représentant un caractère ASCII 7 bits).
Cette séquence d'octets est le résultat d'une transmission de données. On souhaite détecter les éventuelles erreurs de transmission. Pour cela , on met en place un "contrôle de parité".
Le premier bit de chaque octet représente le bit de parité. Celui-ci vaut 0 si le nombre de 1 est impair, 1 s'il est pair. La première colonne contient donc les valeurs de parité de chaque ligne .

Notes

• Les données utiles sont donc représentées par une matrice 8*7. La première colonne n'apporte pas d'information (sinon la parité).
• Les caractères codés en ASCII 7 bits sont les caractères usuels à l'exclusion des caractères accentués. Ce sont les seuls caractères autorisée en Ada 83.

Ecrire un programme qui évalue l'intégrité de données sur chaque ligne sur la base de la parité et affiche le résultat.

Travail demandé

    1. Compléter la spécification du problème
    2. Construire l'algorithme par raffinements successifs
    3. Coder l'algorithme en Ada. Chaque niveau de raffinement est codé par une fonction.

Solution