AQLCours

Assurance Qualit Logiciel
Ralis par: Mme.Chergui Meriyem

Anne Universitaire: 2014/2015
Objectif du Cours
La prsentation de la Discipline AQL dans
le Gnie Logiciel,
Lintrt de lAssurance Qualit dans
ldition des logiciel,
La prsentation des principales dmarche
AQL avec des exemples types
Initiation la Discipline AQL
Ralisation dun PAQL pour un
projet de dveloppement.
Cours AQL Ralis par: Mme.CHERGUI
MERIYEM
Plan
Introduction
Standard du plan assurance qualit logiciel
Contenu du plan standard du plan qualit logiciel
Les disciplines de lassurance qualit logiciel
La vrification et validation (V&V)
Le test et lvaluation (T&V)
La gestion de configuration
Lintersection entre les disciplines de lAQL
Les principales techniques de revues
Lapport des revues techniques formalises au
contrle de projet
Conclusion gnrale
MERIYEM
Introduction
Gnie logiciel
Historique de linformatique vers un
besoin excessif de la qualit logiciel.
PR.Calcul
|
45-58
Fortran/Cobol BDR
|
58-75
|
75-90
Internet/Archi 3tiers/e-commerce
|
A partir de 2000
Contexte industriel de la qualit logiciel

MERIYEM
Introduction
Face cette crise de logiciel les
entreprises ont appliqu un modle de
logiciel qui dfinit:
Les phases du dveloppement: dfinitions des besoins,
spcifications, planification, conception, codage, tests...
Les produits intermdiaires: prototype, documentations...
Les critres de changement de phase,
Un cadre pour la gestion de projet.
Apparition des mthodes structures (SADT,ADA,

Cases, Entit relation).
MERIYEM
Moteurs de la qualit
Les objectifs de qualit rejoignent bien
souvent les objectifs de productivit
Adquation aux besoins
Efficacit temps/espace
Fiabilit
Scurit,
Intgrit
Testabilit, Traabilit
Adaptabilit, Maintenabilit,
Convivialit (interface, aide et documentation)
Prennit (facilit de la maintenance)
MERIYEM
Moteurs de la qualit
LAQL vise a atteindre ces objectifs,
rduire les erreurs, matriser les cots et
les dlaisetc.
Parmi les moteurs de la qualit on site:
L'organisation du processus : dcouper le processus pour le
matriser;
Les ressources humaines : les quipes doivent tre motives
pour mettre en place des procdures qualit;
L'utilisation de techniques, mthodes et outils;
Les considrations managriales, politiques et conomiques .

MERIYEM
Lorganisation du processus
Cycle de vie Projet
Cycle de vie Produit
Types de cycle de vie Logiciel:
En Cascade;
En Spirale;
En V;
Agile.
Chacun de ces types a ses avantages et Inconvnient : Il

faut donc choisir le type le mieux adapter au type de
projet
MERIYEM
Lorganisation du processus

MERIYEM
La gestion des ressources

Activit transversale consistant en:
savoir valuer cots et dlais
dfinir et ordonnancer les tches, planifier la
ralisation, l'intgration, la validation
tablir un systme de contrle pour tous les
produits intermdiaires du cycle de vie, dans le but
de dtecter le plus tt possible: dfauts, erreurs,
omissions, ambiguts, incohrences, hypothses
incorrectes, .
organiser la formation sur les mthodes, les outils ,
les nouvelles technologies
motiver les quipes, anticiper les problmes, ne pas
brider la crativit, dtecter la rsistance au
changement
MERIYEM
10
Mthodes techniques et outils

Pour une production russie du logiciel il
faut matriser:
La cot
Le dlai
La qualit
Pour se faire il faut mettre laccent sur les

outils suivant:
les mthodes de spcification et de conception
les mthodes de validation et vrification
l'outillage

MERIYEM
11
Rappel sur la qualit

La qualit
logiciel
La non-qualit
logiciel
La qualit d'un logiciel, tout comme la

qualit d'un produit en gnral, rside dans
son aptitude satisfaire les besoins
("spcifis") de l'utilisateur .
MERIYEM
12
Limportance de lAQL
Ariane 5 crash 4 Juin 1996
Exception non capture due une erreur de floatingpoint:
conversion d'entier 64bit entier 16bit signed-integer appliqu
un nombre plus large que suppos.
Le module tait rutilis sans avoir t test
convenablement d'Ariane 4
Mars Climate Orbiter 23 Septembre 1999

Erreur dans le transfert de l'information entre 2 quipes
(utilisation dunits de mesure diffrentes)
Mars Polar Lander Dcembre1999

La mise inattendue d'un seul bit de donne.
dfaut non dcel durant les tests
quipes indpendantes on tests des aspects du systme
sparment
Virus et vers Internetetc.

MERIYEM
13
Limportance de lAQL
Impact montaire de logiciel de mauvaise qualit (Standish group 1995)
175,000 projets logiciels/an cot moyen par projet
Grosses compagnies $US 2,322,000
Compagnies Moyennes $US 1,331,000
Petites compagnies $US 434,000
31.1% des projets annuls avant leur compltion
cot $81 milliards
52.7% des projets dpassent leur budget cotent
189% de l'original
cot $59 milliards
16.2% des projets complts temps selon le budget (9% pour grosses
compagnies)
Grosses compagnies systmes dlivrs ont approximativement seulement
42% des fonctions originellement proposes
78.4% des projets de petites compagnies sont dploys avec au moins
74.2% des fonctions originelles.

MERIYEM
14

Un logiciel de qualit volue dans le
temps: Adaptable, rutilisable,
volutifetc.
Logiciel de qualit
la qualit du
dveloppement dont il est
issu dans des conditions de
cots et de dlais
matrisables
la qualit de la
maintenance qui le fera
voluer en fonction des
besoins de l'utilisateur,
TOUT EN PRESERVANT
SA QUALITE INITIALE

MERIYEM
15

Un produit de qualit est un produit qui
arrive :
satisfaire les besoins fonctionnels de l'utilisateur.
possder LES PERFORMANCES pour lesquelles il a
t prvu,
tre robuste c'est--dire apte rsister des
agressions d'origine quelconque :
soit de l'environnement (Matriel, logiciel),
soit de l'utilisateur (droit l'erreur),
satisfaire aux autres objectifs de qualit demands

(maintenabilit, volutivit ...)
respecter les cots et dlais de fabrication prvus,
satisfaire aux critres de VISIBILITES PERMANENTES
durant le processus de production.
MERIYEM
16

La qualit d'un logiciel dpend des
attributs, tels que :
Lenvergure produit,
sa complexit,
les mthodes retenues au niveau de chaque
tape du cycle de vie produit,
La mthode de Gestion de projet mise en
place,
la comptence de l'quipe,
les objectifs SPECIFIQUES de qualit logicielle
exprims par le client.
MERIYEM
17
Laspect Management de lAQL

MERIYEM
18

L'ASSURANCE QUALITE LOGICIELLE (AQL)
(appele parfois "disciplines de l'ASSURANCE PRODUIT ou discipline du SUPPORT " a pour but :
d'AMELIORER le produit logiciel,

d'ASSURER la qualit du logiciel :
- AVANT (prparation),
- PENDANT (dveloppement),
- APRES (maintenance).

MERIYEM
19

Les disciplines de l'AQL incluent :
l'Assurance qualit (AQ) : dfinition du
manuel STANDARD de Qualit logiciel
dfinissant le processus de production
COMMUN toute la socit
(procdures, mthodes, techniques et
outils);
le Test & Evaluation (T&E) : recette client
pour vrifier sur le site final, si les besoins
(fonctionnalit et performance) de
l'utilisateur sont satisfaits ;
MERIYEM
20

Les disciplines de l'AQL incluent aussi
La Vrification et Validation (V&V) (aspect
contrle qualit) : s'assurer et contrler
durant le dveloppement que le produit
est construit en satisfaisant les besoins
clients
La Gestion de Configuration (GC) :
assurer la visibilit permanente de la
production du logiciel.
MERIYEM
21
Notions de base de lAQL

Selon l'IEEE(Institute of Electrical and
Electronics Engineers) La qualit logicielle
est:
(1) Le degr avec lequel un systme, un
composant ou un processus satisfait ses
exigences spcifies.
(2) Le degr avec lequel un systme, un
composant ou un processus satisfait aux
besoins ou attentes de ses clients/usagers.
MERIYEM
22

Selon l'IEEE, l'assurance qualit logicielle
est:
Un modle planifi et systmatique de toutes les
actions ncessaires pour fournir une confiance
adquate qu'un article ou un produit est
conforme ses exigences techniques tablies.
Un ensemble d'activits conu pour valuer le
processus par lequel les produits sont dvelopps
ou fabriqus. A contraster avec: le contrle de
qualit.
MERIYEM
23

Lobjectif de lAQL dans le Gnie Logiciel est:
(1) Assurer un niveau de confiance acceptable
que le logiciel sera conforme aux exigences
fonctionnelles et techniques.
(2) Assurer un niveau de confiance acceptable
que le logiciel sera conforme aux exigences
de gestion concernant l'chancier et le
budget.
(3) Initiation et activits de gestion pour
l'amlioration et la plus grande efficience des
activits de dveloppement et d'assurance
de qualit logicielle.
MERIYEM
24

Trois principes gnraux de l'AQL
Savoir ce que vous faites
Savoir ce que vous devriez faire
Savoir mesurer la diffrence

MERIYEM
25

Savoir ce que vous faites:
comprendre ce qui est entrain d'tre
construit, comment il est construit et ce
qu'il fait.
mettre en place un processus de
dveloppement logiciel avec une structure
de gestion, politique de rapport et
processus de suivi

MERIYEM
26

Savoir ce que vous devriez faire :
Avoir des exigences et spcifications
explicites
Mettre en place un processus de
dveloppement logiciel avec
analyse des exigences,
tests d'acceptabilit,
feedback frquent des usagers

MERIYEM
27

Savoir mesurer la diffrence
avoir des mesures explicites comparant ce qui est
entrain d'tre fait de ce qui devrait tre fait
Utiliser
lune
des
quatre
mthodes
complmentaires:
mthodes formelles= vrifier mathmatiquement des
proprits spcifies
tests = donnes explicites pour excuter le logicielle
et vrifier si les rsultats correspondent aux attentes
inspections = examen par humain des exigences,
design, code, ...bass sur des checklists
mtriques = mesures un ensemble connu de
proprits lies la qualit
MERIYEM
28
Standard de Plan Assurance Qualit Logiciel

Manuel qualit : "le manuel qualit est un
document dcrivant les dispositions
gnrales prises par l'entreprise pour
obtenir la qualit du produit". (D'aprs
AFNOR X50-109).
Plan qualit : "Document(s) dcrivant les
dispositions spcifiques prises par
l'entreprise pour obtenir la qualit du
produit ou du service considr".
(AFNOR X50-109).
MERIYEM
29

le plan qualit est spcifique chaque
projet et s'appuie sur:
le processus de dveloppement,
les moyens de les dvelopper.
On utilisera respectivement :
SPAQL pour dsigner Manuel Qualit,
PAQL pour Plan Qualit.

MERIYEM
30

Le SPAQL est un document destin
faciliter :
les relations client-fournisseur dans la
dfinition des objectifs prioritaires de qualit
logicielle (appels aussi "clauses qualit" ou
"facteur de qualit" ou "attributs de la
qualit") et leurs niveaux d'importance
respectifs (criticit),
la rdaction par le fournisseur du PAQL qui
constitue une adaptation du SPAQL aux
spcificits de chaque projet informatiques
(le SPAQL fournit un plan assurance qualit
logiciel Type).
MERIYEM
31

Le PAQL a pour objectifs:
Objectifs de qualit demands au
fournisseurs en dcrivant (processus de
dveloppement, mthodes, procdures,
rgles, actions contrles qualit, outils...)
mise en uvre dans le projet;
rfrence commune tous
ralisateurs du logiciel considr.
MERIYEM
les
32

Contenu global dun SPAQL
Les rgles de construction appliquer :
dans le droulement du projet,
au niveau d'une tape particulire,
Les rgles gnrales ou spcifiques sur les

formalismes et modles utiliser dans la
rdaction des documents,
Un guide de rdaction des documents
concerns.
MERIYEM
33

Plan type d'un PAQL
Modle de rfrence [AFCIQ].
But
objectif du plan qualit pour le projet,
liste des logiciels concerns par le plan pour
chaque logiciel
description du domaine d'application
(utilisation, rsultats attendre, etc. ...),
description des objectifs de qualit logicielle
(portabilit, maintenabilit, etc.) et du niveau
de criticit associ.
MERIYEM
34

Documents de rfrence
Liste des documents rfrencs (plan).
Terminologie
dfinition des termes utiliss (plan),
signification des sigles utiliss.
Dmarche de dveloppement
description de la dmarche prvue pour
dvelopper le logiciel (cycle de
dveloppement et les tapes retenues) ;
pour chaque tape :
- dfinition de (ou des) activits (s)
- dfinition des produits en entre
- dfinition des produits en sortie
- dfinition des critres de passage l'tape suivante.
MERIYEM
35

Etape : Conception prliminaire du logiciel n1
Activit : Elaboration de l'architecture gnrale
du logiciel nX (dcomposition)
Produit en entre : contrat de ralisation,
spcification de logiciel, PAQL
Produit en sortie : document de conception
prliminaire, amorce du plan de test, amorce du
manuel d'utilisation, planification dtaille des
tapes suivantes
Critres de passage ltape suivante : revue
de projet, contrle formel des produits en sortie,
contrle de fond des produits en sortie
MERIYEM
36

ORGANISATION
description de l'organisation retenue pour le
dveloppement,
pour chaque personne, description :
de la responsabilit,
des fonctions assures dans le projet,
dfinition de la frquence des runions.

DOCUMENTATION
identification et structure des documents raliser :
des remarques sur les supports raliser,
des rgles gnrales et spcifiques,
les actions utilises pour vrifier la qualit de chaque
document (relecture, etc.),
un plan TYPE pour chacun des documents laborer.

MERIYEM
37

GESTION DE CONFIGURATIONS
description des mthodes utilises et pour identifier
les lments constituant le logiciel (code source et
documents associs),
dfinition de la rgle de dnomination des fichiers
dans le projet,
description des mthodes utilises pour maintenir et
sauvegarder les versions.
GESTION DES EVOLUTIONS
description de la demande suivre pour prendre en
compte les demandes d'EVOLUTION (correction
d'erreurs et volutions fonctionnelles) intervenant :
pendant le dveloppement,
pendant la maintenance (pour garantir la stabilit de la
qualit des nouvelles versions).
MERIYEM
38

METHODES, MOYENS ET CONVENTIONS
description de la mthode de
dveloppement retenue pendant les tapes :
de conception, de ralisation, et de test
(stratgie et techniques de test)
description des outils utiliss,
conventions :
au niveau de la conception (ex : standard de
description d'cran, techniques d'analyse utilises,
etc.),
au niveau de la programmation (ex : standard de
programmation (en-tte de description de
procdure, ...).
MERIYEM
39

ASSURANCE ET CONTROLE DE LA
QUALITE
moyens mis en uvre pour la construction
de la qualit
moyens mis en uvre pour VERIFIER
l'obtention des qualits demandes,
planification des actions qualit,
dfinition des procdures et moyens de
contrle,
dfinition des outils et mthodes
d'valuation de la qualit du logiciel
(approche quantitative...).
MERIYEM
40

Contrle des fournisseurs
les dispositions relatives aux soustraitants (documentation change, rgle
d'acceptation des logiciels sous-traits...),
les dispositions relatives aux produits
IMPOSES par le client (rgle d'acceptation
et de recette des produits imposs par le
client).

MERIYEM
41

REPRODUCTION, PROTECTION,
LIVRAISON
description des procdures de reproduction
du logiciel,
description des procdures de protection
(accs non autorises, destruction,
dgradation accidentelles) et des archivage
(frquence, lieu de dpt) effectuer par
scurit,
description de la liste des constituants
logiciels livrer et des supports de livraison.
ASSISTANCE CLIENT
formations prvues (dates), etc.
MERIYEM
42
Normes Qualit
AFNOR : Association Franaise de NORmalisation
Recommandation de Plan qualit logiciel Z67-130
Guide de rdaction de Plan qualit logiciel Z67-130
Grer et assurer la qualit : document AFNOR
Du bricolage lindustrialisation : la qualit des logiciels, J-P
Martin
DGA :
Mthodologie de dveloppement des logiciels intgrs dans
lessystmes militaires : GAM-T-17 version 2 (juin 88)
IEEE : Institute of Electronics and Electrical Engineers
IEEE 730, 732 et 738
Std 828-1983 Standard for software test documentation
Std 829-1983 : Standard for software configuration
management

MERIYEM
43
Normes Qualit
ESA
PSS : PSS01, PSS05 Assurance qualit logiciel
OTAN
AQAP 13 et 14 (mai 1984)
DOD
DoD-STD-2167A : Military standard-Defense system
software
development (2/88)
AFCIQ
Recommandation de Plan assurance qualit logiciel
(V0 du
23-03-89)
Recommandation de Plan de dveloppement logiciel
(V1 du
17-06-88)
MERIYEM
44
Normes Qualit
La norme ISO 9001;
ISO 9000 ensemble de recommandations et
standards pour la garantie de la qualit dans
les relations clients-fournisseurs (pas
spcialement logiciel).
Comprend notamment:
ISO 9000-1 recommandations pour lutilisation
de ces standards
ISO 9001 le standard utiliser pour la fourniture
de logiciels, bien quil ne soit pas spcifique ce
domaine
ISO 9003 guide pour lutilisation des standards
ISO 9001 pour la fourniture de logiciels.
MERIYEM
45
Normes Qualit
Philosophie ISO 9001
Toute opration influenant la qualit doit
tre sous contrle
Ce contrle doit tre visible
La certification permet dobtenir une
large reconnaissance de ce contrle
Elle est payante. . .
. . . et valable trois ans.

MERIYEM
46
Normes Qualit
ISO 9001:
Le chapitre 4 de la norme dfinit les 20 lments de
qualit respecter:
Responsabilits du management
Dfinition dun systme de qualit
Analyse du contrat entre client et fournisseur
Contrle de la conception
Documentation et contrle des donnes
Spcification des achats et fournitures
Contrle des produits fournis par le client
Identification des produits et traabilit
Contrle du processus
Ncessit de mettre en uvre des tests et
inspections
MERIYEM
47
Normes Qualit
ISO 9001:
Contrle des inspections et tests, mesures des
outils de tests
Statut des tests et inspections
Contrle des produits non conformes
Actions correctives et prventives
Emballage, stockage, livraison,
Contrle des enregistrements concernant la
qualit
Audit qualit internes
Organiser la formation
Service aprs vente
Techniques statistiques
MERIYEM
48
Normes Qualit
ISO 9003
ISO 9003 dun guide de recommandations
quivalent un standard
Lors de toute certification, il faudra
justifier tout manquement ces
recommandations.

MERIYEM
49
Normes Qualit
Responsabilits du management
dfinition dune politique qualit mise en place dune
organisation
validation priodique du systme qualit
Dfinition dun systme qualit
La politique qualit doit tre documente dans un manuel
qualit conforme aux normes en vigueur et aux habitudes de
lentreprise
Il est important que les procdures qualit mises en place
trouvent lagrment des dveloppeurs et ne soient pas
perues comme un frein leur crativit mais plutt comme
un cadre rassurant dans lequel ils pourront voluer et
produire un travail de qualit

MERIYEM
50
Normes Qualit
valuation du contrat
Il est tout fait indispensable de ne pas
sengager sur un contrat irraliste.
Planification du dveloppement et de la
qualit:
dfinition du calendrier des diffrentes
phases du projet
des critres qualit
Organisation du travail
En particulier organisation des espaces de
travail.
MERIYEM
51
Normes Qualit
Contrle des Spcifications (Design input)
ISO 9000 requiert des spcifications
rigoureuses et compltes
procdures de prise en compte de
changements dans les spcifications.
Afin de dfinir ces spcifications, des
outils peuvent tre utiliss (en particulier
tous les outils daide lanalyse tels que
Rational Rose, . . . ).
MERIYEM
52
Normes Qualit
Sortie de la conception (Design output)
La conception peut tre ralise la main
elle peut galement tre gnre plus ou
moins automatiquement.
Dans tous les cas, la phase de conception
doit produire une architecture logicielle et
de la documentation
Contrle de la Conception (Design review)
Dans tous les cas la conception ncessite un
contrle rigoureux par des inspections qui
peuvent tre ralises au moyen de listes de
dfauts typiques.
MERIYEM
53
Normes Qualit
Modification de la conception et des
spcifications
Il faut vrifier la cohrence des
changements
demands
avec
le
dveloppement dj ralis
ISO9000
requiert
une
procdure
rigoureuse
dacceptation
des
modifications.

MERIYEM
54
Normes Qualit
Traabilit
Suivi tout au long du cycle de dveloppement des liens entre cahier
des charges, spcifications, conception et codage
La norme impose de savoir rpondre aux questions suivantes
De quel document initial cette spcification sinspire-t-elle ?
quelle spcification, quel document de conception ce bout
de code est il reli ?
Quelles sont les corrections ou amliorations qui ont t
ralise et dans tel module ?
A partir de quel code source cet excutable a-t-il t gnr ?
Avec quel outil cet excutable a-t-il t gnr ?
Quen est il pour chaque rapport dincident ? A-t-il t pris en
compte, corrig ? la nouvelle version a-t-elle t distribue ?

MERIYEM
55
Normes Qualit
Capability Maturity Model
Dvelopp par: Software Engeneering Institute,
Carnegie Mellon University
partir des annes 70 pour le compte du DOD : US
Department of Defense
Largement adopt dans le civil

Avantages:
Dvelopp spcifiquement pour le logiciel
Permet de se positionner dans une grille et dvoluer
dans cette grille
Cependant, moins rpandu et rput en Europe que la
norme ISO 9000.
MERIYEM
56
Normes Qualit
La grille CMM permet de classifier une organisation qui
dveloppe du logiciel selon sa comptence
Distingue 5 niveaux de maturit:
1 Initial
2 Reproductible
3 Dfini
4 Gr
5 En optimisation constante.

MERIYEM
57
Normes Qualit
Les apports du CMM
Des rsultats publis montrent que se positionner dans
la grille CMM permet daccrotre la rentabilit
Exemple: le dpartement Logiciel de Hughes Air Craft,
Fullerton, Californie
a dpens environ 500000$ entre 87 et 90

pour amliorer son processus de production
de logiciels
Pendant cette priode passs du niveau 2 au
niveau 3, avec de bons espoirs datteindre les
niveaux 4 et 5
MERIYEM
58
Normes Qualit
Estimation de lconomie engendre: 2 millions de $ par an
diminution du nombre de crises
diminution du nombre dheures supplmentaires
amlioration de la comptence des employs
diminution du turn- over.

MERIYEM
59
Normes Qualit
Comparaison Iso 9000 CMM
ISO 9000 est une norme, CMM nen est pas une norme
CMM est ddi lindustrie du logiciel, ISO 9000 dfinit
un cadre pour les rapports clients fournisseurs
CMM est plus dtaill et spcifique
ISO 9000 tablit un niveau acceptable de management
de projet auquel le fournisseur doit souscrire pour que
les relations client-fournisseur puissent stablir avec
certaines garanties de qualit pour le client
CMM permet au fournisseur de sauto-valuer et de
progresser sur une grille allant de 1 5.

MERIYEM
60
Disciplines de lAQL
LES INSPECTIONS:
PRINCIPES :Technique de contrle s'appuyant sur une
discipline stricte avec intervention de personnes
extrieures la production.
But : rechercher les erreurs, les dviations par rapport
aux clauses qualit sans les corriger.
Principe de BASE : linspection se focalise sur un
ensemble de questions bien dfinies et restreintes
Chaque revue se concrtise par :
Identification des erreurs recherches
Classement des erreurs,
Totalisation de leurs poids respectifs pour les comparer des
SEUILS dtermins l'AVANCE.

MERIYEM
61
Normes Qualit : Assurance et contrle qualit

Dfinition:
L'AQ est une discipline recouvrant la mise en uvre de
procdures, techniques et outils utiliss par les
professionnels pour assurer qu'un produit satisfait :
des standards PREDEFINIS,
un niveau de qualit, durant tout le cycle de dveloppement
(ensuite durant la MAINTENANCE).
Objectif:
Concourir l'obtention de la QUALITE En mettant en
uvre les MOYENS ncessaires la mise en place des
exigences demandes par l'utilisateur.
Principes:
Suivre lvolution de la discipline et lappliquer
MERIYEM
62

Prendre en compte les valuations critiques faites aprs
chaque fin de projet.
FORMER le personnel impliqu par les techniques
d'Assurance Qualit.
INCITER la mise en application effective de ces
mthodes, rgles..etc.
FOURNIR une assistance qualit tout au long du
projet pour l'quipe de ralisation.
COLLECTER, ARCHIVER et EXPLOITER les
informations concernant chaque projet

MERIYEM
63

SPECIFICATION
Application du manuel qualit concrtisant le savoir faire
un instant donn de la socit.
Rdaction et vrification du PAQL spcifique au projet (avec
plan de gestion de configuration, plan de documentation ...
Contrle formel du document de spcification par rapport
aux standards et rgles de rfrence, terminologie,
formalisme.
CONCEPTION PRELIMINAIRE
Mise jour ventuelle du PAQL[contrle formel de
documents issus de l'tape : conception prliminaire
Plan et procdure de test a respect les rgles pratiques et
procdures gnrales (techniques de test, utilisation d'outils
etc. ..)
Manuels (utilisateur, exploitation) provisoires.]
MERIYEM
64

CONCEPTION DETAILLEE
Contrle formel des documents issus de l'tape,
structuration (code, donnes), diagrammes reprsentatifs ou
pseudo langage, standards etc.
donnes de tests unitaires (ex : chaque chemin logique doit
tre test)]
CODAGE
contrle formel du code des modules (utilisation des formes
canonique de la programmation structure,
standard de l'entte, commentaire, etc. ...
TESTS UNITAIRES
collecte des rsultats de test
contrle formel du dossier de test unitaires complts
INTEGRATION
collecte des rsultats de test dintgration.
contrle formel du dossier d'intgration complte
MERIYEM
65

VALIDATION
collecte des rsultats de test
constitution d'un dossier partir de l'ensemble des
comptes-rendus, revues, inspections, lectures croises
contrle formel des dossiers de tests de validation
compltes et manuels (utilisation, exploitation,
maintenance)
EXPLOITATION
collecte des rapports d'anomalies
vrification de la cohrence entre l'ensemble des
produits
volution ventuelle du MANUEL QUALITE.
MERIYEM
66
Normes Qualit : Vrification et Validation

Objectif:
Accompagnement du processus de fabrication bien avant
le test et ce durant:
Spcification si les objectifs du systme sont mal dfinis,
Implmentation de ces spcifications,
NB: Plus le temps passe entre la cause d'une erreur et sa
dtection, plus il est DIFFICILE et COUTEUX de la
corriger.

MERIYEM
67

BUT V&V:
sassurer que le rsultat du processus de fabrication
est conforme aux spcifications fonctionnelles et d'interface,
satisfait aux contraintes de performances
vrifier que les spcifications des besoins sont

interprts et ralise correctement dans les produits
intermdiaires,
dtecter les dfauts le plus tt possible,
faciliter les volutions futures par un respect des rgles
de dcomposition (aspect maintenance volutive).

MERIYEM
68

SPECIFICATION
contrle interne (cohrence, compltude, faisabilit...) du
document de spcification logiciel,
contrle de cohrence avec les spcifications des besoins
(adquation) visant s'assurer que les besoins rels ont bien
t pris en compte.
prparation des cas de test fonctionnel en vue de la
validation (et/ou recette) et contrle.
contrle formel (cf . activits de l'AQ).
CONCEPTION PRELIMINAIRE
contrle INTERNE (cohrence, compltude, faisabilit,
exactitude...) du document de conception logiciel.
contrle de cohrence avec le document de spcification
logiciel.
Prparation du plan de test et contrle.
[contrle formel : cf. activits de l'AQ].
MERIYEM
69

CONCEPTION DETAILLEE
contrle INTERNE (compltude, prcision, interface)du
dossier de conception dtaille
contrle de COHERENCE par rapport au dossier de
conception prliminaire.
prparation de dossier de test unitaire et contrle.
[contrle formel : cf. activits de l'AQ].
CODAGE
contrle INTERNE et de COHERENCE du codage
[contrle formel du codage]
[excution des tests unitaires]
RECETTE
[DISCIPLINE DE TEST ET EVALUATION ]
EXPLOITATION MAINTENANCE
Vrification que le logiciel volue d'tat stable tat stable.
MERIYEM
70

Techniques V&V:
Technique statique:
Portent sur des documents sans excuter le logiciel
Avantages
contrle systmatique valable pour toute excution,
applicables tout document
Inconvnients
Ne portent pas forcment sur le code rel
Ne sont pas en situation relle (interaction,
environnement)
Vrifications sommaires, sauf pour les preuves.
Ces preuves ncessitent des spcifications formelles et
compltes, donc difficiles.
MERIYEM
71

Techniques V&V:
Techniques dynamiques
Ncessitent une excution du logiciel, une parmi des
multitudes dautres possibles
Avantages
Vrification avec des conditions proches de la ralit
Plus la porte du commun des programmeurs
Inconvnients
Il faut provoquer des expriences, donc crire du code
et construire des donnes dessais.
Un test qui russit ne dmontre pas quil ny a pas
derreurs
MERIYEM
72

Ces techniques, qui font intervenir des OUTILS,
ncessitent que les PRODUITS ANALYSES soient
compltement FORMALISES. C'est pourquoi ils oprent
le plus souvent sur le code SOURCE des programmes.
On peut dfinir 2 classes d'outils :
ceux qui extraient l'information partir d'une analyse
d'un programme et en sortent un ETAT ( ex :
gnrateurs de rfrence croises, analyseur de
complexit, dition du graphe d'appel statique.)
ceux dont le but est de vrifier la cohrence en
dtectant un certain type de dfauts ou d'anomalies ( ex
: vrificateur de standards de codage, vrificateur
d'interface de procdure )
MERIYEM
73
Normes Qualit : Test &Evaluation

Dfinition
Cette discipline a pour objectif d'valuer indpendamment
du groupe de dveloppement, le comportement du
produit dans l'environnement final pour lequel il a t
conu.
Cette vrification peut se faire selon 3 points de vue avec
Intervention de 3 types de personnes :
client (recette client)
l'exploitation (recette d'exploitation)
la maintenance (recette de maintenance)

MERIYEM
74

recette client : dont le but est de vrifier ( avec prsence de
l'utilisateur final) le respect de :
la conformit,
la robustesse (rsistance tous types "d'agressions
extrieures"),
les performances du produit.
recette d'exploitation, le but est de vrifier :
le respect des contraintes d'exploitation (limitation de
ressources...),
le respect de la mise en uvre des spcifications d'exploitation
(cas d'anomalie, cas d'exploitation, rcupration des erreurs),
la clart des messages de communication (ex : message
l'oprateur),
la simplicit et la clart des actions entreprendre sur les cas
d'anomalie prvues.

MERIYEM
75

recette de maintenance: but est de vrifier le respect des
objectifs de qualits relatives au produit :
La documentation disponible, classe et archive;
La documentation conforme aux normes et standards
Le produit a subi avec succs l'ensemble des tests
prvus (intgration, validation et ceux relatifs aux 2
premiers types de recette)
Les jeux de test sont disponibles.

MERIYEM
76

Les niveaux de recette et adaptations:
Validation
Recette provisoire
Recette dfinitive
Validation : validation interne/usine ou validation
partielle.
Recette provisoire: opration formelle sous la
responsabilit des utilisateurs ds la phase spcification
avec un scnario et une rponse attendu ou diffrent
du prvu.
Recette dfinitive: prononc aprs un temps de mise en
production, ( tps de rponse, interfrences, capacit)
et ce si tous les spcifications sont dfinies avec
prcision.
MERIYEM
77
Normes Qualit : Gestion de la Configuration

Dfinition gnrale
C'est une activit qui consiste planifier, identifier,
contrler, configurer et archiver les produits issus des
tapes de dveloppement.

MERIYEM
78

MERIYEM
79

Rfrentiel Fonctionnel (RF) :
Caractristiques accomplir par le systme.
Rfrentiel Allou (RA) :
prcise les fonctions qui doivent tre ralises par les
composants matriels et par les composants logiciels.
Rfrentiel de conception (RC) :
Contient le rsultat de l'tape de conception dtaille.
Rfrentiel
produit
(RP)
et
Rfrentiel
d'Exploitation (RE)
RP correspond la documentation de la 1re version
du systme.
RE correspond la documentation de la version
optimise et amliore.
MERIYEM
80

Objectifs:
IDENTIFIER les lments de base du logiciel et
CONTROLER les nouveaux lments,
ASSURER la VISIBILITE PERMANENTE de la
production,
CONNAITRE de manire continue l'ETAT du
dveloppement et lhistorique,
CONTROLER les modifications et les nouvelles
versions,
MAINTENIR la COHERENCE entre les diffrents
constituants,
FACILITER la MAINTENANCE en ayant une image
cohrente de l'ensemble.
MERIYEM
81

Activits:
Activit d'identification du logiciel dvelopp et de sa
documentation,
Activit de contrle des modifications du logiciel et de
sa documentation,
Compte-rendu sur l'tat du logiciel et de toutes ses
modifications,
Vrification du produit et de sa documentation.

MERIYEM
82

Classification des types de modifications :
Modification externe (ou demande
d'volution). Changement ou ajout de spcification
hors l'tape de spcification, entre la conception et
l'exploitation, la squence suivre :
noter la demande d'volution dans un cahier des demandes
d'volution,
prparer la demande d'volution,
valuer le drangement induit,
approuver ou rejeter la demande (proposer un avenant !).
Modification structurelle : dfaut de construction

dtect : il faut corriger
Modifications textuelles : d'un document par
exemple du point de vue de la qualit ( prsentation,
format)
MERIYEM
83

Processus gnral de modification :
Etape de demande de modification
Demande d'volution (ou constat d'anomalie)
Questionnaire minimum remplir (date, version, type
de modification, raison, demandeur, urgence)
Estimation de limpact au niveau documents et code
Evaluation (cots et dlais)
Dcision : refus (possible dans le cas d'une demande
d'volution) ou accord.
Etape de prise en compte, apportera les informations
suivantes : date, version, responsable, actions effectues,
modules modifis, dure relle de la prise en compte du
drangement.
MERIYEM
84

En rsum:
La GC permet de savoir tout moment:
Composants de configuration logicielle,
Modifications ralises (doc.- code),
Modifications en cours (doc. code).
LAudit de la GC permet de prciser si la GC scarte des

besoins et des spcifications logiciel via deux aspect:
Vrification de laudit GC: implmentation des ECL
Validation de laudit GC : rsolution des problmes et
satisfactions client.
Audit fonctionnel, physique et courant.
MERIYEM
85

Comme minimum de la GC dans un projet Logiciel il faut assurer:
a.
Rpartition des responsabilits des fonctions de GCL entre les
reprsentants des diffrents groupes (gestion de projet,
dveloppement, support, client...).
b.
Dfinition des moyens utiliser pour la gestion des supports (papier,
disque) et description de ce qui est gr :manuellement (Revues,
procdures, documents...) et automatiquement : utilisation d'outils.
c.
Description du plan de documentation
d.
Dfinition de la procdure gnrale d'identification des lments et
des liens.
e.
Rdaction d'un manuel de production :
Rgles de dnomination des fichiers
Description de l'implantation des fichiers du projet dans les rpertoires de la
machine de dveloppement. Pour chaque rpertoire une description du
contenu avec droit d'accs associs et procdures pour envoyer
des messages inter-membres.
Description des rgles communes de production spcifique au projet.

Description des procdures de reproduction, protection et archivage.
f.
Une description du processus de gestion des volutions.

MERIYEM
86
Intersection entre les disciplines

Les 4 disciplines sont en intersection les une avec les
autres.
Il faut optimiser lexploitation des ressources et dlais
dans les 4disciplines tout en maximisant les zones de
recouvrement.
Loutil adquat de cette optimisation est la technique
des REVUES.

MERIYEM
87

Dfinition:
Les revues sont des Runions bases sur
l'analyse statique manuelle de documents
(dossiers de spcification, de conception, manuel
d'utilisation) et de code effectues par l'quipe
de dveloppement.
Principe de base est :
Il est prfrable d'tre plusieurs moments dans
un projet pour rflchir et rsoudre des
problmes,
L'erreur est humaine et qu'il est difficile de
dtecter ses propres erreurs, d'o la ncessit
d'un regard neuf (Manque de recul).
MERIYEM
88

Objectifs des revues:
Dtecter les points sombres, anomalies, dfauts le plus
tt possible.
Amliorer la communication l'intrieur de l'quipe de
dveloppement.
Raliser un travail technique plus homogne
Assurer un rle de formation continue et un transfert
de comptence trs efficace.
Amliorer la qualit gnrale des produits du point de
vue de la forme.

MERIYEM
89

Rgles communes des revues:
Distribuer, l'avance l'information ncessaire (documents,
programmes).
3 personnes mini., 7 personnes max.
Grand projet : 3 personnes/7 ne seront pas impliques dans
le dveloppement
Objectif de la sance limit (- 2h)
Le responsable de la runion (arbitre) doit savoir diriger les
dbats.
Eviter la CONCEPTION et faire valoir l'aspect "REVISION",
Effectuer un SUIVI des problmes soulevs lors de la
runion.
PAS DE JUGEMENT sur l'auteur du produit, mais sur le
produit.
MERIYEM
90

Mise en uvre des inspections:
Prsentation gnrale donne par le responsable du
produit inspecter ;
Chaque participant tudie les produits en regard avec
des check listes ;
Runion d'inspection o les erreurs et anomalies
rencontres sont signales ;
Correction par l'auteur des problmes et erreurs
dtects pendant la runion ;
Suivi par le responsable de l'inspection pour s'assurer
que les erreurs ont bien t corriges ;
Rdiger le rapport d'inspection ;
Dcider une nouvelle revue.
MERIYEM
91

Dure des tches de linspection:
Prsentation gnrale : 1 2 heures
Prparation : les documents sont distribus 2 3 jours
l'avance.
Runion d'inspection : ne doit pas dpasser 2 heures
(ou 300 lignes de code).
Correction : dans les 1 5 jours qui suivent;
Suivi : dans les 1 6 jours qui suivent.

MERIYEM
92

Rle du MODERATEUR (arbitre)
Personne cl.
Runi des comptences techniques et de conduite de runion
d'inspection.
Participe la planification de runions
Responsable du choix des inspecteurs.
Organise la prparation des runions (documents, rapports,
checklists...).
Planifie et dirige la runion.
Enregistre et classe les erreurs, dcide de programmer une
inspection.
Rdige le rapport d'inspection.
Assure le suivi de l'inspection en s'assurant que les erreurs
sont corriges.
Remarque : Le modrateur n'appartient pas la structure du projet.

MERIYEM
93

Rle de linspecteur
Avant la runion :
Analyse les documents inspecter
Note les erreurs, anomalies, inexactitudes sur la base
dune check-list adapte
Pendant la runion :
Transmet le rsultat de son analyse
Vrifier la conformit du produit et dtecte les erreurs et
ambiguts.
Rle de l'auteur
Rpond aux questions techniques poses par les
autres participants.
Note les remarques et erreurs dtectes.
MERIYEM
94
Conclusion
La mise en place de lassurance qualit
dans lentreprise ou dans un projet ne
laisse pas de marge au laisser aller.
Il faut prendre en considration la taille
du projet et le contexte.
I 'assurance qualit est une discipline qui
ncessite une flexibilit et intelligence de
la part des diffrents acteurs en plus de
la matrise des techniques.
MERIYEM
95

AQLCours

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

AQLCours

Uploaded by

Copyright:

Available Formats

Assurance Qualit Logiciel

Ralis par: Mme.Chergui Meriyem

Contexte industriel de la qualit logiciel

Cours AQL Ralis par: Mme.CHERGUI

Apparition des mthodes structures (SADT,ADA,

Cours AQL Ralis par: Mme.CHERGUI

Chacun de ces types a ses avantages et Inconvnient : Il

Cours AQL Ralis par: Mme.CHERGUI

La gestion des ressources

Mthodes techniques et outils

Pour se faire il faut mettre laccent sur les

Cours AQL Ralis par: Mme.CHERGUI

Rappel sur la qualit

La qualit d'un logiciel, tout comme la

Mars Climate Orbiter 23 Septembre 1999

Mars Polar Lander Dcembre1999

Virus et vers Internetetc.

Cours AQL Ralis par: Mme.CHERGUI

Rappel sur la qualit

Cours AQL Ralis par: Mme.CHERGUI

Rappel sur la qualit

satisfaire aux autres objectifs de qualit demands

Rappel sur la qualit

Laspect Management de lAQL

Cours AQL Ralis par: Mme.CHERGUI

Laspect Management de lAQL

d'AMELIORER le produit logiciel,

Cours AQL Ralis par: Mme.CHERGUI

Laspect Management de lAQL

Laspect Management de lAQL

Notions de base de lAQL

Notions de base de lAQL

Notions de base de lAQL

Notions de base de lAQL

Cours AQL Ralis par: Mme.CHERGUI

Notions de base de lAQL

Cours AQL Ralis par: Mme.CHERGUI

Notions de base de lAQL

Cours AQL Ralis par: Mme.CHERGUI

Notions de base de lAQL

Standard de Plan Assurance Qualit Logiciel

Standard de Plan Assurance Qualit Logiciel

Cours AQL Ralis par: Mme.CHERGUI

Standard de Plan Assurance Qualit Logiciel

Standard de Plan Assurance Qualit Logiciel

Standard de Plan Assurance Qualit Logiciel

Les rgles gnrales ou spcifiques sur les

Standard de Plan Assurance Qualit Logiciel

Standard de Plan Assurance Qualit Logiciel

Standard de Plan Assurance Qualit Logiciel

Standard de Plan Assurance Qualit Logiciel

dfinition de la frquence des runions.

un plan TYPE pour chacun des documents laborer.

Standard de Plan Assurance Qualit Logiciel

Standard de Plan Assurance Qualit Logiciel

Standard de Plan Assurance Qualit Logiciel

Standard de Plan Assurance Qualit Logiciel

Cours AQL Ralis par: Mme.CHERGUI

Standard de Plan Assurance Qualit Logiciel

Cours AQL Ralis par: Mme.CHERGUI

Cours AQL Ralis par: Mme.CHERGUI

Cours AQL Ralis par: Mme.CHERGUI

Cours AQL Ralis par: Mme.CHERGUI

Cours AQL Ralis par: Mme.CHERGUI