REVISIONES DE SOFTWARE

Es un filtro la cual permite detectar errores y fallas para que puedan

ser as eliminados, se rene una persona o un equipo de trabajo la
cual se examina el software profundamente.
VARIEDADES DE REVISIN DEL SOFTWARE

Revisiones de par de software: son conducidos por el autor del

producto o algunos colegas para evaluar el producto

Revisiones de la gerencia de Software: Son conducidos por los

representantes de la gerencia para evaluar el estado del
trabajo.

Revisiones de la intervencin del software: Son conducidos por

el personal externo al proyecto de software para evaluar
conformidad con especificaciones y estndares.

Diversos tipos de Revisiones.

Revisin de cdigo

Programacin de grupo par.

Inspeccin

Revisin Tcnica

REVISIONES TCNICAS FORMALES

Es el filtro ms efectivos desde el punto de vista de la garanta de la
calidad, es un medio efectivo para mejorar la calidad, llevado a cabo
por los ingenieros del software, su objetivo es descubrir errores en la
funcin lgica, que alcance con sus requisitos, que tenga ciertos
estndares predefinidos, hacer que los proyectos sean manejables,
solo tendr xito si es bien planificada, controlada y atendida, las
revisiones tcnicas formales se centra en partes especifica no en
proyectos completos se centra especficamente por modulo o grupo

de modulo en estas circunstancias se puede descubrir o tener ms

probabilidad de descubrir errores.

GARANTIA DE CALIDAD DE ESTADISTICA:

La garanta de calidad estadstica refleja una tendencia,
creciente en toda la industria, a establecer la calidad ms
cuantitativamente. Para el software, la garanta de calidad
estadstica implica los siguientes pasos:
1. Se agrupa y se clasifica la informacin sobre los defectos
del software.
2. Se intenta encontrar la causa subyacente de cada defecto
(por ejemplo, no concordancia con la especificacin, error
de diseo, incumplimiento de los estndares, pobre
comunicacin con el cliente).
3. Mediante el principio de Pareto (el 80 por 100 de los
defectos se pueden encontrar en el 20 por 100 de todas
las posibles causas), se asla el 20 por 100 (los los pocos
vitales).
4. Una vez que se han identificado los defectos vitales, se
acta para corregir los problemas que han producido los
defectos.
5. Comienza en los aos 30s.
6. La calidad exige observar el proceso para mejorarlo.
7. Wafer Shewhart fue el primero en reconocer que en toda
produccin industrial se da variacin en el proceso.
8. No se pueden producir dos partes con las mismas
especificaciones debido a las diferencias en las materias
primas, las distintas habilidades de los obreros y el estado
del equipo y herramientas.
9. La mejora del proceso no es eliminar la variacin (es
imposible) sino limitar el rango de variacin a niveles
aceptables.
10.
Shewhart

desarrollo

tcnicas

estadsticas

para

determinar dichos lmites y graficas de control para

presentar los resultados.

11.

Se establecen tablas de muestreo basadas en el

concepto de niveles aceptables de calidad (AQL).

12.
Dado que es imposible inspeccionar todos los
productos. Se desarrollan tcnicas de muestreo.

Se

verifican cierto nmero de artculos de un mismo lote

para decidir si el lote entero es aceptable.
ENFOQUES FORMALES DEL SQA:
a) Verificacin formal de programas.
b) Aseguramiento de calidad estadstica.
c) Proceso de sala limpia (clean room), combina las dos
anteriores.
Una revisin tcnica formal (RTF) es una actividad de garanta
de calidad del software llevada a cabo por los ingenieros del
software (yotros. Los objetivos de la RTF son:
1. Descubrir

errore

en

la

funcin,

la

lgica

la

implementacin de cualquier representacin del software.

2. Verificar que el software bajo revisin alcanza sus
requisitos.
3. Garantizar que el software ha sido representado de
acuerdo con ciertos estndares predefinidos.
4. Conseguir un software desarrollado de forma uniforme y
5. Hacer que los proyectos sean ms manejables.
FIABILIDAD DEL SOFTWARE
La fiabilidad del software es el atributo relacionado con su
calidad que mas externamente se ha estudiado. Se puede
definir como la capacidad (o probabilidad ) de un sistema o
componente

para

ejecutar

las

funciones

requeridas

satisfactoriamente (sin fallos) bajo condiciones determinadas

(perfil operativo) en un periodo de tiempo especificado.
En realidad el objetivo mas habitual del estudio y la medicin
de la fiabilidad del softwarees resolver el problema de
predecir cuando podria fallar el sistema.

Uno de los supuestos que sirven como basede trabajo en el

estudio de la fiabilidad consiste en asumir que los fallos
ocurren probabilisticamente en el tiempo segn una tasa de
intensidad de fallo.
Una de las principales principales clases de modelos de
fiabilidadse basa en considerar que el numero de datos
observados en un intervalo de tiempo, esta generado por un
proceso de poisson.
Si se comprueba este supuesto, un proceso de poisson
homogeneo (modelo de intesnsidad de datos constante)
permite caracterizar el comportamiento de los fallos de un
programa en la fase de operacin y entre diferentes
versiones, en el caso de ausencia de depuracin y correccion
del software.
Por otro lado, un modelo de proceso poisson no homogneo
con una funcion de intensidad de fallos decrecientes (modelo
de habilidad creciente) es aplicable cuando se efectuan
correciones en el software en el momento en que se observa
un fallo, por ejemplo en la pruba del sistema.
Entre

las

metricas

empleadas

para

describir

el

comportamiento de software en cuanto a fiabilidad podemos

destacar las siguientes:
1. El tiempo medio hasta el siguiente fallo. (MTTF: mean
Time ToFallure).
2. El tiempo edio de reparacion del software. (MTTR:
Mean Time ToReapair).
3. El tiempo medio entre fallos (MTBF Mean Time
BetweenFallures) que se puede calcular como.
MTBF=MTTF+MTTR
La disponibilidad (D) de un sistema o probabilidad de que un
componente esta operando en un determinado momento se
puede conocer de la siguiente manera

Medidas de fiabilidad y de disponibilidad

La mayora de fiabilidad relativos al hardware van ms
orientados a fallos debidos al desajuste que a los fallos
debidos efectos de diseo. En el hardware, son ms
probables los fallos debido al desgaste fsico (por ejemplo:
de la temperatura, de la corrosin y los fallos relativos al
diseo).