AO DE LA PROMOCIN DE LA INDUSTRIA RESPONSABLE Y

DEL COMPROMISO CLIMTICO

Universidad Nacional
San Luis Gonzaga de Ica
FACULTAD DE INGENIERIA DE SISTEMAS

VERIFICACIN DEL
REQUERIMIENTO
CURSO

: PRUEBAS DE SOFTWARE

INTEGRANTES

: CARDENAS PEA, Christopher.

ESPINOZA JAYO, Ricardo.
HUAMANI PALACIOS, Kevin
RODRIGUEZ AYBAR, Bryam
SOTELO ESPINO, Carlos

ICA - PER
2014

VERIFICACION DE REQUERIMIENTOS

DEDICATORIA
ESTE

TRABAJO

DEDICADO A

MONOGRFICO

EST

MIS COMPAEROS DE

CLASE, PARA QUE A TRAVS DE L SE

PUEDAN INFORMAR Y CONOCER MS
ACERCA DEL TEMA DE CICLOS DE VIDA
DEL SOFTWARE, Y AS MISMO PUEDA SER
DE

REFERENCIA

PARA

OCASIONES

FUTURAS.

PRUEBAS DE SOFTWARE

VERIFICACION DE REQUERIMIENTOS

AGRADECIMIENTO
A MIS COMPAEROS DEL EQUIPO DE
TRABAJO, YA QUE GRACIAS A SU APORTE
DE INFORMACIN
CABO

EL

SE PUDO LLEVAR A

PRESENTE

TRABAJO

MONOGRFICO.
PRUEBAS DE SOFTWARE

VERIFICACION DE REQUERIMIENTOS

NDICE
CONTENIDO
Dedicatoria ............................................................................................................................................................................................... 2
Agradecimiento ...................................................................................................................................................................................... 3
ndice ......................................................................................................................................................................................................... 4
I.

INTRODUCCIN ........................................................................................................................................................................... 7

II.

Marco TERICO ............................................................................................................................................................................ 8

1. Qu es verificacin? ................................................................................................................................................................. 8
2. Diferencia entre Validacin y Verificacin......................................................................................................................... 8
Verificacin: ................................................................................................................................................................................. 8
Validacin:.................................................................................................................................................................................... 9
3. Qu es un Requerimiento?................................................................................................................................................. 10
a) Caractersticas ....................................................................................................................................................................... 10
b) Tipos......................................................................................................................................................................................... 10
Ambiente fsico ..................................................................................................................................................................... 11
Interfaces................................................................................................................................................................................. 11
Usuarios y factores humanos .......................................................................................................................................... 12
Funcionalidad ........................................................................................................................................................................ 12
Documentacin .................................................................................................................................................................... 12
Datos ........................................................................................................................................................................................ 13
Recursos .................................................................................................................................................................................. 13
Seguridad................................................................................................................................................................................ 14
Aseguramiento de la calidad .......................................................................................................................................... 14
c) Division .................................................................................................................................................................................... 14
Los requerimientos Funcionales .................................................................................................................................... 15
Los Requerimientos no Funcionales ............................................................................................................................ 15

III.

Verificacin del requerimiento ....................................................................................................................................... 15

1. Concepto.- .................................................................................................................................................................................. 15
2. Tcnicas ........................................................................................................................................................................................ 15
A. Comprobaciones de escritorio ...................................................................................................................................... 15

PRUEBAS DE SOFTWARE

VERIFICACION DE REQUERIMIENTOS
A.1. Concepto ........................................................................................................................................................................ 15
B. Walkthroughs ....................................................................................................................................................................... 18
B.1. Concepto ........................................................................................................................................................................ 18
B.2. Partes involucradas en un walkthrough ............................................................................................................. 18
B.3. Duracin ......................................................................................................................................................................... 19
B.4. Fases de un walkthrough ......................................................................................................................................... 19
C. Inspecciones .......................................................................................................................................................................... 19
C.1. Concepto ........................................................................................................................................................................ 19
C.2. Roles ................................................................................................................................................................................. 19
C.3. Etapas .............................................................................................................................................................................. 20
D. Diferencias entre Inspecciones y Walkthrough .................................................................................................. 21
IV.

CONCLUSIONES ................................................................................................................................................................... 22

V.

Recomendaciones .................................................................................................................................................................... 23

VI.

bibliografa ............................................................................................................................................................................. 24

PRUEBAS DE SOFTWARE

VERIFICACION DE REQUERIMIENTOS

ndice de Figuras
Figura 1. Lista de Requerimientos.................................................................................................................................................. 7
Figura 2. Cheklist .................................................................................................................................................................................. 8
Figura 3. Verificacin y Validacin son excluyentes ............................................................................................................... 9
Figura 4. Requerimientos de Ambiente Fsico ....................................................................................................................... 11
Figura 5. Sistemas Operativos en el mercado Actual .......................................................................................................... 11
Figura 6. Usuario usando un sistema de software ............................................................................................................... 12
Figura 7. Funcionalidad de un sistema ..................................................................................................................................... 12
Figura 8. Exceso de documentacin .......................................................................................................................................... 13
Figura 9. Inspeccin de Informacin.......................................................................................................................................... 13
Figura 10. Locked File ..................................................................................................................................................................... 14
Figura 11. . Diagrama de flujo de una suma ........................................................................................................................... 16
Figura 12. Tabla de Comprobacin de Escritorio ................................................................................................................. 17
Figura 13. Diferencia entre Inspeccin y Walkthrough ...................................................................................................... 21

PRUEBAS DE SOFTWARE

VERIFICACION DE REQUERIMIENTOS

I.

INTRODUCCIN

La verificacin de requerimientos es un proceso muy importante a la hora de desarrollar

software, pero muchas veces esta se deja de lado o se le dedica menos tiempo, en
comparacin con otras tareas del proyecto.
En el presente trabajo damos a conocer conceptos bsicos sobre verificacin y su diferencia
con el trmino 'validacin', as como tambin definimos lo que son los requerimientos, para
luego adentrarnos en lo que es la verificacin de requerimientos propiamente dicha.
En la verificacin de requerimientos estudiamos las distintas tcnicas que se usan para
llevarla a cabo. Entre estas tcnicas tenemos: las comprobaciones de escritorio, los
walkthroughs y las inspecciones.

Figura 1. Lista de Requerimientos

PRUEBAS DE SOFTWARE

VERIFICACION DE REQUERIMIENTOS

II.

MARCO TERICO

1. QU ES VERIFICACIN?

La verificacin es la comprobacin o examinacin de los procesos de desarrollo de un

producto, para comprobar si est construido en base a las especificaciones iniciales.
En la verificacin de un sistema comprobamos que este cumple con los requerimientos
funcionales y no funcionales que se le han especificado.

Figura 2. Cheklist
2. DIFERENCIA ENTRE VALIDACIN Y VERIFICACIN

La verificacin y la validacin aseguran que el software que se desarrolla est acorde a su

especificacin y cumple las necesidades de los clientes.
Muchas veces la diferencia entre estos conceptos no se entiende, es por eso que Barry W.
Boehm (1979) puso en claro, con pocas palabras, su diferencia:
VERIFICACIN: Comprueba que el producto cumple su especificacin inicial. Se
entiende con la pregunta Estamos construyendo correctamente el producto?

PRUEBAS DE SOFTWARE

VERIFICACION DE REQUERIMIENTOS

VALIDACIN: Es un proceso ms general. Comprueba que el producto satisface los

requerimientos del usuario. Se entiende con la pregunta Estamos construyendo el producto
correcto?
Para aclarar an ms la diferencia entre validacin y verificacin veamos un ejemplo:
Un sistema puede pasar la validacin, sin embargo, no pasa la verificacin. Es decir, cumple
con los requerimientos del usuario, con lo que l quera, cubre sus necesidades pero
internamente puede adolecer de graves detalles como: un precario diseo en la base de
datos; uso de un excesivo e innecesario nmero de lneas de cdigo, por desconocer las
potencialidades del lenguaje de desarrollo o de tcnicas avanzadas de programacin como
la POO y uso incorrecto en la BD de instrucciones propias del lenguaje de desarrollo, en
lugar de las sentencias adecuadas de SQL. Todo lo anterior son las especificaciones iniciales
que no se han cumplido.
Las dos utilizan mtodos de diseo de casos de prueba y estrategias de prueba, para la
validacin usamos Pruebas de Caja Negra (Grafos, particin equivalente y prueba de valores
lmites) para la verificacin empleamos Pruebas de Caja Blanca (Prueba de Camino crtico:
Grafo de flujo, complejidad ciclomtica; prueba de Condicin: ramificaciones, dominio,
operador relacional y de ramificacin; Prueba de Flujo de datos y Prueba de Bucles).

Figura 3. Verificacin y Validacin son excluyentes

PRUEBAS DE SOFTWARE

VERIFICACION DE REQUERIMIENTOS

3. QU ES UN REQUERIMIENTO?

Existen muchas definiciones de requerimientos, en el Glosario de la IEEE se presenta las

siguientes definiciones:
1) Una condicin o necesidad de un usuario para resolver un problema o alcanzar un
objetivo.
2) Una condicin o capacidad que debe estar presente en un sistema o componentes de
sistema para satisfacer un contrato, estndar, especificacin u otro documento formal.
3) Una representacin documentada de una condicin o capacidad como en (1) o (2).
Los requerimientos especifican qu es lo que el sistema debe hacer (sus funciones) y sus
propiedades esenciales y deseables.
La captura de los requerimientos tiene como objetivo principal la comprensin de los que los
clientes y los usuarios esperan que haga el sistema.
Un requerimiento expresa el propsito del sistema sin considerar cmo se va a implementar.
A) CARACTERSTICAS

Las caractersticas de los requerimientos mencionados en el estndar de Especificacin de

requerimientos IEEE830 los explica Shari Lawrence Pfleeger (2002). Los requerimientos deben
ser:
* CORRECTOS: Tanto el cliente como el desarrollador deben revisar los requerimientos
para asegurar que no tienen errores.
* CONSISTENTES: Dos requerimientos son inconsistentes cuando es imposible
satisfacerlos simultneamente.
* COMPLETOS: El conjunto de requerimientos est completo si todos los estados posibles,
cambios de estado, entradas, productos y restricciones estn descritos en alguno de los
requerimientos.
* REALISTAS: Todos los requerimientos deben ser revisados para asegurar que son
posibles.
B) TIPOS

PRUEBAS DE SOFTWARE

10

VERIFICACION DE REQUERIMIENTOS

Segn el estndar IEEE830, los documentos de definicin y especificacin de requerimientos

deben contemplar los siguientes aspectos resumidos por Pfleeger (2002) como se indica a
continuacin:
AMBIENTE FSICO

- Dnde est el equipo que el sistema necesita para funcionar?

- Existe una localizacin o varias?
- Hay restricciones ambientales como temperatura, humedad o interferencia magntica?

Figura 4. Requerimientos de Ambiente Fsico

INTERFACES

- La entrada proviene de uno o ms sistemas?

- La salida va a uno o ms sistemas?
- Existe una manera preestablecida en que deben formatearse los datos?

Figura 5. Sistemas Operativos en el mercado Actual

PRUEBAS DE SOFTWARE

11

VERIFICACION DE REQUERIMIENTOS

USUARIOS Y FACTORES HUMANOS

- Quin usar el sistema?

- Habr varios tipos de usuario?
- Qu clase de entrenamiento requerir cada tipo de usuario?
- Cun fcil le ser al usuario comprender y utilizar el sistema?

Figura 6. Usuario usando un sistema de software

FUNCIONALIDAD

- Qu har el sistema?
- Cundo lo har?
- Existen varios modos de operacin?
- Cmo y cundo puede cambiarse o mejorarse un sistema?
- Existen restricciones de la velocidad de ejecucin, tiempo de respuesta o rendimiento?

Figura 7. Funcionalidad de un sistema

DOCUMENTACIN
PRUEBAS DE SOFTWARE

12

VERIFICACION DE REQUERIMIENTOS

- Cunta documentacin se requiere?

- Debe estar en lnea, en papel o en ambos?
- A qu audiencia est orientado cada tipo de informacin?

Figura 8. Exceso de documentacin

DATOS

- Cul ser el formato de los datos, tanto para la entrada como para la salida?
- Cun a menudo sern recibidos o enviados?
- Cun exactos deben ser?
- Con qu grado de precisin deben hacerse los clculos?

Figura 9. Inspeccin de Informacin

RECURSOS

- Qu recursos materiales, personales o de otro tipo se requieren para construir, utilizar y

mantener el sistema?
PRUEBAS DE SOFTWARE

13

VERIFICACION DE REQUERIMIENTOS

- Qu habilidades deben tener los desarrolladores?

- Cunto espacio fsico ser ocupado por el sistema?
- Cules son los requerimientos de energa, calefaccin o acondicionamiento de aire?
- Existe un cronograma prescrito para el desarrollo?
SEGURIDAD

- Debe controlarse el acceso al sistema o a la informacin?

- Cmo se podrn aislar los datos de un usuario de los de otros?
- Cmo podrn aislarse los programas de usuario de los otros programas y del sistema
operativo?
- Con qu frecuencia deben hacerse copias de respaldo?
- Las copias de respaldo deben almacenarse en un lugar diferente?
- Deben tomarse precauciones contra el fuego, el dao provocado por agua o el robo?

Figura 10. Locked File

ASEGURAMIENTO DE LA CALIDAD

- Cules son los requerimientos para la confiabilidad, disponibilidad, facilidad de

mantenimiento, seguridad y dems atributos de calidad?
- Cmo deben demostrarse las caractersticas del sistema a terceros?
- El sistema debe detectar y aislar defectos?
- Cul es el promedio de tiempo prescrito entre fallas?
-Existe un tiempo mximo permitido para la recuperacin del sistema despus de una falla?

C) DIVISION

PRUEBAS DE SOFTWARE

14

VERIFICACION DE REQUERIMIENTOS

Los requerimientos se pueden dividir en funcionales y no funcionales, a continuacin se

definen:
LOS REQUERIMIENTOS FUNCIONALES

Los requerimientos funcionales definen, precisamente, las funciones que el sistema ser
capaz de realizar. Describen las transformaciones que el sistema realiza en las entradas para
producir salidas y especifican los servicios que debe proporcionar la aplicacin (por ejemplo,
la aplicacin debe calcular los gastos totales realizados en el mes actual).
LOS REQUERIMIENTOS NO FUNCIONALES

Los requerimientos no funcionales tienen que ver con caractersticas que de una u otra
forma puedan limitar el sistema (por ejemplo, el rendimiento, en tiempo y espacio, interfaces
de usuario, fiabilidad, robustez del sistema, mantenimiento, seguridad, portabilidad).

III.

VERIFICACIN DEL REQUERIMIENTO

1. CONCEPTO.-

La verificacin del requerimiento es una rigurosa demostracin de la concordancia del

cdigo fuente con las especificaciones dadas en primera instancia por el cliente.
Es la valoracin de los productos de trabajo, para determinar el apego a las especificaciones
de requisitos, la documentacin del diseo, los diversos principios generales de estilo,
estndares del lenguaje de instrumentacin, del proyecto, organizaciones y expectativas del
usuario.
2. TCNICAS
A. COMPROBACIONES DE ES CRITORIO
A.1. CONCEPTO

Una comprobacin de escritorio es una prueba muy til para entender que hace un
determinado algoritmo, sin necesidad que ponerlo en ejecucin en un software en
especfico.

PRUEBAS DE SOFTWARE

15

VERIFICACION DE REQUERIMIENTOS

En pocas palabras, una comprobacin de escritorio es una ejecucin a mano de un

algoritmo, donde vamos llevando registro de los valores que va tomando, por ejemplo una
variable, a lo largo del mismo.
La prueba de escritorio nos permite:

Saber si un algoritmo est bien hecho de acuerdo a las especificaciones iniciales.

Eliminar variables no necesarias
Crear variables faltantes
Usar los bucles adecuados
Saber si algn paso o instruccin no est en el orden correcto
Saber si los pasos o instrucciones que se repiten lo hacen ms o menos veces de lo
debido
Reconocer otros errores que pueden presentarse

Veamos un ejemplo de una prueba de escritorio en accin:

Figura 11. . Diagrama de flujo de una suma

PRUEBAS DE SOFTWARE

16

VERIFICACION DE REQUERIMIENTOS

De acuerdo a ese diagrama y a nuestro pseudocdigo, haramos la siguiente comprobacin:

Inicio
num1: Entero
num2: Entero
Suma: Entero
Leer num1
Leer num2:

//3
//5

Suma = num1 + num2 //8

Mostrar suma

//8

Fin

Los resultados de la comprobacin de escritorio se pueden documentar en una tabla para

una fcil referencia. Hay muchas formas de presentar la informacin en tablas.

Figura 12. Tabla de Comprobacin de Escritorio

Una comprobacin de escritorio es realizada antes de que el algoritmo sea codificado.

PRUEBAS DE SOFTWARE

17

VERIFICACION DE REQUERIMIENTOS

La comprobacin de escritorio no se utiliza tan frecuentemente como se haca hace unos

aos. Muchos controles a los programas se realizan en pantalla o con sistemas de
depuracin avanzados, reduciendo la necesidad de bolgrafo y papel.

B. WALKTHROUGHS
B.1. CONCEPTO

Walkthrough es una reunin de revisin, donde una persona o varias examinan el cdigo de
otro.
Su funcin principal no es establecer ninguna clase de intercomunicacin entre partes, como
parece que debera de ser el objetivo de una reunin, sino que lo que pretende es establecer
una evaluacin del trabajo de una persona por parte del Equipo de Proyecto.
Por lo general, un Walkthrough se convoca cuando un miembro del Equipo (normalmente
un programador) considera que una parte de su trabajo est completa y puede ser revisada.
En este momento, invita a otros miembros del Equipo para que revisen su trabajo y le
ayuden a detectar errores potenciales. Esta es la labor fundamental de un walkthrough: la
deteccin de errores. Por tanto debe de evitarse por todos los medios el utilizarlo para otros
propsitos, (como por ejemplo evaluar a los programadores) que indudablemente
invalidaran los resultados.
B.2. PARTES INVOLUCRADAS EN UN WALKTHROUGH

PRUEBAS DE SOFTWARE

18

VERIFICACION DE REQUERIMIENTOS

Las personas involucradas en un walkthrough son:

-

La persona a ser revisada

El revisador o los revisadores
Un moderador
Un secretario,

Una persona puede realizar varias de estas funciones a la misma persona.

B.3. DURACIN

El tiempo mximo de un walkthrough suele estipularse en dos horas, pasado el cual est
comprobado que ya no se obtienen los resultados apetecidos de deteccin de errores.
B.4. FASES DE UN WALKTHROUGH

1. Planificacin: El moderador es quien organiza la reunin.

2. Preparacin individual: Cada revisor realiza la revisin.
3. Reunin del walkthrough: Reunin de mximo 2 horas, donde se muestran los errores
al revisado.
C. INSPECCIONES
C.1. CONCEPTO

Introducido por Michael Fagan de IBM en 1972, la inspeccin de software es una tcnica para
eliminar defectos lo ms tempranamente posible en el ciclo de vida del Software, siguiendo
un plan bien definido y detallado, para asegurar de que esa un proceso repetible y
mejorable.
Las inspecciones se llevan a cabo al final de cada una de las fases de desarrollo:
requerimientos, especificacin, diseo, implementacin, e integracin y testing.
C.2. ROLES

Los siguientes roles son utilizados en una inspeccin:

1. Autor: La persona que cre el producto que se inspecciona.
2. Moderador: Este es el lder de la inspeccin. El moderador tiene previsto la inspeccin
y coordina la misma.

PRUEBAS DE SOFTWARE

19

VERIFICACION DE REQUERIMIENTOS

3. Lector: La persona que lee a travs de los documentos, un elemento a la vez. Los
inspectores luego sealar los defectos.
4. Documentador: La persona que documenta los defectos que se encuentren durante la
inspeccin.
5. Inspector: La persona que examina el producto para identificar posibles defectos. El
Proceso
El proceso de inspeccin desarrollado por Michael Fagan en mediados de 1970 ha sido
posteriormente ampliado y modificado.
El proceso debe tener criterios de ingreso que determinan si el proceso de inspeccin est
listo para comenzar. Esto evita que los productos no terminados de trabajo entren en el
proceso de inspeccin. Los criterios de entrada podra ser una lista de comprobacin
incluyendo elementos tales como "Al documento se le ha revisado la ortografa".
C.3. ETAPAS

Las etapas en el proceso de las inspecciones son:

1. Reunin de Planificacin: La inspeccin se debe planear con anticipacin por un
moderador..
2. Informacin general: Se deben describir los antecedentes del producto.
3. Preparacin: Cada inspector examina el producto para identificar posibles defectos.
4. Reunin de inspeccin: Durante esta reunin, el lector lee parte por parte del
producto y los inspectores marcan de los defectos de cada parte.
5. Repeticin del trabajo y seguimiento: El autor realiza cambios en el producto de
acuerdo a los planes de accin de la reunin de la inspeccin. Tambin, Los cambios
del autor son revisados para asegurarse de que todo est correcto.
El proceso es finalizado por el moderador cuando satisface algunos criterios de salida
predefinidos.

PRUEBAS DE SOFTWARE

20

VERIFICACION DE REQUERIMIENTOS

D. DIFERENCIAS ENTRE INSPECCIONES Y WALKTHROUGH

Figura 13. Diferencia entre Inspeccin y Walkthrough

PRUEBAS DE SOFTWARE

21

VERIFICACION DE REQUERIMIENTOS

IV.

CONCLUSIONES

Es muy importante realizar procesos de verificacin del requerimiento, ya que estos, desde
las primeras etapas, nos dan una visin clara de cmo est avanzando el proyecto de
acuerdo a los requerimientos de los usuarios.
Ahora, podemos ver lo necesario que es entender las diferencias de conceptos entre
validacin y verificacin, y aplicar tcnicas como Comprobacin de escritorio, Walkthroughs
e inspeccin para examinar el avance de las especificaciones, con un bajo riesgo y un bajo
costo.

PRUEBAS DE SOFTWARE

22

VERIFICACION DE REQUERIMIENTOS

V.

RECOMENDACIONES

Cada proyecto es diferente, y deberamos ser capaces de seleccionar que tcnicas de

verificacin del requerimiento nos va convenir usar. Tambin debemos reconocer que
tcnicas como la comprobacin de escritorio, son tcnicas desfasadas en estas pocas y que
existe software de mucha ms calidad, que realizan el mismo proceso por nosotros, pero a
una gran velocidad.
Por esto es que debemos escoger bien las tcnicas que vayamos a usar.

PRUEBAS DE SOFTWARE

23

VERIFICACION DE REQUERIMIENTOS

VI.

BIBLIOGRAFA

http://www.fing.edu.uy/tecnoinf/mvd/cursos/ingsoft/material/teorico/is09-VerificacionValidacion.pdf
http://web.cua.uam.mx/publicaciones/Notas_Analisis_Requerimiento.pdf
http://dgsa.uaeh.edu.mx:8080/bibliotecadigital/bitstream/231104/415/1/Ingenieria%20de%20re
querimientos.pdf
http://www.qvision.us/index.php/es/servicios/gestion-de-requerimientos-desoftware/verificacion-de-requisitos
http://ldc.usb.ve/~teruel/ci4713/clases2001/testReqs.html
http://hustariz.cs.umss.edu.bo/algPruEscr.htm
http://www.ehowenespanol.com/comprobacion-escritorio-hechos_110680/
http://www.scaridad.com/sites/default/files/asignatura/descargas/tema_1__direccion_y_gestion_de_proyectos_software.pdf
http://www.reocities.com/ramonroque/slides_calidad_software.pdf
http://es.wikipedia.org/wiki/Inspecci%C3%B3n_de_software
http://hustariz.cs.umss.edu.bo/algPruEscr.htm

PRUEBAS DE SOFTWARE

24