SPECIFICATIONS DU LOGICIELSPECIFICATIONS DU LOGICIEL

..

OBJECTIFS DE LA OBJECTIFS DE LA PRESENTATIONPRESENTATION

SPECIFICATIONS DU SPECIFICATIONS DU LOGICIELLOGICIEL

DEFINITION DE LA SPECIFICATIONDEFINITION DE LA SPECIFICATION PLAN TYPE DE SPECIFICATIONPLAN TYPE DE SPECIFICATION LES METHODESLES METHODES

CONTEXTE DU LOGICIELCONTEXTE DU LOGICIEL

SPECIFICATIONCONCEPTION

SYSTEMEPLANIFICATION

DEFINITIONLOGICIEL

REALISATIONLOGICIEL

VALIDATIONLOGICIEL

INTEGRATIONVALIDATION

SYSTEME

= ?

DEFINITION DU LOGICIELDEFINITION DU LOGICIEL RESPONSABLE : CHEF DE PROJET RESPONSABLE : CHEF DE PROJET

SYSTEMESYSTEME BUT : BUT : SPECIFIER LE LOGICIEL SPECIFIER LE LOGICIEL

DEFINIR LA VALIDATIONDEFINIR LA VALIDATION

ACTIVITES :Simulation/MaquettageRédiger les documents

Revue de définition

Documents système :- spécification- spécification de validation- conception- plan de validation Cahier des charges

Documents logiciel :- spécifications des besoins- justificatif de définition- spécifications de validation- plan de validation- procédures de validation- normes de développement- rapports de maquettage- spécification de version

DEFINITION DE LA DEFINITION DE LA SPECIFICATION DES BESOINSSPECIFICATION DES BESOINS

DEFINITION DES BESOINS DU LOGICIELDEFINITION DES BESOINS DU LOGICIEL VU DE L'EXTERIEURVU DE L'EXTERIEUR POSE LE PROBLEMEPOSE LE PROBLEME

QUALITES D'UNE QUALITES D'UNE SPECIFICATIONSPECIFICATION

LISIBLELISIBLE STRUCTUREESTRUCTUREE NON AMBIGUENON AMBIGUE COMPLETECOMPLETE TESTABLETESTABLE

LOGICIEL SANS MATERIELLOGICIEL SANS MATERIEL

FORMALISATION DU CAHIER DES CHARGESFORMALISATION DU CAHIER DES CHARGES LE MATERIEL LE MATERIEL

– SUPPORTSUPPORT

– HORS FOURNITUREHORS FOURNITURE

LOGICIEL DANS SYSTEMELOGICIEL DANS SYSTEME

LOGICIEL = SOUS-SYSTEMELOGICIEL = SOUS-SYSTEME SPECIFICATION DU LOGICIEL =SPECIFICATION DU LOGICIEL =

– SOUS ENSEMBLE DE LA SPECIFICATION DU SYSTEMESOUS ENSEMBLE DE LA SPECIFICATION DU SYSTEME

– +SOUS ENSEMBLE DE LA CONCEPTION SYSTEME+SOUS ENSEMBLE DE LA CONCEPTION SYSTEME

» donnant les fonctions allouées au logicieldonnant les fonctions allouées au logiciel

» donnant les interfaces entre sous-systèmesdonnant les interfaces entre sous-systèmes

LOGICIEL 1 LOGICIEL 2 MATERIEL 1 MATERIEL 2

SYSTEME

SPECIFICATION DES BESOINSSPECIFICATION DES BESOINS

INTERFACES, FONCTIONSINTERFACES, FONCTIONS

FONCTIONS LOGICIEL

f f

ff

AUTRELOGICIEL

MATERIEL

HOMME

SPECIFICATION DES BESOINSSPECIFICATION DES BESOINS

INTERFACESINTERFACES– HOMME MACHINEHOMME MACHINE

– LOGICIELLOGICIEL

– MATERIELMATERIEL

FONCTIONSFONCTIONS PERFORMANCESPERFORMANCES SECURITES, DETECTIONS DE PANNE SECURITES, DETECTIONS DE PANNE AUTOTESTAUTOTEST NORMES & CONTRAINTESNORMES & CONTRAINTES

POURQUOI UN PLAN TYPEPOURQUOI UN PLAN TYPE

POUR ASSURER LA COMPLETUDEPOUR ASSURER LA COMPLETUDE POUR SAVOIR OU SONT LES POUR SAVOIR OU SONT LES

INFORMATIONSINFORMATIONS POUR FACILITER LA LECTUREPOUR FACILITER LA LECTURE

I.INTRODUCTIONI.INTRODUCTION

I.1 BUT DU DOCUMENT ET CHAMP I.1 BUT DU DOCUMENT ET CHAMP D'APPLICATIOND'APPLICATION

I.2 DEFINITIONS, ABREVIATIONS ET SIGLESI.2 DEFINITIONS, ABREVIATIONS ET SIGLES I.3 REFERENCESI.3 REFERENCES I.4 GENERALITESI.4 GENERALITES

II. DESCRIPTION GENERALEII. DESCRIPTION GENERALE

II.1 CONTEXTE DU PRODUITII.1 CONTEXTE DU PRODUIT II.2 FONCTIONSII.2 FONCTIONS II.3 CARACTERISTIQUES D'UTILISATIONII.3 CARACTERISTIQUES D'UTILISATION

III.SPECIFICATIONSIII.SPECIFICATIONS

III.1 SPECIFICATIONS D'INTERFACEIII.1 SPECIFICATIONS D'INTERFACE III.2 SPECIFICATIONS FONCTIONNELLES ET III.2 SPECIFICATIONS FONCTIONNELLES ET

DE PERFORMANCEDE PERFORMANCE III.3 SPECIFICATIONS DE SECURITE ET DE III.3 SPECIFICATIONS DE SECURITE ET DE

DETECTION DE PANNESDETECTION DE PANNES III.4 SPECIFICATIONS DIVERSESIII.4 SPECIFICATIONS DIVERSES III.5 NORMES ET CONTRAINTESIII.5 NORMES ET CONTRAINTES

III.1 SPECIFICATIONS III.1 SPECIFICATIONS D'INTERFACED'INTERFACE

III.1.1 SPECIFICATIONS D'INTERFACE III.1.1 SPECIFICATIONS D'INTERFACE MATERIELLEMATERIELLE

III.1.2 SPECIFICATIONS D'INTERFACE III.1.2 SPECIFICATIONS D'INTERFACE LOGICIELLELOGICIELLE

III.1.3 SPECIFICATIONS D'INTERFACE III.1.3 SPECIFICATIONS D'INTERFACE HOMME-MACHINEHOMME-MACHINE

III.2 SPECIFICATIONS III.2 SPECIFICATIONS FONCTIONNELLES ET DE FONCTIONNELLES ET DE

PERFORMANCEPERFORMANCE III.2.1 SPECIFICATIONS FONCTIONNELLESIII.2.1 SPECIFICATIONS FONCTIONNELLES

– INTRODUCTIONINTRODUCTION

– ENTREESENTREES

– TRAITEMENTSTRAITEMENTS

– SORTIESSORTIES

III.2.2 SPECIFICATIONS DE PERFORMANCESIII.2.2 SPECIFICATIONS DE PERFORMANCES

III.3 SPEC... DE SECURITE ET III.3 SPEC... DE SECURITE ET DE DETECTION DE PANNESDE DETECTION DE PANNES

III.3.1 SPECIFICATIONS DE SECURITEIII.3.1 SPECIFICATIONS DE SECURITE III.3.2 SPECIFICATIONS DE DETECTION DE III.3.2 SPECIFICATIONS DE DETECTION DE

PANNESPANNES III.3.3 SPECIFICATIONS D'AUTOTESTIII.3.3 SPECIFICATIONS D'AUTOTEST

III.4 SPECIFICATIONS III.4 SPECIFICATIONS DIVERSESDIVERSES

III.4.1 SPECIFICATIONS D'ENVIRONNEMENTIII.4.1 SPECIFICATIONS D'ENVIRONNEMENT III.4.2 SPECIFICATION DE PARAMETRAGEIII.4.2 SPECIFICATION DE PARAMETRAGE III.4.3 AUTRES SPECIFICATIONSIII.4.3 AUTRES SPECIFICATIONS

III.5 NORMES ET III.5 NORMES ET CONTRAINTESCONTRAINTES

III.5.1 NORMESIII.5.1 NORMES III.5.2 CONTRAINTESIII.5.2 CONTRAINTES

III.5.1 NORMESIII.5.1 NORMES

III.5.1.1 NORMES DE DEVELOPPEMENTIII.5.1.1 NORMES DE DEVELOPPEMENT III.5.1.2 NORMES D'ASSURANCE QUALITEIII.5.1.2 NORMES D'ASSURANCE QUALITE III.5.1.3 NORMES DE GESTION DE III.5.1.3 NORMES DE GESTION DE

CONFIGURATIONCONFIGURATION III..5.1.4 NORMES DE LANGAGEIII..5.1.4 NORMES DE LANGAGE III.5.1.5 NORMES DE CODAGEIII.5.1.5 NORMES DE CODAGE III.5.1.6 NORMES DE TESTIII.5.1.6 NORMES DE TEST III.5.1.7 NORMES DE DOCUMENTATIONIII.5.1.7 NORMES DE DOCUMENTATION III.5.1.8 AUTRES NORMESIII.5.1.8 AUTRES NORMES

III.5.2 CONTRAINTESIII.5.2 CONTRAINTES

III.5.2.1 CONTRAINTES DE CONCEPTIONIII.5.2.1 CONTRAINTES DE CONCEPTION III.5.2.2 CONTRAINTES DE TESTABILITEIII.5.2.2 CONTRAINTES DE TESTABILITE III.5.2.3 CONTRAINTES DE MAINTENABILITEIII.5.2.3 CONTRAINTES DE MAINTENABILITE III.5.2.4 CONTRAINTES D'EVOLUTIVITEIII.5.2.4 CONTRAINTES D'EVOLUTIVITE III.5.2.5 CONTRAINTES DE PORTABILITEIII.5.2.5 CONTRAINTES DE PORTABILITE III.5.2.6 CONTRAINTES DE III.5.2.6 CONTRAINTES DE

CONFIDENTIABILITECONFIDENTIABILITE III.5.2.7 AUTRES CONTRAINTESIII.5.2.7 AUTRES CONTRAINTES

AVANTAGE DE LA METHODEAVANTAGE DE LA METHODE

FACILITE L'ELABORATION DE LA FACILITE L'ELABORATION DE LA SPECIFICATION SPECIFICATION – EN GENERAL PAR DECOMPOSITIONEN GENERAL PAR DECOMPOSITION

PROPOSER UN SYMBOLISME RECONNUPROPOSER UN SYMBOLISME RECONNU– DONC LISIBLEDONC LISIBLE

– DONC ASSISTANCE POSSIBLE PAR DES OUTILSDONC ASSISTANCE POSSIBLE PAR DES OUTILS

AVANTAGE DES OUTILSAVANTAGE DES OUTILS

VERIFICATION DE LA COMPLETUDEVERIFICATION DE LA COMPLETUDE VERIFICATION DE LA COHERANCE INTERNEVERIFICATION DE LA COHERANCE INTERNE PARFOIS EXECUTABLESPARFOIS EXECUTABLES

– MAQUETTAGEMAQUETTAGE

– PROTOTYPAGEPROTOTYPAGE

PRODUIT UNE PARTIE DE LA PRODUIT UNE PARTIE DE LA DOCUMENTATIONDOCUMENTATION

DES METHODES ORIENTEESDES METHODES ORIENTEES

DONNEES (CHEN)DONNEES (CHEN) FONCTIONS (SADT, SA/RT)FONCTIONS (SADT, SA/RT) COMPORTEMENTS (SA/RT, STATES COMPORTEMENTS (SA/RT, STATES

CHARTS)CHARTS) OBJETS OBJETS

– (OOA SHLAER-MELLOR)(OOA SHLAER-MELLOR)

– OMTOMT

DOCUMENTATION GENEREESDOCUMENTATION GENEREES

INTERFACESINTERFACES FONCTIONSFONCTIONS

DOCUMENTATION A DOCUMENTATION A COMPLETERCOMPLETER

INTRODUCTIONINTRODUCTION DESCRIPTION GENERALEDESCRIPTION GENERALE PERFORMANCESPERFORMANCES NORMES ET CONTRAINTESNORMES ET CONTRAINTES

SADTSADT

DECOMPOSITION EN FONCTIONSDECOMPOSITION EN FONCTIONS

SYSTEMEENTREES SORTIES

COMMANDES

MECANISMES

SA/RTSA/RT

DECOMPOSTIONS EN FONCTIONSDECOMPOSTIONS EN FONCTIONS

LOGICIEL

AUTRELOGICIEL

HOMMEMATERIEL MATERIEL

MATERIEL

FLOTS DE DONNESSORTIES

FLOTS DE CONTROLE

SA/RTSA/RT

DESCRIPTION DU COMPORTEMENTDESCRIPTION DU COMPORTEMENT

ETAT 1

ETAT 2

ETAT 3CONDITION/ACTION

STATES CHARTSSTATES CHARTS

DESCRIPTION DU COMPORTEMENTDESCRIPTION DU COMPORTEMENT AUTOMATES HIERARCHIQUESAUTOMATES HIERARCHIQUES

ETAT 1 ETAT2

ETAT3

ENTITES/ASSOCIATIONS ENTITES/ASSOCIATIONS CHENCHEN

ENTITE 1 ENTITE 2

RELATION

METHODES OBJETSMETHODES OBJETS

MODELE OBJETMODELE OBJET– ATTRIBUTS, RELATIONS ENTRE OBJETSATTRIBUTS, RELATIONS ENTRE OBJETS

COMPORTEMENT DES OBJETSCOMPORTEMENT DES OBJETS– 1 AUTOMATE PAR CLASSE D'OBJETS A ETATS1 AUTOMATE PAR CLASSE D'OBJETS A ETATS

DIAGRAMME DES FLOTS ENTRE ACTIONSDIAGRAMME DES FLOTS ENTRE ACTIONS

SHLAER-MELLORSHLAER-MELLOROOAOOA

APPLICABLE EN SPECIFICATIONAPPLICABLE EN SPECIFICATION EXECUTABLEEXECUTABLE EN CONCEPTION UTILISATION DE OODLEEN CONCEPTION UTILISATION DE OODLE

OMTOMT

OBJECT MANAGMENT TOOLOBJECT MANAGMENT TOOL METHODE UNIQUE METHODE UNIQUE

– SPECIFICATIONSPECIFICATION

– CONCEPTIONCONCEPTION

LES OUTILSLES OUTILS

TEAMWORK (SA/RT CHEN, TEAMWORK (SA/RT CHEN, SHLAER/MELLOR)SHLAER/MELLOR)– façilité d'utilisation, puissance, documentation généréefaçilité d'utilisation, puissance, documentation générée

STP (SA/RT, OMT)STP (SA/RT, OMT)– puissancepuissance

SELECT (SA/RT, OMT)SELECT (SA/RT, OMT)– simplicité, coûtssimplicité, coûts

STATEMATESTATEMATE– simulationsimulation

LES OUTILSLES OUTILSINTERFACE HOMME INTERFACE HOMME

MACHINEMACHINE SL-GMSSL-GMS ALTIAALTIA

IHMIHM

CONCLUSIONCONCLUSION

ACTIVITE VITALEACTIVITE VITALE– SPECIF = CONTRATSPECIF = CONTRAT

DES OUTILS POURDES OUTILS POUR– VALIDERVALIDER

– AMELIORER LA PRODUCTIVITEAMELIORER LA PRODUCTIVITE