Analyse automatique des traces d'événements : une étude comparative
L'analyse des traces d'événements permet d'identifier des erreurs dans l'exécution du système ou la violation de certaines politiques. Le principe de cette analyse consiste à vérifier si un système respecte un contrat donné. Un "contrat d'interface" est une défi...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | fr |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://constellation.uqac.ca/2683/1/030585424.pdf |