Chromatic analysis of numerical programs
Résumé
This paper introduces the concept of chromatic numbers, which allows to tint a scalar or a set of scalars to estimate the relations between input and output variables under additive property. This consists in proposing a decomposition of a resulting value as a sum of tinted values. We illustrate how this concept can be used on a deep neural networks example by tinting group of value at once allowing to track a large number of values together
Cet article introduit le concept d'Analyse Chromatique pour l'analyse de code logiciel, ce qui permet de teinter une variable scalaire ou un ensemble de variables scalaires et d'estimer les relations entre les variables d'entrée et de sortie sous propriété additive. L'Analyse Chromatique propose une décomposition d'un calcul résultat sous la forme d'une somme de valeurs teintées. Nous illustrons ce concept sur un exemple de réseaux de neurones profonds en teintant un groupe de variables d'entrées, ce qui permet de de suivre en une seule analyse leur impact potentiel sur un grand nombre de résultats.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|