Resumen de Verificación de sistemas digitales: una panorámica

Salvador Bracho, José Manuel Solana Quirós, Eugenio Villar Bonet

• español

  Presentamos en este trabajo una panorámica de la situación actual del testing de sistemas digitales. Exponemos la importancia de la verificación a lo largo de las distintas etapas de la vida del sistema digital: diseño, producción y operación. Describimos brevemente los distintos tipos de fallos que se presentan en cada etapa así como la forma de modelarlos. Posteriormente efectuamos una revisión de las técnicas más importantes de la generación de la secuencia de test y análisis de las respuestas. Se destacan finalmente, aquellas técnicas cuya importancia futura parece mayor: diseño para testabilidad y testing funcional.

• English

  In this paper an overview of the "state of the art" in digital system testing is presented. The importance of testing at every stage of system's life: design, production and operation, is stressed. The differents suorces of failure in each stage as well as their modelling are analized. We reviews thereinafter, the most important techniques with more important perspectives: design for testability and functional testing.