000042176 001__ 42176 000042176 005__ 20170831221054.0 000042176 037__ $$aGDOC-2012-1729 000042176 041__ $$aspa 000042176 100__ $$0(orcid)0000-0002-1279-0367$$aNogueras Iso, Francisco Javier 000042176 24500 $$930244$$aVerificación y validación 000042176 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2012-2013 000042176 520__ $$aEsta asignatura persigue que el alumno profundice en la verificación y validación del software. Uno de los mitos que se trata de romper en esta asignatura es la determinación de los elementos que son susceptibles de ser probados. Las pruebas no tienen por qué limitarse al código fuente, sino que pueden llevarse a cabo en todo momento del ciclo de vida del producto software, y sobre todos los elementos que lo integran (requisitos, análisis, diseño, código fuente, interfaz persona-ordenador, procesos, …). Se muestra de esta manera al alumno la creciente tendencia a la creación de un ciclo de vida de las pruebas que corre en paralelo con el ciclo de vida de desarrollo de los productos software. Además, se hará un especial énfasis en la automatización de las pruebas y en las herramientas que soportan esta automatización. 000042176 521__ $$9148$$aGraduado en Ingeniería Informática 000042176 540__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000042176 700__ $$0(orcid)0000-0002-6682-8383$$aLatre Abadia, Miguel Angel 000042176 830__ $$9439 000042176 8564_ $$s113729$$uhttps://zaguan.unizar.es/record/42176/files/guia.pdf$$yGuía (idioma español) 000042176 980__ $$aGDOC$$bIngeniería y Arquitectura$$c110