Test coverage evaluation is one of the most critical issues in microprocessor software-based testing. Whenever the test is developed in the absence of a structural model of the microprocessor, the evaluation of the final test coverage may become a major issue. In this paper, we present a microprocessor modeling technique based on entity-relationship diagrams allowing the definition and the computation of custom coverage functions. The proposed model is very flexible and particularly effective when a structural model of the microprocessor is not available.

Using ER Models for Microprocessor Functional Test Coverage Evaluation / Benso, Alfredo; DI CARLO, Stefano; Prinetto, Paolo Ernesto; Savino, Alessandro; Scionti, A.. - STAMPA. - (2008), pp. 139-142. (Intervento presentato al convegno IEEE 11th International Biennial Baltic Electronics Conference (BEC) tenutosi a Tallinn, EE nel 6-8 Oct. 2008) [10.1109/BEC.2008.4657498].

Using ER Models for Microprocessor Functional Test Coverage Evaluation

BENSO, Alfredo;DI CARLO, STEFANO;PRINETTO, Paolo Ernesto;SAVINO, ALESSANDRO;
2008

Abstract

Test coverage evaluation is one of the most critical issues in microprocessor software-based testing. Whenever the test is developed in the absence of a structural model of the microprocessor, the evaluation of the final test coverage may become a major issue. In this paper, we present a microprocessor modeling technique based on entity-relationship diagrams allowing the definition and the computation of custom coverage functions. The proposed model is very flexible and particularly effective when a structural model of the microprocessor is not available.
2008
9781424420599
File in questo prodotto:
File Dimensione Formato  
2008-BEC-ER-AuthorVersion.pdf

accesso aperto

Descrizione: Manuscript author version
Tipologia: 2. Post-print / Author's Accepted Manuscript
Licenza: PUBBLICO - Tutti i diritti riservati
Dimensione 5.02 MB
Formato Adobe PDF
5.02 MB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/1870166
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo