000035712 001__ 35712 000035712 005__ 20170831220834.0 000035712 037__ $$aGDOC-2014-2401 000035712 041__ $$aspa 000035712 100__ $$0(orcid)0000-0002-1279-0367$$aNogueras Iso, Francisco Javier 000035712 24500 $$930244$$aVerificación y validación 000035712 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2014-2015 000035712 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. 000035712 521__ $$9148$$aGraduado en Ingeniería Informática 000035712 540__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000035712 700__ $$0(orcid)0000-0002-6682-8383$$aLatre Abadia, Miguel Angel 000035712 830__ $$9439 000035712 8564_ $$s99271$$uhttps://zaguan.unizar.es/record/35712/files/guia.pdf$$yGuía (idioma español) 000035712 980__ $$aGDOC$$bIngeniería y Arquitectura$$c110