Recherche Bamouss
Analyse dynamique: nécessite l’exécution du code binaire
Principe : à partir du code source (ou d’un modèle) et spécification, produire des DT qui exécuteront un ensemble de comportements, comparer les résultats avec ceux attendus…
1. Techniques de couverture du graphe de contrôle
a) Couverture du flot de contrôle (toutes les instructions, branches, chemins…)
b) Couverture du flot de données (toutes les définitions de variables, les utilisations…)
2. Test mutationnel (test par injection de défaut)
3. Exécution abstraite
4. Test évolutionniste (algorithme génétique)
Analyse statique: ne nécessite pas l’exécution du code binaire
1. Revue de code
2. Estimation de la complexité
3. Preuve formelle (prouveur,vérifieur ou model-checking)
4. Exécution symbolique
5. Interprétation abstraite
Tableau des flux de tresorerie
Un tableau de flux de trésorerie est un tableau de financement qui mesure les flux de trésorerie directement par variation de valeurs de postes comptables pendant une période de temps, au moyen du solde des comptes sans report.
La comptabilité standard (comptabilité générale) est une comptabilité d'engagements, qui étudie les variations de valeur du patrimoine sans faire une distinction entre leurs formes. Dans le vocabulaire contemporain, le mot flux désigne parfois seulement les flux monétaires de liquidités, qu'on isole des autres "flux de fonds", c'est-à-dire des autres flux de valeur patrimoniales de toutes formes. Cette importance particulière donnée aux flux de liquidité prétend échapper à l'arbitraire de certaines conventions à la base de la comptabilité d'engagement.
Enjeux du tableau de flux de trésorerie
La comptabilité standard (comptabilité générale) est une comptabilité d'engagements, qui étudie les variations de valeur du patrimoine sans faire une distinction entre leurs formes. Dans le vocabulaire contemporain, le mot flux désigne parfois seulement les flux monétaires de