Typage statique

différence de la programmation procédurale, un programme écrit dans un langage objet répartit l’effort de résolution de problèmes sur un ensemble d’objets collaborant par envoi de messages. Chaque objet se décrit par un ensemble d’attributs (partie statique) et un ensemble de méthodes portant sur ces attributs (partie dynamique). Certains de ces attributs étant l’adresse des objets avec lesquels les premiers collaborent, il leur est possible de déléguer certaines des tâches à leurs collaborateurs. Le

Tests Introduction aux tests logiciels Y. Guesnet Département d’informatique Université de Rouen 19 novembre 2010 Plan 1 Principes généraux Les tests statiques Introduction aux tests dynamiques Les tests fonctionnels Les tests structurels Les tests et les langages objets Le TDD 2 3 4 5 6 7 1 Principes généraux Introduction Organisation des tests Le gestionnaire de test Le chef d’équipe de test L’analyste de test Le testeur L’observateur indépendant Le bureau

r´f´rences ee 3.7 Un programme utilisant des r´f´rences ee 3.8 R´cursivit´ et boucles e e 3.9 R`gle d’extensionnalit´ e e 3.10 Effets et ´valuation e 4 Fonctionnelles et polymorphisme 4.1 Notion de polymorphisme 4.2 Fonctions d’ordre sup´rieur e 4.3 Typage et polymorphisme 4.4 Curryfication viii 4.5 4.6 4.7 Une fonctionnelle de tri polymorphe La pleine fonctionnalit´ e Composition de fonctions Table des mati`res e 65 67 70 75 75 77 78 81 83 84 85 88 91 98 103 105 109 109 113 116 116 118 118 120

modèles – NFP209/ Vers. 2.0 Page 3 Processus métiers vs. processus informatisés Processus métier Flux Cohérence globale du SI Cohérence des processus Processus informatisés Cohérence de l’information DONNÉES Règles de typage • Syntaxe du type • Sémantique du type (règles d’interprétation) Cohérence de l’information DONNÉES Contraintes ergonomiques • Pragmatique • Sémantique Flux Cohérence informatique • Intégrité du modèle de données • Caractéristiques

exprimer des systèmes transformationnels, les logiques temporelles pour exprimer des propriétés dynamiques de sûreté et de vivacité des systèmes réactifs, les langages logico-ensemblistes comme Z, VDM et B pour décrire et vérifier des propriétés statiques sur les états des systèmes, les réseaux de Pétri, les automates communicants, LOTOS pour modéliser des systèmes concurrents avec ou sans partage de variables, les automates temporisés pour modéliser des systèmes temps réels, etc. Méthodes Formelles

Rapport Page 13 Rapport de Stage Vincent Reynier Illustration 2: Disposition type d'un site internet Exemple : www.croisieres-palavas.com Ce site reprend le schéma classique d'organisation de la page avec un bandeau (ici une image statique et non-administrable), un menu composé de six items, une barre latérale à droite avec un sous-menu, un bloc d'informations et un bloc Facebook et un pied de page rappelant les coordonnées de l'entreprise et faisant mention de la société Pep's Multimédia

nécessaires à la bonne marche du système. Générale Détaillée Le résultat de la phase de conception consiste en un modèle logique/physique du système, représenté par : des diagrammes de package des diagrammes de classes décrivant la structure statique, des diagrammes associés aux aspects dynamiques (à voir dans la suite !). Chap.3 : UML 4 Différentes façons de subdiviser un système • • • • • Un système distribué est divisé en clients et serveurs Un système est divisé en sous-systèmes

.....14 II. DIAGRAMME DE CONTEXTE .......................................................................................15 III. DIAGRAMME CONCEPTUEL DE FLUX ......................................................................15 DESCRIPTION STATIQUE DU SYSTEME D’INFORMATION I. LES CONCEPTS DE BASE .............................................................................................18 1.1) La propriété (ou attribut ou rubrique)......................................................

charges obtenus par les clients. Une fois cette partie est terminée, les collaborateurs divisent les tâches à réaliser et sous traitent les parties statiques (web design) à la société sous-traitante en Tunisie. Les parties de développement, qui consistent à la création des logiciels et l'intégration des codes PHP ou ASP dans les sites statiques et la gestion des bases de données, sont réalisées par DevClic à Tunis selon la conception bien définie par le service développement (Paris). • Service

d'interfaces et de collaborations, ainsi que leurs relations. Ce sont les diagrammes les plus fréquents dans la modélisation des systèmes à objets. Ils présentent la vue de conception statique d'un système. Les diagrammes de classes, (qui comprennent aussi les classes actives), présentent la vue de processus statique d'un système. 2 Les classes  La classe est une description abstraite d’un ensemble d’objets  La classe peut être vue comme la factorisation des éléments communs à un ensemble d’objets