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


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.

Relators: Maurizio Martina, Riccardo Cantoro
Academic year: 2019/20
Publication type: Electronic
Number of Pages: 63
Additional Information: Tesi secretata. Fulltext non presente
Corso di laurea: Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering)
Classe di laurea: New organization > Master science > LM-29 - ELECTRONIC ENGINEERING
Aziende collaboratrici: arm
URI: http://webthesis.biblio.polito.it/id/eprint/12539
Modify record (reserved for operators) Modify record (reserved for operators)