Université Mouloud Mammeri de Tizi-Ouzou Année Universitaire 2012/2013

Département d’Informatique Section : Master I Pro/ISI Module : Assurance Qualité Logiciel

Documents non autorisés Durée : 1H 30 MN Date-EMD : 20/02/2013

EMD N° 1
Exo 1 (Questions)(8pts)
Q1. Qu’est ce qu’une panne transitoire corruptrice et une panne permanente non corruptrice?
Q2. Citer trois points du plan type de plan qualité?
Q3. A quoi et quand servent les normes en qualité logiciels? Décrivez les éléments essentiels
du modèle de qualité indiqué par la norme ISO/IEC 9126.
Q4. Qu’appelle t on exigences ? D’où est ce qu’elles dérivent ?
Q5. Qu’est ce que la configuration d’un logiciel ? Discuter le lien entre la gestion des
configurations et l’assurance qualité d’un logiciel?

Exo2. (6pts)
Soit le programme suivant :
Algorithme calcul
begin
read(x); read(y)
while
x <> y do
If x>y then x:= x-y;
else y:= y-x;
end if
end while
pgcd := x;
End.

1- Construire le graphe de flots de contole correspondant à ce programme.

2- Calculer la complexité cyclomatique de McCabe du programme selon les trois
formules proposées.
3- Sélectionner un jeu de test T tel que lorsqu’on exécute le programme « calcul » sur les
d T, chaque instruction de P est exécutée au moins une fois.
4- Comparer le cardinal de T par rapport au nombre correspondant à la complexité
cyclomatique obtenu à la deuxième question.
5- Quel est le type de test auquel va servir l’ensemble T?

Exo3. (6pts)
L’entreprise Tizi-Develop tient des statistiques sur les erreurs dans les logiciels qu’elle
développe. Sur des données historiques de nombreuses années, on trouve un taux d’erreurs de
0,0036 pour un millier de lignes de code. Sachant que le projet considéré est de 50 000 lignes
de code.
1- Calculez le taux d’erreurs probable pour ce projet. Selon McCall, cette métrique
correspondra à quel facteur de qualité?
D’autre part, pour ce même projet un problème de choix de machine s’est posé : la machine
de type A exécute un programme en 20 secondes alors que la machine B exécute le même
programme en 15 secondes.
2- Comparer les performances des deux machines.

Chargée du module : Dr F. Bouarab-Dahmani EMD1 1

Université Mouloud Mammeri de Tizi-Ouzou Année Universitaire 2012/2013
Département d’Informatique Section : Master I Pro/ISI Module : Assurance Qualité Logiciel

3- Si, pour une contrainte donnée, on doit utiliser le type de la machine la moins
performante, proposer comment l’améliorer pour avoir les performances de l’autre
machine.
Indications de correction-EMD1-ACQL

Exo1 (8 pts)

Sq
Q1. Panne transitoire corruptrice : se produit avec quelques entrées et endommage les
données (inqualifiable système du point de vue qualité). Une panne permanente non
corruptrice se produit avec toutes les entrées et n’endommage pas les données.

Q2. Citer trois points du plan type de plan qualité (voir cours).

Q3. Les normes servent à guider l’AQ et permettent d’avoir un référentiel pour postuler à la
qualification. La norme ISO 9126 défini trois types de qualités : interne, externe et à l’usage.
Voir cours pour détails sur les 6 catégories de la qualité interne et externe et les subdivisions
possibles.

Q4. Une exigence est une fonction à réaliser ou une contrainte à contourner. Elle dérive de
l’analyse des besoins.

Q5. La configuration d’un logiciel est l’ensemble des caractéristiques (décrites dans un
document) techniques et fonctionnelles d’un logiciel. La GC fait partie du plan qualité logiciel
et la gestion des configurations peut être vue comme un outil de l’assurance qualité du logiciel
depuis le début de son exploitation jusqu’à la fin de son utilisation.

Exo2 (6pts)
1-
Read(x)

Read(y)

Prédicat du while

Prédicat du IF Pgcd:=x

endif

Chargée du module : Dr F. Bouarab-Dahmani EMD1 2

Université Mouloud Mammeri de Tizi-Ouzou Année Universitaire 2012/2013
Département d’Informatique Section : Master I Pro/ISI Module : Assurance Qualité Logiciel

2-Nbre cyclomatique de MacCabé= nb arcs- nb nœuds +2 = 9-8+2=3

= 1+nb nœuds prédicats =1+2 =3
= nb de régions du graphe de contrôle = 3

3. Pour constituer les jeux de test, on va grouper dans des classes Di les éléments du
domaine d’entrée D qui activent les mêmes instructions dans « calcul », nous avons alors :
D1={(x,y) | x>y}; D2={(x,y) | x<y}; D3={(x,y) | x=y}, tout jeu de test sera composé de
trois couples de valeurs, par exemple celui-ci : {(4,2), (2,4), (3,3)}

4. On démontre que le cardinal de l’ensemble du jeu de test d’un programme est égal au
nombre cyclomatique de MacCabé qui mesure sa complexité. Ceci est vérifié dans le cas
de cet exercice.

5-Test unitaire en boite noire.

Exo3 (6pts)

1- TE = 0.18 . Facteur de fiabilité.

2- Performances B/ performances A = temps d’exécution A/temps d’exécution B

= 20/15 =1,3

La machine B est plus performante de 1,3 fois que la machine A

3- Augmenter sa vitesse d’exécution d’au moins 5s en ajoutant un autre processeur ou

changer le processeur de A par un autre dont la vitesse est supérieur ou égale à 20s.

Fin

Chargée du module : Dr F. Bouarab-Dahmani EMD1 3