Lorenzo Bertetto
Extending instruction trace data flow analysis of functional test programs for multicore systems.
Rel. Paolo Bernardi, Stefano Quer, Lorenzo Cardone, Francesco Angione. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (3MB) | Preview |
Abstract
Functional test strategies have become very popular for efficiently testing devices online and as a substitute for redundancy-based techniques. Unfortunately, they typically require a significant percentage of the overall testing and validation costs. Consequently, a preliminary and quick evaluation of functional test procedures has become essential to guide functional program development. In this work, we develop a technique for multi-core applications based on analyzing the execution traces generated by the functional program running within a debugger. Given the trace, we first create a graph representing the program data flow, i.e., all reading and writing operations on registers and memory addresses. Then, we manipulate the graph to evaluate whether each data is correctly forwarded to the program termination or a signature point.
We finally label each operation as “good” (i.e., green) or “bad” (i.e., black) and compute a metric to represent the overall data flow of the program
Relatori
Anno Accademico
Tipo di pubblicazione
Numero di pagine
Corso di laurea
Classe di laurea
URI
![]() |
Modifica (riservato agli operatori) |
