polito.it
Politecnico di Torino (logo)

Applying Static Code Analysis for C++ in the Realm of Safety-Critical Autonomous Driving

Federico Buoncompagni

Applying Static Code Analysis for C++ in the Realm of Safety-Critical Autonomous Driving.

Rel. Giovanni Malnati. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2022

Abstract:

Esplorando il concetto di Static Code Analysis, questa tesi mostra le ragioni alla base della sua diffusa adozione nel controllo automatico del codice rispetto agli standard utilizzati nell'industria automobilistica. In particolare viene presentato un confronto tra i risultati prodotti dai "checker" automatici progettati dal candidato e alcuni strumenti commerciali disponibili. Questi "checkers" prodotti dal candidato si basano su Clang, in particolare Clang-Tidy, e hanno come principale obiettivo la riduzione dei falsi positivi. I risultati mostrano come i "checker" prodotti siano, come previsto, meno soggetti a falsi positivi e molto più flessibili, grazie a un ciclo di feedback più breve caratteristico di una soluzione interna rispetto ad una outsourced.

Relatori: Giovanni Malnati
Anno accademico: 2021/22
Tipo di pubblicazione: Elettronica
Numero di pagine: 52
Informazioni aggiuntive: Tesi secretata. Fulltext non presente
Soggetti:
Corso di laurea: Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering)
Classe di laurea: Nuovo ordinamento > Laurea magistrale > LM-32 - INGEGNERIA INFORMATICA
Ente in cotutela: BMW AG (GERMANIA)
Aziende collaboratrici: BMW AG
URI: http://webthesis.biblio.polito.it/id/eprint/22613
Modifica (riservato agli operatori) Modifica (riservato agli operatori)