Evaluation des logiciels critiques : application à la méthode B

EL KOURSI ; MARIANO

Type de document
ARTICLE A COMITE DE LECTURE NON REPERTORIE DANS BDI (ACLN)
Langue
francais
Auteur
EL KOURSI ; MARIANO
Résumé / Abstract
L'EVALUATION D'UN LOGICIEL CRITIQUE EST UNE OPERATION QUI CONSISTE EN UN EXAMEN TECHNIQUE SELON UN ENSEMBLE DE CRITERES PAR UNE ENTITE INDEPENDANTE DU CONCEPTEUR. CES CRITERES D'EVALUATION SONT DERIVES DES NORMES EN VIGUEUR, DE L'ETAT DE L'ART OU DE L'EXPERIENCE. L'OBJECTIF D'UNE EVALUATION EST DE S'ASSURER QUE LE PRODUIT CORRESPOND AUX BESOINS DE SECURITE ET DE FONCTIONNALITE SPECIFIES. DANS CET ARTICLE, NOUS DECRIVONS UNE APPROCHE MIXTE D'EVALUATION DU LOGICIEL CRITIQUE. IL S'AGIT D'UNE PART, D'EXAMINER LE PROCESSUS AYANT SERVI A L'ELABORATION DU LOGICIEL ET D'AUTRE PART, DE VERIFIER LA QUALITE DU PRODUIT FINAL (LOGICIEL).
Source