Pruebas de software

Qu se prueba?
Podemos dividir en 3 elementos principales las pruebas: los requisitos funcionales, los
requisitos no funcionales y el cdigo en s, es decir, la escritura o arquitectura que vaya
a tener el cdigo en el sistema informtico.
Los requerimientos funcionales seran por ejemplo los procesos de negocio, los
procesos de aceptacin y los casos de uso.
Los requerimientos no funcionales seran en cuanto a la calidad del software, es decir,
la compatibilidad, seguridad y dems que tendr este.
Cmo se prueba?
Las pruebas se pueden realizar de acuerdo a diferentes puntos de vista, en este
trmino estos puntos conocidos como cajas negra, gris y blanca.
Estas cajas, no son tcnicas en s mismas, sino que son abstracciones conceptuales,
es decir son trminos para describir el punto de vista.
La caja negra prueba los requerimientos funcionales, la caja gris prueba los
requerimientos no funcionales y la caja blanca prueba el trabajo del desarrollador sea el
cdigo, arquitectura, etc.
Qu tcnicas existen?
Existen dos tipos de tcnicas, primero tenemos las tcnicas de prueba funcionales:
1. Transicin de estados: hace nfasis en los cambios de estado de una aplicacin.
Por ejemplo cuando un estado pasa de no cargado a cargado.
2. Tablas de decisin: sirven para modelar escenarios complejos. Por ejemplo al
modelar procesos de diagnstico en empresas.
3. Aleatorio: simplemente genera datos aleatorios.
4. Combinacional: solo se toma en cuenta los elementos ms relevantes.
5. Comportamiento: tiene dos races para particin equivalente y lmites de prueba.
Por ejemplo al probar la altura que puede alcanzar una cometa como un lmite.
6. Orculos: tomamos una funcionalidad que tenemos que es cierta, y tomamos
una referencial parar compararla con la que se refiri que era cierta. Por ejemplo
Windows sera la funcionalidad que es cierta y sus aplicaciones son
referenciales.
Segundo, tenemos las tcnicas de prueba estructurales:

1. Mutacin: est basado en una tabla de operadores de mutacin, donde con un

cdigo buscamos un operador y lo reemplazamos en la arquitectura del software.
2. Inyeccin de fallos: se trata de ver la respuesta del programa ante fallos, como
por ejemplo insertar una fecha mala.
3. Esttico: tiene que ver con sintaxis, documentacin, etc.
4. Bloque: se trata de revisar los bloques en las lneas de cdigo, es decir tiene que
ver con la arquitectura del programa.
5. Cobertura de cdigo: es una mtrica que sirve para saber cunto hemos probado
del programa en funcin de ciertas caractersticas: Funcin, Lnea, Ruta y
Entradas/Salidas.
Qu debe cumplir el software en cuanto a calidad?
El software debe cumplir 3 estndares sistemticos de calidad: calidades manifiestas,
calidades operacionales y calidades evolutivas.
En calidades manifiestas, encontramos el rendimiento, el estrs (lmites del software en
cuanto a capacidad), la carga, la confiabilidad, la disponibilidad y la usabilidad del
software.
En calidades operacionales, encontramos la manageabilidad (facilidad de
administracin), la seguridad, la recuperacin, la compatibilidad y la testability (cunto
tiempo se demora el usuario encontrar una falla) del software.
En calidades evolutivas, encontramos la escalabilidad (cuanto se puede incrementar el
nmero de usuarios que manejen el software), la portabilidad y la globalizacin (de esta
salen dos ramas: la internalizacin que es traducir el software a diferentes regiones y la
localizacin) del software.