polito.it
Politecnico di Torino (logo)

Software test library verification

Kevin Luciani

Software test library verification.

Rel. Maurizio Martina, Riccardo Cantoro. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2019

Abstract:

This thesis addresses topics faced during a 6-month internship within the ARM company located in Cambridge, UK. The aim of the project is the development of a Software Test Library (STL) for the Cortex-R5 processor. Such process can be split in two parts: the writing of the library itself, and the verification of the written code, which is the main focus of this document. The purpose of a STL is to detect faults in the hardware logic through the execution of a piece of software that can be run during the operational phase of the device without affecting the behaviour of the system. Ensuring the quality of the design and its conformity to the specifications is the objective of verification.

Relatori: Maurizio Martina, Riccardo Cantoro
Anno accademico: 2019/20
Tipo di pubblicazione: Elettronica
Numero di pagine: 63
Informazioni aggiuntive: Tesi secretata. Fulltext non presente
Soggetti:
Corso di laurea: Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering)
Classe di laurea: Nuovo ordinamento > Laurea magistrale > LM-29 - INGEGNERIA ELETTRONICA
Aziende collaboratrici: arm
URI: http://webthesis.biblio.polito.it/id/eprint/12539
Modifica (riservato agli operatori) Modifica (riservato agli operatori)