12.07.2015 Views

Libro en PDF - DIT - Universidad Politécnica de Madrid

Libro en PDF - DIT - Universidad Politécnica de Madrid

Libro en PDF - DIT - Universidad Politécnica de Madrid

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Complejidad y Tecnologías <strong>de</strong> la InformaciónSi el programa es a<strong>de</strong>más bastante gran<strong>de</strong>, la gestión <strong>de</strong> versiones se convierte<strong>en</strong> un problema no <strong>de</strong>spreciable. Afortunadam<strong>en</strong>te, ésta es una <strong>de</strong> las etapasdon<strong>de</strong> disponemos <strong>de</strong> más herrami<strong>en</strong>tas CASE, que nos pued<strong>en</strong> ayudar.3.5. PruebaEn esta fase hay que comprobar que las especificaciones se cumpl<strong>en</strong> perfectam<strong>en</strong>tey <strong>en</strong> todos los casos. En la realidad es prácticam<strong>en</strong>te imposible probar un programatotalm<strong>en</strong>te: por ello siempre suele quedar algún error escondido. Este problemase agrava cuando sobre él se realizan repetidos cambios y correcciones. Si no losgestionamos <strong>de</strong> un forma a<strong>de</strong>cuada po<strong>de</strong>mos acabar con un conjunto <strong>de</strong> parchesque más que soluciones aportan problemas.Actualm<strong>en</strong>te se están com<strong>en</strong>zando a utilizar técnicas <strong>de</strong> verificación y validacióncomo alternativa a la simple prueba <strong>de</strong> programas. Según Wallace y Fujii [Wallacey Fujii, 1989], la verificación y validación es una disciplina <strong>de</strong> ing<strong>en</strong>iería <strong>de</strong> sistemas,que int<strong>en</strong>ta evaluar el software <strong>de</strong>s<strong>de</strong> un punto <strong>de</strong> vista sistémico. Utiliza unaaproximación estructurada para analizar y probar el software <strong>en</strong> relación con todoslos aspectos <strong>de</strong>l sistema <strong>en</strong> el cual se incluye, y <strong>en</strong> especial con el hardware, losusuarios y las interfaces con otras piezas <strong>de</strong> software.I<strong>de</strong>alm<strong>en</strong>te, la verificación y validación se realiza paralelam<strong>en</strong>te al <strong>de</strong>sarrollo <strong>de</strong>software, durante todo su ciclo <strong>de</strong> vida (por lo que no <strong>en</strong>tra <strong>en</strong> el mo<strong>de</strong>lo <strong>en</strong>cascada, estrictam<strong>en</strong>te hablando), y pret<strong>en</strong><strong>de</strong> alcanzar los sigui<strong>en</strong>tes objetivos:a. Descubrir pronto errores <strong>de</strong> alto riesgo, dando al equipo <strong>de</strong> diseño la oportunidad<strong>de</strong> elaborar una solución a<strong>de</strong>cuada, evitando que se vea obligado aponer un "parche" si el error se <strong>de</strong>tecta <strong>de</strong>masiado tar<strong>de</strong>.b. Evaluar el ajuste <strong>de</strong> los productos <strong>de</strong>sarrollados a las especificaciones <strong>de</strong>l sistema.c. Proporcionar al equipo <strong>de</strong> gestión información actualizada sobre la calidad y elprogreso <strong>de</strong>l esfuerzo <strong>de</strong> <strong>de</strong>sarrollo.Éste <strong>de</strong> la verificación y validación es un campo don<strong>de</strong> se están realizando activasinvestigaciones, mi<strong>en</strong>tras comi<strong>en</strong>zan a obt<strong>en</strong>erse los primeros frutos.302

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!