| dc.contributor | Natividade da Silva Barros, Edna | |
| dc.creator | Otávio Piedade Prado, Bruno | |
| dc.date | 2014-06-12T15:52:22Z | |
| dc.date | 2014-06-12T15:52:22Z | |
| dc.date | 2009-01-31 | |
| dc.identifier | Otávio Piedade Prado, Bruno; Natividade da Silva Barros, Edna. IVM: uma metodologia de verificação funcional interoperável, iterativa e incremental. 2009. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009. | |
| dc.identifier | https://repositorio.ufpe.br/handle/123456789/1780 | |
| dc.description | A crescente demanda por produtos eletrônicos e a capacidade cada vez maior de integração
criaram sistemas extremamente complexos em chips, conhecidos como Systemon-
Chip ou SoC. Seguindo em sentido oposto a esta tendência, os prazos (time-to-market)
para que estes sistemas sejam construídos vem continuamente sendo reduzidos, obrigando
que muito mais funcionalidades sejam implementadas em períodos cada vez
menores de tempo. A necessidade de um maior controle de qualidade do produto
final demanda a atividade de Verificação Funcional que consiste em utilizar um conjuntos
de técnicas para estimular o sistema em busca de falhas. Esta atividade é a extremamente
dispendiosa e necessária, consumindo até cerca de 80% do custo final do
produto. É neste contexto que se insere este trabalho, propondo uma metodologia de
Verificação Funcional chamada IVM que irá fornecer todos os subsídios para garantir
a entrega de sistemas de alta qualidade, e ainda atingindo as rígidas restrições temporais
impostas pelo mercado. Sendo baseado em metodologias já bastante difundidas
e acreditadas, como o OVM e o VeriSC, o IVM definiu uma organização arquitetural e
um fluxo de atividades que incorporou as principais características de ambas as abordagens
que antes estavam disjuntas. Esta integração de técnicas e conceitos resulta em
um fluxo de verificação mais eficiente, permitindo que sistemas atinjam o custo, prazo
e qualidade esperados | |
| dc.format | application/pdf | |
| dc.language | por | |
| dc.publisher | Universidade Federal de Pernambuco | |
| dc.subject | Verificação Funcional | |
| dc.subject | SoC, Sistemas Digitais | |
| dc.subject | Cobertura Funcional | |
| dc.subject | OVM, VeriSC | |
| dc.title | IVM: uma metodologia de verificação funcional interoperável, iterativa e incremental | |
| dc.type | masterThesis | |
