Result: Analyse automatisée de traces d'exécution de programmes CLP(FD) / Trace automatized analysis of CLP(FD) program execution

Le comportement opérationnel des programmes clp(fd) n'est pas facile à comprendre. Nous proposons une approche où des vues de haut niveau des exécutions peuvent être construites au dessus de traceurs bas niveau. Nous présentons un module qui peut analyser à la volée des traces d'exécution Les développeurs d'applications et les utilisateurs terminaux peuvent programmer facilement des outils d'analyse de traces sans avoir à connaître les détails d'implémentation ni du solveur ni du traceur. La plus grande partie du filtrage de traces peut se faire sans stocker ni même générer la trace. L'analyse peut donc être très efficace. Le schéma d'analyse avait été initialement conçu pour des programmes Prolog. Il a été ici étendu pour prendre en compte le store de contraintes. Nous présentons également deux exemples significatifs d'analyses de traces dédiées à clp(fd). Cette étude démontre que le schéma d'analyse proposé est suffisamment générique pour s'adapter à un large éventail de modèles de traces et, donc, de langages.