Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits
2013
Souvent, du a l'aspect cyclique des programmes embarques, les traces de microcontroleurs contiennent beaucoup de donnees. De plus, dans notre contexte de travail, pour l'analyse du comportement, une seule trace se terminant sur une defaillance est disponible. L'objectif du travail presente dans cette these est d'aider a l'analyse de trace de microcontroleurs. La premiere contribution de cette these concerne l'identification de cycles, ainsi que la generation d'une description pertinente de la trace. La detection de cycles repose sur l'identification du loop-header. La description proposee a l'ingenieur est produite en utilisant la compression basee sur la generation d'une grammaire. Cette derniere permet la detection de repetitions dans la trace. La seconde contribution concerne la localisation de faute(s). Elle est basee sur l'analogie entre les executions du programme et les cycles. Ainsi, pour aider dans l'analyse de la trace, nous avons adapte des techniques de localisation de faute(s) basee sur l'utilisation de spectres. Nous avons aussi defini un processus de filtrage permettant de reduire le nombre de cycles a utiliser pour la localisation de faute(s). Notre troisieme contribution concerne l'aide a l'analyse des cas ou les multiples cycles d'une meme execution interagissent entre eux. Ainsi, pour faire de la localisation de faute(s) pour ce type de cas, nous nous interessons a la recherche de regles d'association. Le groupement des cycles en deux ensembles (cycles suspects et cycles corrects) pour la recherche de regles d'association, permet de definir les comportements juges correctes et ceux juges comme suspects. Ainsi, pour la localisation de faute(s), nous proposons a l'ingenieur un diagnostic base sur l'analyse des regles d'association selon leurs degres de suspicion. Cette these presente egalement les evaluations menees, permettant de mesurer l'efficacite de chacune des contributions discutees, et notre outil CoMET. Les resultats de ces evaluations montrent l'efficacite de notre travail d'aide a l'analyse de traces de microcontroleurs.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI