Chapitre 1 Introduction

Dimension: px

Commencer à balayer dès la page:

Download "Chapitre 1 Introduction"

François-Xavier Bibeau
il y a 8 ans
Total affichages :

1 Chapitre 1 Introduction Jean Privat Université du Québec à Montréal INF7330 Construction de logiciels Diplôme d études supérieures spécialisées en systèmes embarqués Automne 2012 Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

2 Construction de logiciels Objectifs du cours Mettre-à-jour les connaissances en construction de logiciel Savoir programmer en C avancé Savoir utiliser des outils liés au développement de logiciels Difficultés du cours Programmation Ligne de commande Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

3 Plan 1 Construction de logiciels 2 Chaîne d exécution 3 Le langage C 4 Compiler en C 5 Écriture de programmes en C Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

4 Plan 1 Construction de logiciels 2 Chaîne d exécution 3 Le langage C 4 Compiler en C 5 Écriture de programmes en C Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

5 Exécution d un programme Données Idée Code source Exécution Programmeur «Écriture» «Traitement» Ordinateur Résultats Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

6 Composantes Programmeur Être humain qui développe des logiciels Langage de programmation Notation artificielle destinée à exprimer des algorithmes et produire des programmes Programme Ensemble d instructions (ou de règles) exécutable par un ordinateur Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

7 Programmation Processus itératif Spécification et conception Édition du code source Compilation Tests, déboguage et profilage Coordination avec le reste de l équipe et les utilisateurs Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

8 Qualité logicielle Génie logiciel Science de l ingénieur destinée à produire mieux des logiciels mieux Critères Correction (capacité fonctionnelle) Robustesse (fiabilité) Maintenabilité Portabilité Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

9 Styles de programmation Nombreux paradigmes et variations Impérative (structurée, procédurale) Fonctionnelle Orienté objet (à classe, à prototype) Déclarative (logique, contraintes, règles) Etc. Langages Chaque langage est plus-ou-moins adapté/dédié à un/plusieurs paradigmes Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

10 Plan 1 Construction de logiciels 2 Chaîne d exécution 3 Le langage C 4 Compiler en C 5 Écriture de programmes en C Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

11 Compilateur Programme qui transforme du code source en du code exécutable par une machine La compilation à lieu avant l exécution FOR A = 1 TO 9 B = B + A NEXT A Code source Compilateur Exécutable Données Exécutable Résultats Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

12 Compilateurs Compilateurs traditionnels C Java Compilateurs source-à-source Préprocesseur Générateurs de code Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

13 Interpréteur Programme qui prends un programme en entrée et l exécute directement Souvent interactifs Souvent réflexifs Code source FOR A = 1 TO 9 B = B + A NEXT A Interpréteur Résultats Données Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

14 Interpréteurs Interpréteurs traditionnels Ruby Shells Machines virtuelles Java Émulateurs Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

15 Plan 1 Construction de logiciels 2 Chaîne d exécution 3 Le langage C 4 Compiler en C 5 Écriture de programmes en C Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

16 Historique du langage C 1972 : Début du langage C (Ritchie et Kernighan) 1978 The C Programming Language, (Kernighan et Ritchie) : C K&R 1989 Normalisation ANSI : C89 (ou C ANSI) 1999 Normalisation ISO : C Mise-à-jour : C11 (ou C1x) Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

17 Caractéristiques du langage C Langage compilé Statiquement typé «Relativement» fortement typé «Haut» niveau Gestion manuelle de la mémoire Rapide Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

18 Popularité du langage C Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

19 Utilisation du langage C Toujours autant utilisé Proche du système (système d exploitation & matériel) «Relativement» portable Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

20 Programmation impérative Ordres Séquences d instructions Effets de bords État du système pris en compte et modifiable Affectation Entrée/sorties Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

21 Mon premier programme en C Fichier hello.c #include <s t d i o. h> / This program p r i n t s H e l l o world / i n t main ( i n t argc, char argv ) { p r i n t f ( " H e l l o world \n " ) ; return 0 ; } Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

22 Plan 1 Construction de logiciels 2 Chaîne d exécution 3 Le langage C 4 Compiler en C 5 Écriture de programmes en C Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

23 Compiler le programme Utiliser un compilateur (gcc) $ gcc o h e l l o h e l l o. c $. / h e l l o H e l l o world Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

24 Travail du compilateur Objectif général Traduire le programme C en le même programme mais exécutable $ ls l hello.c hello Programmes valides programmes corrects Le compilateur ne compile pas les programmes écrits en C invalide Les erreurs rapportées servent à rendre le programme valide Attention : un programme qui compile n est pas nécessairement un programme correct Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

25 Diagnostiques du compilateur Demander au compilateur de l aide Options W et Wall Liste des endroits où le C est valide mais louche Utiliser un outil de diagnostique statique $ splint hello.c Va plus loin qu un compilateur Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

26 Compilateur C *.h fichier.c *.o préprocesseur compilateur C éditeur de liens assembleur fichier.o programme.exe Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

27 Compilateur C Préprocesseur Traite les directives (lignes qui commencent par #) gcc E hello.c less Compilateur (vrai) Traduit le C en assembleur gcc S hello.c ; vi hello. s Assembleur Transforme l assembleur en code machine gcc c hello.c ; ls l hello.o Éditeur de liens Réunit les fichier.o (et d autres) pour former un exécutable Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

28 Compilation (vraie) Plusieurs façon de traduire En fonction des compilateur, des versions, des plate-formes, des options d optimisation, l assembleur généré est différent $ gcc S o h e l l o 1. s h e l l o. c $ gcc O2 S o h e l l o 2. s h e l l o. c $ c l a n g S o h e l l o 3. s h e l l o. c $ l s l h e l l o 1. s h e l l o 2. s h e l l o 3. s Toutes traduisent le même programme Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

29 Plan 1 Construction de logiciels 2 Chaîne d exécution 3 Le langage C 4 Compiler en C 5 Écriture de programmes en C Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

30 Convention d écriture Une seule instruction par ligne Utiliser des identificateur significatifs (pour un programmeur C) Indenter le code Mise-en page uniforme Toujours commenter mais commenter efficacement Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

31 Séparateurs et commentaires Les caractères espace, tabulation et retour-chariot séparent les entités lexicales Les commentaires sont délimités par / et / Le point-virgule termine une instruction ou une déclaration. La virgule sépare les éléments d une liste (dont les paramètres). Les accolades délimitent les blocs ou les listes d initialisation Les crochets servent aux tableaux Les parenthèses servent : à la priorité ; aux appels de fonction ; à la coercition. Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

32 Identificateurs Séquence de lettres, chiffres et de soulignés (symbole _) Le premier caractère est une lettre ou un souligné Sensible à la case (majuscule/minuscule) Attention : les identificateurs trop long peuvent être coupés Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

33 Mots réservés auto, auto, break, case, char, const, continue, default, do, double, else, enum, extern return, float, for, goto, if, int, long, register, short, signed, sizeof, static, struct, switch, typedef, union, unsigned, void, volatile, while Jean Privat (UQAM) 01 Introduction INF7330 Automne / 33

Documents pareils

Introduction au langage C

Introduction au langage C Cours 1: Opérations de base et premier programme Alexis Lechervy Alexis Lechervy (UNICAEN) Introduction au langage C 1 / 23 Les premiers pas Sommaire 1 Les premiers pas 2 Les