Fichas de asignaturas 2016-17
![]() |
VERIFICACIÓN Y VALIDACIÓN DEL SOFTWARE |
![]() ![]() ![]() |
|
Asignatura |
![]() |
| |
Profesorado |
![]() |
| |
Competencias |
![]() |
| |
Resultados Aprendizaje |
![]() |
| |
Actividades Formativas |
![]() |
| |
Sistemas de Evaluación |
![]() |
| |
Contenidos |
![]() |
| |
Bibliografía |
![]() |
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
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 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 |
|
CB2 CB3 CB5 IS04 | |
Realización de ejercicios en clases de Teoría | Enunciados |
|
CG05 IS01 IS04 |
Realización de exámenes parciales escritos | Enunciados de los exámenes |
|
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 |
|
Procedimiento de calificación
Durante el período de impartición de la asignatura se va a realizar una evaluación continua del trabajo del alumno, en la que se valorarán tanto los conocimientos específicos y competencias adquiridos como las actividades realizadas. 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 las prácticas solicitadas. Actividades: Nota de las actividades realizadas 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. 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 la convocatoria de Febrero. 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 entrega 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 estos ejercicios no se puede realizar en otras convocatorias diferentes. Aquellos estudiantes que no aprueben la asignatura en la convocatoria de febrero podrán optar entre seguir siendo evaluados en convocatorias posteriores (junio y septiembre) por el mismo sistema de evaluación continua o por un sistema de evaluación global. La evaluación global consistirá en la realización de un examen final que constará tanto de actividades teóricas como prácticas. Los estudiantes que opten por seguir con la evaluación continua conservarán las partes aprobadas de la asignatura. Hay que tener en cuenta que las prácticas solo pueden entregarse en la convocatoria de febrero, si un estudiante no ha superado la parte práctica de la asignatura en dicha convocatoria tendrá que pasar necesariamente al sistema de evaluación global.
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; C. Sandler y T. Badgett. The Art of Software Testing. 3ª edición. Wiley. 2011.
- R.G. Pressman y B. Maxim. Software Engineering: A Practitioner’s Approach. 8ª edición. McGraw-Hill. 2014.
- I. Sommerville. Software Engineering. 10ª edición. Pearson. 2015.
- P. Ammann y J. Offutt. Introduction to Software Testing. Cambridge University-Press. 2008.
- S.L. Pfleeger y J. M. Atlee. Software Engineering: Theory and Practice. 4ª Edición. Pearson. 2009.
- B. Beizer. Software Testing Techniques. 2ª edición. Thomson. 1990.
- M. Kaufmann; P. Manolios y J S. Moore. Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers. 2000.
Bibliografía Específica
- IEEE Standard for Software and System Test Documentation. IEEE 829-2008.
- IEEE Standard Classification for Software Anomalies. IEEE 1044-2009.
- IEEE Approved Draft Standard for System, Software and Hardware Verification and Validation. IEEE 1012-2016.
Bibliografía Ampliación
- P.C. Jorgensen. Software Testing. A Craftsman’s Approach. 4ª edición. CRC Press. 2013.
- C. Kaner, J. Falk, H.Q. Nguyen. Testing Computer Software. 2ª edición. Wiley. 1999.
- W.E. Perry. Effective Methods for Software Testing. 3ª edición. Wiley. 2006.
- M. Kaufmann; P. Manolios y J S. Moore. Computer-Aided Reasoning: ACL2 Case Studies. Kluwer Academic Publishers. 2000.
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.