Programación lineal a través del método simple.docx

Pruebas del Software
Page history last edited by PBworks 3 years ago
Tema 4 - Pruebas del Software
 
Objetivos
* Cuáles son las alternativas para verificar y validar software
* Qué son las pruebas de software
* Conocer la utilidad de las pruebas unitarias
* Conocimientos básicos de cómo hacer pruebas unitarias
* Idea básica sobre desarrollo guiado por pruebas
 Contenidos
 
Conceptos fundamentales
 
Verificación:
 
* Consiste en responder a la pregunta: ¿Estamos construyendo el producto correctamente? Dada la especificación que hemos tomado del usuario ¿estamos construyendo bien el código? 
* ¿El resultado final del desarrollo software concuerda con la especificación (requisitos) del sistema? Hay que intentar asegurar que el desarrollo finalcoincide con dicha especificación
 
Validación:
 
* ¿Estamos construyendo el producto correcto?
* ¿El resultado final del desarrollo software se ajusta a lo que el usuario quería (sus necesidades)? En la mayoría de las ocasiones el producto desarrollado no casa con la ideas del cliente, normalmente porque a éste suele faltarle capacidad técnica de expresión.
 
¿Cómo llevar a cabo laverificación y validación? Métodos
 
*  Pruebas del software (Dinámico): consisten en ejecutar comprobando que distintos valores de entrada producen los resultados deseados.
* Métodos de inspección del software (Estático): se basan en la revisión de la documentación, requisitos, incluso código sin ejecutar nada. Esta tarea puede realizarse por un grupo de expertos por ejemplo.
* Hay untipo concreto de métodos estáticos llamados métodos formales. Éstos se basan en realizar una especificación llevada al extremo transformando el software a lenguaje matemático, donde no quedan ambigüedades y el código queda bien especificado.
* Otra forma de inspección del software es comprobando el código mediante heurísticas con algún programa que la aplica (P. ej.- Findbugs).
 
Pruebasdel software
 
Tipos de prueba (categorización)
 
* En función de qué conocemos:
* Pruebas de caja negra: no conocemos la implementación del código, sólo la interfaz. Tan sólo podemos probar dando distintos valores a las entradas y salidas.
* Pruebas de caja blanca: conocemos el código (la implementación de éste) que se va a ejecutar y podemos definir las pruebas que cubrantodos los posibles caminos del código.
* Según el grado de automatización:
* Pruebas manuales: son las que se hacen normalmente al programar o las que ejecuta una persona con la documentación generada durante la codificación (P. ej.- comprobar cómo se visualiza el contenido de una página web en dos navegadores diferentes).
* Pruebas automáticas: se usa un determinado softwarepara sistematizar las pruebas y obtener los resultados de las mismas (P. ej.- verificar un método de ordenación).
* En función de qué se prueba:
* Pruebas unitarias: se aplican a un componente del software. Podemos considerar como componente (elemento indivisible) a una función, una clase, una librería, etc. En nuestro caso, generalmente hablaremos de una clase como componente desoftware.
* Pruebas de integración: consiste en construir el sistema a partir de los distintos componentes y probarlo con todos integrados. Estas pruebas deven realizarse progresivamente.
* Pruebas funcionales: sobre el sistema funcionando se comprueba que cumple con la especificación (normalmente a través de los casos de uso).
* Pruebas de rendimiento: los tres primeros tipos depruebas de los que ya se ha hablado comprueban la eficacia del sistema. Las pruebas de rendimiento se basan en comprobar que el sistema puede soportar el volumen de carga definido en la especificación, es decir, hay que comprobar la eficiencia (P. ej.- Se ha montado una página web sobre un servidor y hay que probar qué capacidad tiene estado de aceptar peticiones).
* Pruebas de aceptación:...