Usted está aquí: Inicio web asignaturas

 

Fichas de asignaturas 2015-16


VERIFICACIÓN Y VALIDACIÓN DEL SOFTWARE

Asignaturas
 

  Código Nombre    
Asignatura 21714042 VERIFICACIÓN Y VALIDACIÓN DEL SOFTWARE Créditos Teóricos 2.5
Título 21714 GRADO EN INGENIERÍA INFORMÁTICA Créditos Prácticos 5
Curso   3 Tipo Obligatoria
Créd. ECTS   6    
Departamento C137 INGENIERÍA INFORMÁTICA    

 

Profesorado

Nombre Apellido 1 Apellido 2 C.C.E. Coordinador  
PEDRO DELGADO PEREZ BECARIOS DE INVESTIGACION N  
Juan José Domínguez Jiménez Profesor Titular Universidad S
Antonia Estero Botaro Profesor Titular Universidad S
Inmaculada Medina Bulo Titular de Universidad N
Francisco Palomo Lozano Profesor Titular de Escuela Univ. N  

 

Competencias

Se relacionan aquí las competencias de la materia/módulo o título al que pertenece la asignatura, entre las que el profesorado podrá indicar las relacionadas con la asignatura.

Identificador Competencia Tipo
CB2 Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio GENERAL
CB3 Que los estudiantes tengan la capacidad de reunir e interpretar datos relevantes (normalmente dentro de su área de estudio) para emitir juicios que incluyan una reflexión sobre temas relevantes de índole social, científica o ética GENERAL
CB5 Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía GENERAL
CG05 Capacidad para concebir, desarrollar y mantener sistemas, servicios y aplicaciones informáticas empleando los métodos de la ingeniería del software como instrumento para el aseguramiento de su calidad, de acuerdo con los conocimientos adquiridos según lo establecido en el apartado 5 de este anexo. GENERAL
CT1 Trabajo en equipo: capacidad de asumir las labores asignadas dentro de un equipo, así como de integrarse en él y trabajar de forma eficiente con el resto de sus integrantes TRANSVERSAL
IS01 Capacidad para desarrollar, mantener y evaluar servicios y sistemas software que satisfagan todos los requisitos del usuario y se comporten de forma fiable y eficiente, sean asequibles de desarrollar y mantener y cumplan normas de calidad, aplicando las teorías, principios, métodos y prácticas de la Ingeniería del Software. ESPECÍFICA
IS04 Capacidad de identificar y analizar problemas y diseñar, desarrollar, implementar, verificar y documentar soluciones software sobre la base de un conocimiento adecuado de las teorías, modelos y técnicas actuales ESPECÍFICA

 

Resultados Aprendizaje

Identificador Resultado
R5 Conocer distintos tipos de técnicas de prueba y su ámbito de aplicación
R1 Conocer los conceptos fundamentales de la prueba del software
R2 Conocer los conceptos fundamentales de la verificación del software
R3 Conocer los distintos niveles de prueba que se pueden realizar.
R4 Conocer y utilizar diversos tipos de herramientas para la prueba de software

 

Actividades formativas

Actividad Detalle Horas Grupo Competencias a desarrollar
01. Teoría
20
02. Prácticas, seminarios y problemas
10
03. Prácticas de informática
30
10. Actividades formativas no presenciales
Estudio de la asignatura
Realización de problemas, ejercicios y trabajos
de la asignatura
86
12. Actividades de evaluación
4

 

Evaluación

Criterios Generales de Evaluación

Los profesores valorarán la corrección y eficiencia de las soluciones
obtenidas, además de aspectos subjetivos como la presentación, claridad y
elegancia de su desarrollo en los que se incidirá durante todo el curso.

Se prestará especial atención a la capacidad del alumno para explicar las
soluciones desarrolladas claramente, con precisión, sin errores gramaticales ni
ortográficos. Una mera solución sin explicación o justificación podrá no ser
tenida en cuenta.

En el caso de programas de ordenador, estos deberán estar escritos conforme al
estándar en uso del lenguaje y poseer un comportamiento inequívocamente definido.

Los alumnos deben comprobar periódicamente el estado del curso en el campus
virtual, donde se publicarán con la debida antelación diversos materiales
docentes, convocatorias, calificaciones y, en definitiva, información vital para
el seguimiento de la asignatura.

En particular, los alumnos tienen la obligación de conocer las noticias
publicadas a través del tablón de anuncios virtual del curso, cuyos mensajes
sustituyen a los que tradicionalmente se colocaban en un tablón físico y que se
consideran la fuente oficial de comunicación de la asignatura.

Los alumnos son responsables de proteger sus ficheros y datos personales,
incluyendo sus contraseñas de acceso al correo electrónico y al campus virtual.

La copia total o parcial de exámenes o prácticas, así como cualquier otro tipo de
fraude detectado por los profesores, podrá ser motivo de SUSPENSO INMEDIATO EN
TODAS LAS CONVOCATORIAS del curso académico para todos los implicados, sea cual
fuere su papel. En particular, se informa de que las entregas electrónicas podrán
almacenarse durante un plazo de 5 años para ulteriores comprobaciones.

 

Procedimiento de Evaluación

Tarea/Actividades Medios, Técnicas e Instrumentos Evaluador/es Competencias a evaluar
Entrega de trabajos
  • Profesor/a
CB2 CB3 CB5 IS04
Realización de ejercicios en clases de Teoría Enunciados
  • Profesor/a
CG05 IS01 IS04
Realización de exámenes parciales escritos Enunciados de los exámenes
  • Profesor/a
CB2 CB3 CB5
Realización de examen final (solo aquellos alumnos que no superen la asignatura mediante el resto de actividades) Enunciado del examen final
  • Profesor/a

 

Procedimiento de calificación

Se va a realizar una evaluación continua del trabajo del alumno en la
asignatura en la que se valorarán los conocimientos específicos
adquiridos, las actividades realizadas a lo largo del curso y las competencias
especificadas anteriormente.


Los conocimientos específicos se evaluarán mediante exámenes que pueden ser de
distinto tipo y la entrega de ejercicios.

La nota final de la asignatura se obtendrá mediante la siguiente fórmula:

Nota final = 0,6 * Teoría + 0,3 * Prácticas + Actividades

donde:

Teoría: Nota media obtenida en los exámenes de teoría
Prácticas: Nota media obtenida en la realización de las prácticas solicitadas.
Las prácticas serán valoradas no sólo por su contenido, sino también por su
entrega en plazo y forma.
Actividades: Nota de entregables realizados a lo largo del curso. Esta nota
tendrá en cuenta la entrega en plazo y forma de las actividades realizadas tanto
en clase como en casa. Cada entregable realizado se valorará con 1 punto cuando
esté completo, si no lo está o no se ajusta al formato se valorará con 0,5
puntos. Los entregables podrán tener una puntuación múltiple cuando correspondan
a varias sesiones de trabajo.

La nota de Actividades se ajustará a la siguiente escala:

Si se obtiene entre el 100% y el 95% de la puntuación máxima = 1 punto
Si se obtiene entre el 95% y el 85% de la puntuación máxima = 0,75 puntos
Si se obtiene entre el 85% y el 75% de la puntuación máxima = 0,5 puntos

Para poder aplicar esta fórmula se deberá obtener una nota mínima de 4
puntos (sobre 10) en los componentes Teoría y Prácticas. Aquellos
alumnos que no alcancen esta nota tendrán la posibilidad a final de curso de
realizar un examen global de la parte de Teoría.

El componente de Teoría será el único que podrá
recuperarse en las convocatorias oficiales establecidas por la Universidad. Este
componente se
recuperará mediante una prueba final del mismo tipo de las realizadas a lo largo
del curso, cuyo contenido versará sobre el temario
correspondiente de esa parte de la asignatura.

La nota de Prácticas solo puede obtenerse mediante la realización de los
ejercicios prácticos que se hayan ido solicitando a lo largo del  período de
impartición de la asignatura. La entrega de las prácticas en convocatorias
diferentes a la propia del curso será penalizada de acuerdo a la siguiente
escala:
- Convocatoria de Febrero: 100% de la nota obtenida
- Convocatoria de Junio: 75% de la nota obtenida
- Convocatoria de Septiembre: 50% de la nota obtenida

La nota del apartado Actividades no se podrá recuperar.

 

Descripcion de los Contenidos

Contenido Competencias relacionadas Resultados de aprendizaje relacionados
            TEORÍA

Tema 1. Introducción.
Tema 2. Técnicas estáticas y dinámicas de verificación y validación.
Tema 3. Pruebas del software.
Tema 4. Verificación formal del software.

PRÁCTICAS

Pruebas funcionales
Pruebas de rendimiento
Pruebas de mutaciones
Verificación formal
        
CG05 IS01 IS04 R5 R1 R2 R3 R4

 

Bibliografía

Bibliografía Básica

  • G. J. Myers: "The Art of Software Testing" 3ª Edición. Wiley. 2012.

  • R.G. Pressman: "Software Engineering: A practitioner’s approach". 8ª Edición.M CGrawHill. 2014.

  • I. Sommerville: "Software Engineering". 9ª Edición. Addison-Wesley. 2010.

  • P. Ammann & J. Offutt: “Introduction to Software Testing”. Cambridge University-Press. 2008.

  • L. Pfleeger y J. M. Atlee: "Software Engineering: Theory and Practice". Segunda edición. 4ª Edición. Prentice Hall. 2009.
  • B. Beizer: "Software Testing Techniques" 2ª Edición. 1990

 

Bibliografía Ampliación

  • P.C. Jorgensen: "Software Testing. A Craftsman’s Approach". 2ª Edición. CRC Press, 2002.

  • C. Kaner, J. Falk, H.Q. Nguyen: "Testing Computer Software". Wiley, 1999.

  • W.E. Perry: "Effective methods for software testing". Tercera edición. Wiley. 2006.

  • IEEE standards: [IEEE-1012, 1998], [IEEE-1008, 1987] [IEEE-829, 1998] [IEEE-1044, 1993] [IEEE-1044.1, 1995]

 

 

El presente documento es propiedad de la Universidad de Cádiz y forma parte de su Sistema de Gestión de Calidad Docente. En aplicación de la Ley 3/2007, de 22 de marzo, para la igualdad efectiva de mujeres y hombres, así como la Ley 12/2007, de 26 de noviembre, para la promoción de la igualdad de género en Andalucía, toda alusión a personas o colectivos incluida en este documento estará haciendo referencia al género gramatical neutro, incluyendo por lo tanto la posibilidad de referirse tanto a mujeres como a hombres.