Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
![]() |
![]() ![]() |
![]() BODYAN, Gh.. Microprocessor verification by syntactically-controlled generation of the test programs
. In: Meridian Ingineresc, 2011, nr. 2, pp. 60-67. ISSN 1683-853X. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Meridian Ingineresc | ||||||
Numărul 2 / 2011 / ISSN 1683-853X | ||||||
|
||||||
Pag. 60-67 | ||||||
|
||||||
![]() |
||||||
Rezumat | ||||||
În lucrare este analizată tehnica de sintetizare a algoritmilor
de generare stilistic şi sintactic controlată a programelor
de verificare a microprocesoarelor. Este prezentată
dependenţa dintre lungimea programelor de testare (pt) şi
repartiţia probabilităţilor asupra indicatorului (metricii)
de calitate a verificării modelului microprocesorului (mp). A fost efectuată verificarea mp prin testarea deterministă, aleatoare şi controlată. rezultatele experimentelor de testare au demonstrat vădit avantajul tehnicii propuse în comparaţie cu alte metode competitive de generare a testelor de verificare a microprocesoarelor şi sistemelor ”on-chip”. |
||||||
|