D1-5 - 240604 Vericacin y Validacin del Software o o 240604...

Info icon This preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
240604: Verificaci´ on y Validaci´on del Software 240604: Verificaci´ on y Validaci´ on del Software Transparencias de teor´ ıa Mikel Aldaz Zarag¨ueta & Federico Fari˜na Figueredo Departamento de Ingenier´ ıa Matem´ atica e Inform´ atica Universidad P´ublica de Navarra-Nafarroako Unibertsitate Publikoa April 30, 2014
Image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
240604: Verificaci´ on y Validaci´on del Software Presentaci´on Presentaci´ on Docentes Federico Fari˜na Figueredo (Fitxi); e-mail [email protected] Mikel Aldaz Zarag¨ueta; e-mail [email protected] Localizaci´ on: Departamento de Ingenier´ ıa Matem´ atica e Inform´ atica Tutor´ ıas Federico Fari˜na: Lunes de 10:30 a 13:30 Mi´ ercoles de 16:00 a 19:00 Mikel Aldaz: Lunes de 12:00 a 14:00 Jueves de 12:00 a 14:00 y de 15:30 a 17:30 Horarios de las clases Lunes de 19:30 a 21:30 Mi´ ercoles de 12:00 a 14:00
Image of page 2
240604: Verificaci´ on y Validaci´on del Software Presentaci´on ¿De que va esto?
Image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
240604: Verificaci´ on y Validaci´on del Software Presentaci´on ¿De que va esto? Extracto de la noticia: La compa˜n´ ıa cay´ o presa de un bug de software, que pro- bablemente volc´ o todas las ´ ordenes del d´ ıa en unos pocos minutos al comienzo de la sesi´ on, aunque las causas del denominado colapso tecnol´ ogico todav´ ıa no se han deta- llado. Todo ha quedado en un escueto sabemos que se hab´ ıa instalado un nuevo software y que algo fall´ o .
Image of page 4
240604: Verificaci´ on y Validaci´on del Software Presentaci´on Otros fallos famosos (http://www.genbetadev.com) Accidentes graves: La Mariner 1 (1962): Primera misi´ on de la NASA para so- brevolar Venus. El cohete dur´ o 5 minutos. Se desvi´ o de su trayectoria y fue destruido por sus responsables. El desv´ ıo se debi´ o a la omisi´ on de un gui´ on ’-’ en el programa de control. Therac-25 (1985-1987): La Atomic Energy of Canada Lim- ited (AECL) cre´ o una m´ aquina de radioterapia para entornos edicos. Hubo seis accidentes en los que los pacientes reci- bieron alta sobredosis de radiaci´ on. En las investigaciones se culp´ o al software tanto por el dise˜no (c´ odigo indocumentado e ilegible) como por fallos concretos detectados. MIM-104 Patriot (1991): Este misil antiaereo se usa para inter- ceptar misiles bal´ ısticos. En la Guerra del Golfo en 1991 un Scud iraqu´ ı mat´ o a 28 soldados al alcanzar un cuartel norteamericano ya que los Patriot fallaron. Se dictamin´ o que fue un error de software en el reloj del sistema: se hab´ ıa retrasado un tercio de segundo por haber estado activo 100 horas.
Image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
240604: Verificaci´ on y Validaci´on del Software Presentaci´on y m´ as accidentes graves Ariane-5 (1996): Misi´ on de la ESA. La lanzadera se desvi´ o y se parti´ o tras 40 segundos en vuelo. El sistema de referencia inercial trataba con datos de punto flotante de 64 bits pero convert´ ıa a 16 bits los valores enteros. En una de esas operaciones un valor demasiado grande provoc´ o un desbordamiento aritm´ etico en el hardware.
Image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern