Un programme informatique manipule des informations stockées dans la mémoire centrale de l'ordinateur. En fait, le processeur n'a accès exclusivement qu'à cette mémoire centrale et toute information provenant ou destinée à un support extérieur doit nécessairement transiter par elle. La plupart des objets programmatiques correspondent donc physiquement à une zone de mémoire centrale. On désigne par état momentané d'un programme la totalité des valeurs déposées dans la mémoire à un instant déterminé.
Partant d'un état initial qui représente l'entrée du programme, le but de l'exécution séquentielle des instructions d'un programme consiste dans l'atteinte d'un état final, représentant la sortie. Exécuter un programme revient donc à transformer un état initial en un état final. Cette transformation se fait à l'aide d'une suite de transitions d'états.
Un programme représente une évolution dynamique dans le temps, contrairement à sa spécification qui symbolise plutôt une relation statique entre l'entrée et la sortie du programme. Ainsi, la valeur d'une variable ne peut être définie que par le cours de l'exécution du programme.
Cependant, la conversion d'un état initial en un état final ne peut pas se faire en une seule étape. Une phase importante dans le développement d'un programme est celle de la décomposition, de la structuration du problème initial en pas élémentaires. Cette décomposition se fait par gradation, de sorte que ces pas élémentaires ne puissent être que des opérations simples et des instructions élémentaires parmi lesquelles ont compte par exemple l'instruction d'affectation [angl. assignment statement; all. Zuweisung] ou simplement l'affectation et les instructions d'entrée/sortie. Vu qu'en général un programme se compose d'un grand nombre d'instructions élémentaires, il faut que leur disposition soit organisée, ordonnée et structurée. Les structures qui s'occupent d'une telle organisation sont appelées structures de contrôle.
TERMES TECHNIQUES
• affectation
• état initial
• état final
• état momentané
• structures de contrôle
© Aflo Informatique , 2003-2004