Académique Documents
Professionnel Documents
Culture Documents
- Visite rapide -
Besoins
Conception UTILISATION
ET
Réalisation
MAINTENANCE
Tests
Conception
préliminaire Intégration
Conception Tests
détaillée unitaires
Codage
Etude technique
Prototype
Correction Critique
On part de rien
Développement
tests
On part d’une spécification
Évaluation
client
modélisation
On modifie un existant
planning
besoins
spécifications
Ou Afnor Z67-100-3
C. Crochepeyre Génie Logiciel – visite rapide - 18
• Le modèle conceptuel du système: approche fonctionnelle
– exemple des automates finis: commande, fonctions et données
– facilité d'une représentation graphique des fonctions que l’on
affine d’étape en étape
comptabilité
BD
comptable
paie
impression
trois méthodes
– langage naturel
– langage structuré ou formaté
– langage de spécification formelle
2.1. Paie
Cette fonction comporte trois fonctions:
. la saisie des éléments de paie par employé
. l'édition des bulletins
. la mise à jour de la comptabilité
2.1.1. La saisie
Pour chaque employé, un certain nombre de paramètres
sont saisis...
v1 SA1
Valeurs A Résultats
C
B
v2 SB1
package PAIE is
procedure SAISIE_PAIE
procedure EDITION_PAIE
procedure COMPTA_PAIE
end PAIE
package PAIE_CTES
PLAFOND_A: constant:= 8000
PLAFOND_B: constant:= 12000
....
0-1
Entité B ASSOCIATION
1-1
0-n
Se lit ainsi:
L’entité A est associée à 0 ou n entité B ENTITÉ
L’entité B est associée à 0 ou 1 entité A
Maquette
– n’a aucune fonctionnalité effective
– look extérieur
– donne seulement un aperçu des fonctionnalités
• Passage:
– De l'expression des besoins à la solution informatique
– Spécifications informatiques
– des fonctions
– des données
– des interfaces
– Phase précédant la conception détaillée
s1 2.0
3.0
exemple:
adresse EST nom
ET adresse rue
ET nom ville
ET code postal
adresse = nom + adresse rue + nom ville + code postal
ELEVE
nom prénom
Alternatives composées
Si <condition> vraie Alors Décider entre
traitement_1 Cas_1 vraie Alors traitement_1
Sinon Cas_2 vraie Alors traitement_2
traitement_2 Autrement
Finsi Erreur
Fin Décider
TAUX_REMISE
montant <10.000Fr >10.000Fr
flot continu
stockage température
Four froid
Four chaud
T° = 200°c T° descend vers 0°
Fin cuisson
Four verrouillé
Dossier
contrôle
Provisoire Paiement
inscription
Inscription
inscrire()
Elève Professeur
n° élève agrégation
nom
nom
accéder() déposer()
Les relations
fonctionnelles: collaborations
structurelles: compositions
Cardinalités: contraintes sémantiques liant deux entités 0, 1 ou n
Schéma similaire au modèle E/R
paie
élève
inscrit
• Conception impérative
– fonctionnelle descendante
– modulaire
• Conception applicative
– orientée objets
– héritage
module A module B
SA + SD = SASD
module de nom A
A
Diagramme de structure SC
choix
données
flag
B C
modules B et C
appelés
• il a un comportement:
– déterminé par ses actions
– avec des contraintes sur les actions ou attributs
– représenté par:
• réseaux de pétri, automates à états finis, des
diagrammes, des matrices,…
CLASSE COMPTE_CLIENT
CHAMPS
CODE CLIENT
TITULAIRE
SOLDE
MÉTHODES
DÉBITER
CRÉDITER
CHAMPS
MÉTHODES MÉTHODES
CODE CLIENT
FACTURER DÉBITER PAIE TITULAIRE
SOLDE
N° COMPTE EMPLOYÉ
MÉTHODES
DÉBITER
CRÉDITER
DÉBITER PAIE
• La méthodologie
• La lisibilité des programmes
• Les outils
• La portabilité des programmes
• Les langages
• Tests
– détection des erreurs
– absence d'erreurs?
– choix judicieux des tests
• Mise au point
– localisation des erreurs et corrections
– mode d'écriture facilitant la mise au point
Installation Exploitation
CHARGE IMPORTANTE