1

Calidad del Software

ITI Gestin
curso 2010/2011

Calidad del Software Medicin 2

Programa

1. Medicin y experimentacin en Ingeniera

del Software
Introduccin
Teora representacional de la medicin.
Experimentacin en Ingeniera del software.
2. Medidas del Producto
3. Modelos y mtricas del Proceso
4. Calidad del Software

M.E.Manso.

1
Calidad del Software Medicin 3

1. Medicin y Experimentacin
Bibliografa
[Dolado, J., 2000] Dolado COSN, J. J. & Fernndez SANZ, L.
"Medicin para la gestin en Ingeniera del Software". Ra-Ma. 2000.
Fernndez, L. Teora de la medicin del software
Es el texto recomendado para la asignatura, pues contiene
informacin y referencias muy valiosas sobre la medicin en I.
del Software.

[Fenton, N. 1997] Fenton, N. 1997. "Software quality assurance &

Measurement. A worldwide perspective". Second
edition.Chapman&Hall.
Texto recomendado para la parte de mtricas. Proporciona el
marco en el que desarrollar las actividades de medicin del
software y experimentacin.

M.E.Manso.

Calidad del Software Medicin 4

1. Objetivos del Tema 1

Manejar los conceptos bsicos de la teora representacional

de la medicin.
Conocer el papel de la medicin en Ingeniera del Software
(IS)
Conocer ideas bsicas de experimentacin y su utilidad en
IS
Conocer los problemas de la experimentacin en IS, y
algunas soluciones.

M.E.Manso.

2
Calidad del Software Medicin 5

1.1 Introduccin
Porqu medir?
IS: .. Aplicacin de principios de ingeniera...
para la produccin de Software de calidad
Humphrey, 1989

Medir el software es una tarea pendiente.

Hay que validar las mtricas que se utilizan.
Para medir se necesitan objetivos claros y
especficos que guen el proceso de medicin.
Se debe ser crtico: medir un atributo no garantiza que
la medicin sea satisfactoria.
M.E.Manso.

Calidad del Software Introduccin 6

Necesidad de Medir en I.S.

Los proyectos sin metas claras no podrn
alcanzar claramente las metas
Principio de Gilb de patrones difusos

Algunos ejemplos
Patrones de medida: son fciles de usar?
Comportamiento de los procesos: modelos?
Hay productos de los que se desconoce la calidad
Cmo garantizar su comportamiento al usuario?
Mercado con referencias anecdticas ...

M.E.Manso.

3
Calidad del Software Introduccin 7

Objetivos de la Medicin

Caracterizar Productos
Evaluar Procesos
Predecir Recursos
Mejorar
Medir para
Caracterizar, entender y establecer bases de referencia
Evaluar, conocer el estado actual, con respecto a una
referencia (desviaciones? % de cumplimiento? )
Predecir y as poder planificar
Identificar las oportunidades de mejora (Llegamos a los
M.E.Manso.
lmites? Se ha mejorado?...)

Calidad del Software Introduccin 8

Objetivos de la Medicin

Objetivos de Gestin Objetivos de Ingeniera

Coste de los procesos? Son contrastables los
Productividad del equipo? requisitos?
Bondad del cdigo Hemos probado y depurado
adecuadamente el producto?
desarrollado?
Hemos alcanzado los
Satisfaccin del usuario? objetivos?
Que ocurrir en el futuro?
Podemos predecir?

M.E.Manso.

4
Calidad del Software Teora medicin 9

1.2 Medicin y Medida (i)

Medicin: Proceso que permite asociar nmeros o
smbolos a atributos de entidades de un dominio del
mundo real, de forma que los describe de acuerdo a
reglas claramente especificadas Fenton, 1997

Medicin (measurement): aplicacin (mapping) desde el

mundo emprico real (dominio) al mundo formal (rango).
Medida (measure): nmero o smbolo asociado por la
aplicacin para representar el atributo de la entidad del
mundo real (un objeto, un suceso, una persona ...)l

M.E.Manso.

Calidad del Software Teora medicin 10

Medicin y Medida (ii)

Cunto debemos conocer de un atributo para considerar

que est medido?
Qu es la Complejidad del software?
Qu es la superficie de un terreno?
Cmo s que he medido realmente el atributo que
quera?
Es el n de errores una medida de la calidad del
software? Y si no cul es?

M.E.Manso.

5
Calidad del Software Teora medicin 11

Medicin y Medida (iii)

Ya disponemos del proceso de medicin

Qu aserciones podemos hacer sobre el atributo y las

entidades que lo poseen?

Ejemplo:
Superficie1=30Ha2 Superficie2=60Ha2
Calidad1=30 Calidad2=60
Cmo podemos comparar la calidad de dos diseos?
Tiene sentido hablar de doble calidad de diseo? Y de doble
superficie?

M.E.Manso.

Calidad del Software Teora medicin 12

Tipos de Validez
Validez Terica
Que axiomas cumple?
Que escala de medida tiene? ...
Validez emprica (experimentos)
Sirve para medir realmente el atributo?
Es un modelo de Prediccin vlido?
Cul de las dos interesa en IS?

M.E.Manso.

6
Calidad del Software Teora medicin 13

Fases de la Medicin Formal

Identificar atributos Identificar relaciones

de una entidad del empricas del
mundo real atributo

Identificar relaciones
Definir la aplicacin numricas para cada
del mundo real a R relacin emprica
Condicin
representacional
Comprobar que las relaciones
numricas preservan y son
preservadas por las empricas

M.E.Manso.

Calidad del Software Teora medicin 14

Teora Representacional de
la Medicin
La Medicin debe:
Representar adecuadamente los atributos a los que
se asocian nmeros o smbolos y
Preservar las relaciones que tienen los elementos,
objeto de la medicin.
Las manipulaciones en el sistema numrico o simblico
deben tener sentido en el mundo real.

M.E. Manso.

7
Calidad del Software Teora medicin 15

Tipos de Escala (i)

Nominal
Se clasifica cada entidad (Cdigo por lenguajes)
Permite cualquier biyeccin

Ordinal
Se clasifican las entidades en grupos ordenados
(Fallos: muy graves, graves, leves o cosmticos)

Permite cualquier aplicacin montona

M.E.Manso.

Calidad del Software Teora medicin 16

Tipos de Escala (ii)

De Intervalo
La diferencia existente entre un valor y
otro consecutivo en orden es siempre la
misma. Preserva diferencias.
grados Celsius o centgrados

Permite cualquier transformacin afn

M = a M+b

M.E.Manso.

8
Calidad del Software Teora medicin 17

Tipos de Escala (iii)

De Ratio
Cumple las condiciones de la escala de intervalo, y adems
hay un cero de referencia
(grados Kelvin, LDC de un programa)
Permite cualquier cambio de escala (M=aM / a>0)
Absoluta
Se mide siempre contando elementos y slo es posible una
representacin: el recuento real de elementos
Nmero de personas en un proyecto
Slo permite la Identidad M=M

M.E.Manso.

Calidad del Software Teora medicin 18

Tipos de Escala (iv)

Que se puede decir de las entidades medidas que
tenga sentido (Meaningfulness)?
Debe ser invariante frente a las transformaciones
propias de la escala.

El nmero de errores encontrados durante los test de

integracin fue de 100
El coste de depuracin de cada error en el programa X fue
de al menos 100
Un error semntico se depura en el doble de tiempo que
uno sintctico
M.E.Manso.

9
Calidad del Software Teora medicin 19

Ejemplo escala (i)

C={diagramas de flujo}
Atributo: complejidad
Medida: nmero de decisiones binarias V(G)
V(G1) = V(G2) G1 y G2 son igual de
complejos?

G1 G2

M.E.Manso.

20

Ejemplo escala (ii)

Tipo de Transformacin Operadores Ejemplos
Escala Admisible bsicos
Nominal Cualquier Determinacin de Etiquetas del tipo:
transformacin uno a igualdad Nombre de los lenguajes
uno
Perfil Profesional (Gestor,
Ingeniero de software,
Programador, etc.)
Ordinal y1 > y2 si x1 > x2 Las de arriba y Rankings y Ordenaciones:
mayor que,
menor que Prioridad y severidad

Niveles del CMM

M.E. Manso.

10
 21

Ejemplo escala (iii)

Tipo de Transformacin Operadores Ejemplos

Escala Admisible bsicos
Ratio Y= ax a>0 Las de arriba e Intervalos de tiempo
igualdad de ratios
Coste, esfuerzo, longitud
Absoluta Y=x Todos Contadores

Probabilidad

M.E. Manso.

Calidad del Software Teora medicin 22

Modelo Estructural (Kitchenham)

Mundoreal seaplicaa(1:1) Mundoformal

Entidad (amedir) Valor(medida)

posee(m:n) seexpresaen(1:1)

Atributo cuantifica Unidad

(dimensin) (m:n)
pertenecea(1:1)

Tipodeescala
M.E.Manso.

11
Calidad del Software Teora medicin 23

Mtricas del Software

Medida cuantitativa del grado en que un sistema,

componente o proceso posee un atributo dado
(IEEE, 1993).
Entidades software Medidas
Atributoj
Mtrica(entidadi)
E R
Regla de asignacin de valores a entidades

Qu mtricas conoce?
M.E.Manso.

Calidad del Software Teora medicin 24

Clasificacin de las Mtricas (i)

Directas / Indirectas
De atributos que son/no son mensurables directamente
Longitud de un cdigo fuente
Tiempo para desarrollar un programa.
Productividad de un programador.
Simples / Compuestas
Compuestas: tratan de capturar atributos cualitativos
por medio de medidas directas/indirectas que se
ponderan.
) Interpretacin, comparacin de resultados...
Objetivas o Subjetivas

M.E.Manso.

12
 25

Clasificacin de las Mtricas (ii)

Atributos externos, que dependen del comportamiento del
producto en un entorno determinado:
Usabilidad
Integridad
Eficiencia
Reusabilidad
Portabilidad
Atributos internos del producto:
Medidas de tamao (longitud del cdigo, funcionalidad
Medidas de diseo
Acoplamiento: grado de interdependencia entre mdulos
Cohesin: grado en el los componentes locales de un mdulo
colaboran para realizar una tarea concreta
.
M.E. Manso.

Calidad del Software Teora medicin 26

Clasificacin (Fenton-i)
Producto Atributo interno Atributo
externo
Especificaciones Tamao, reutilizacin, modularidad, Fcil de comprender,
redundancia, funcionalidad, sintaxis, fcil mantenimiento
correccin
Diseo Tamao, reutilizacin, modularidad, Calidad,
cohesin, acoplamiento, complejidad fcil
funcionalidad mantenimiento

Cdigo Tamao, reutilizacin, modularidad, Calidad,

cohesin, acoplamiento, complejidad fcil
funcionalidad, complejidad mantenimiento
algortmica...
Fiabilidad fcil uso
Test Tamao Cobertura Calidad

M.E.Manso.

13
Calidad del Software Teora medicin 27

Clasificacin (Fenton-ii)
Entidades Atributo interno Atributo externo
Procesos y Recursos
Construccin de T de esfuerzo, n de Calidad, Coste,
Especificaciones cambios Estabilidad

Diseo T de esfuerzo, n de errores Efectividad-Costes

en las especificaciones

Test T, Esfuerzo, N de errores Efectividad-Costes,

encontrados Fiabilidad, Estabilidad
Personal Edad, Coste Productividad,
Experiencia
Equipos Tamao, Nivel de Productividad, Calidad
Comunicacin
Software Precio, Tamao Usabilidad, Fiabilidad..

Hardware Precio, Memoria, Rapidez Fiabilidad

M.E.Manso.

28

Ejemplo de Medidas (i)

Recursos Atributos Medidas posibles
Tamao del equipo Nmero de personas asignadas

Personal asignado Experiencia Aos de experiencia en

programacin
Perfil profesional Perfil profesional (Jefe de proyecto,
Analista, Programador)

Tipo Nombre del tipo

Herramientas CASE
Se utiliza? Si/No
Fechas comienzo y fin Fechas del calendario
Tiempo
Duracin Das (laborables o de calendario).

Qu ESCALA tienen?
M.E. Manso.

14
 29

Ejemplo de Medidas (ii)

Producto Atributos Medidas posibles
Nmero de mdulos/programas
Nmero de puntos funcin
Tamao Nmero de unidades fsicas
Sistema Nmero de lneas fsicas de cdigo fuente
Nmero de bytes de memoria requeridos

Densidad de Nmero de defectos/mdulos, programas

defectos Nmero de defectos/puntos funcin
Lneas fsicas de cdigo fuente

Programa Longitud Sentencias lgicas de cdigo fuente

M.E. Manso.

30

Ejemplo de Medidas (iii)

Producto Atributos Medidas posibles
Nmero de caminos Complejidad de Mc cabe
Unidad LI

Documento Longitud Nmero de pginas

Tipo Nombre del tipo

Origen Lugar/actividad donde se localiz

Defectos Gravedad Clasificacin ordinal

Esfuerzo_Correccin Nmero de horas*personas

Tiempo_Correccin Das/Horas desde que se origina hasta

eliminacin
M.E. Manso.

15
 31

Ejemplo de Medidas (iv)

Proceso Atributos Medidas posibles
Duracin Das de Calendario o Laborables
Hitos Fechas
Esfuerzo_Desarrollo Horas, das, meses

Proceso de Nmero_desviaciones/proyecto
desarrollo
Cnformidad Nmero_desviaciones/fase
estndares
%finalizacin/duracin total proyecto
%finalizacin/esfuerzo total proyecto
Finalizacin
%finalizacin/ Tareas totales proyecto
Duracin Das de Calendario o Laborables
Diseo
Calidad Densidad de defectos
M.E. Manso.

32

Ejemplo de Medidas (v)

Proceso Atributos Medidas posibles
Volumen # casos planificados
# casos ejecutados
Pruebas
Progreso # casos superados
% de superados/planificados

Coste # Euros/ao
Mantenimiento
Esfuerzo # Das (horas)/ao
Volumen # cambios_solicitados en espera
Solicitudes de Nombre del estado de la solicitud
cambios Estado
Esfuerzo estimado (horas) para solicitudes
Esfuerzo pendientes
M.E. Manso.

16
Calidad del Software Teora medicin 33

Otras clasificaciones (i)

Medidas Intra e Intermodulares

Cohesin, Acoplamiento... Cmo se definen?

Clasificacin de Medidas de Complejidad

Tamao (LDC) Tamao es igual a Longitud?
De Flujo de Control (Mc Cabe)
De Flujo de Informacin ((Henry-Kafura)
Ciencia del Software (Volumen)

M.E.Manso.

Calidad del Software Teora medicin 34

Otras clasificaciones (ii)

Clasificacin en Orientacin al objeto (Zuse)

Diseo Implementacin
Sistema N Mtodos LDC
rboles Profundidad LDC
Clases N de Atributos LDC

Clasificacin terica (Zuse)

Por tipo de axiomas que cumplen

M.E. Manso.

17