Vous êtes sur la page 1sur 6

Modelo de Evaluacin de Calidad de Software

Basado en Lgica Difusa, Aplicada a Mtricas de


Usabilidad de Acuerdo con la Norma ISO/IEC 9126
Gustavo Alberto Ruiz, Alejandro Pea, Carlos Arturo Castro,
Angela Alaguna, Luz Mery Areiza y Rafael David Rincn
UNIVERSIDAD DE SAN BUENAVENTURA, Medelln.

gustavo.ruiz@usbmed.edu.co, juan.pena@usbmed.edu.co, carlos.castro@usbmed.edu.co,


carlsaga@epm.net.com, Imareiza@epm.net.co

Recibido para revisin May-2006, aceptado Jun-2006, versin final recibida Jun-2006

Abstract:

In this article it is developed and it analyze a computational model based on the concepts of the Fuzzy Logic that it will

allow the calculate the value of Usability to financial users of software developments based on the Norma ISO/IECE 9126-1:2.001, and
based on the Fuzzy model of Takagi Sugeno Kang. For this models development it becomes necessary to keep in mind a series of
attributes

that they qualify

the Usability according

to the Norma,

like they are:

Understanding,

Easiness of Learning ,

Attractiveness, Operability and Conformity. Later on to adjust on the part of the developer final users application, it will be necessary
to fix an Usability value and by means of use of a genetic algorithm to identify the most sensitive attributes, improving this way
the time of development and giving satisfaction to the final user.

1.

INTRODUCCIN

En este artculo se desarrolla y se analiza un


modelo comtacional basado en la lgica
borrosa, para el clculo
de la usabilidad del
software de acuerdo con una serie
de criterios de
calidad basados en la Norma ISO/IECE 91261:2.001. Este modelo surge como respuesta a la
necesidad de establecer criterios slidos de
evaluacin del software educativo en virtud del
incremento en la gene- racin del mismo. Si bien
la necesidad surge del campo especfico del
software educativo, la propuesta pretende ser
generalizada a la evaluacin del software en
general. Para ello se parte de la identificacin y
evaluacin de cinco atributos bsicos por parte del
usuario final como son: Comprensibilidad, facilidad
de Aprendizaje, Atrac- tividad, Operatividad y
Conformidad.
De los atributos definidos en la Norma, el de
usa- bilidad es especialmente problemtico por el
alto nivel
de subjetividad que presenta, por lo
cual se descarta al momento de hacer testing 1 de
calidad. Ello conduce a la no aceptacin por parte
de los usuarios de aplicaciones que cumplen con

Proceso a travs del cual se obtienen indicadores


de calidad con respecto a las caractersticas de un
producto evaluado, normalmente se realiza por medio de
una lista de chequeo.

todos los requerimientos funcionales y no


funcionales, debido a las dificultades propias de su
uso.
De acuerdo con lo anterior, se desarrolla un
modelo de evaluacin de calidad del software que
permite a
partir de la subjetividad de varios atributos
identifica-dos, calcular un valor de usabilidad
confiable. Para el desarrollo de este modelo se
utilizaron conceptos pro- pios de la lgica borrosa,
y en especial el modelo borroso del tipo Takagi
Sugeno Kang, el cual a partir de una
serie de
valores de pertenencia permite el clculo de un
valor para una variable de salida o variable a
controlar de manera analtica a partir de la
aplicacin de criterios estandarizados en la
evaluacin de la calidad del soft- ware.
Una vez que se obtiene el modelo, se hicieron
una
serie de encuestas a cada uno de los
usuarios finales de una determinada aplicacin y
de acuerdo con un valor
de usabilidad
preestablecido se estimaron una serie de
parmetros que permitieron identificar por parte de
ese usuario los atributos en los cuales la empresa
desarro- lladora se debera ajustar a las normas de
la ingeniera del software y de esta manera mejorar
la aplicacin de usuario final, disminuyendo as el
tiempo de desarrollo por parte de la empresa
encargada del mismo.

Av. Sist Inf., Vol 3 No. 2 pp. 25-29, Medelln, Diciembre 2006, ISSN 1657 -7663

Ruiz et al. Avances en sistemas e Informtica 3 (2) 2006 25 29


24
_____________________________________________________________________________________
_
En este artculo se plantea una caracterizacin
ge- neral en torno a la evaluacin del software y
cada uno
de los factores que afectan la misma.
Posteriormente se hace un anlisis de la usabilidad
para luego proponer un modelo de tipo borroso que
permita ajustar el valor de usabilidad a una serie
de factores identificados por parte modelo de tipo
borroso que permita ajustar el valor de usabilidad a
una serie de factores identificados por parte

caractersticas implcitas que se es- pera de todo


software
desarrollado
profesionalmente
(Anderson, 1992).
El estndar de la IEEE para la calidad de
software (Pressman, 2001) define el trmino
calidad el software como:

La totalidad de rasgos y caractersticas de un


pro- ducto de software que se refieren a su
habilidad
para
satisfacer
necesidades
especficas.

El grado en el cual el software posee una combinacin deseada de atributos.

IDENTIFICACIN DE CONCEPTOS
ADMINIS-
TRATIVOS DE LA CALIDAD DEL SOFTWARE

El grado en el cual un usuario o cliente percibe


que el software cumple con sus expectativas.

del usuario final de la aplicacin.


2.

La Calidad se determina en funcin de las


caractersticas que hacen competitivo a un
producto al satisfacer las necesidades implcitas y
explicitas de los usuarios fi- nales. Esto significa,
una responsabilidad hacia el cliente al suministrar
las especificaciones correctas. En esencia, se
definir la calidad como: satisfaccin de las necesidades y cumplimiento de las especificaciones y
fabri- cacin para cumplir con el propsito del
cliente. Entre otras los requisitos de calidad hacen
referencia al con- junto de requisitos expresados en
forma cuantitativa o cualitativa respecto a las
caractersticas de unos produc- tos. Para hacer
posible su realizacin y examen; los re- quisitos
pueden ser convenidos y basados a partir de las
necesidades del mercado interno de una
organizacin o de la sociedad, esto incluye
lgicamente
requisitos
jurisdiccionales
y
reglamentarios.
Un aspecto fundamental en la calidad, es la de
la gestin, la cual contempla la planificacin
( describe las operaciones que establecen los
objetivos y los requisitos de calidad del
producto, para el sistema de ase- guramiento de la
calidad); el control de calidad ( con
el
conjunto de acciones y tcnicas operacionales que
se usan para cumplir con los requisitos de calidad);
el ase- guramiento de la calidad ( centrado en
todas las activi- dades planificadas y sistemticas
implementadas dentro del sistema de calidad y
evidencias como necesarias
para asegurar los
requisitos de calidad) y El sistema de calidad
(compuesto por la estructura organizacional, los
procedimientos, procesos y recursos necesarios
para im- plementar la administracin de la calidad).
En el caso de la calidad de software, est se define como: La concordancia con los requerimientos
fun- cionales y de rendimiento explcitamente
establecidos, con los estndares de desarrollo
explcitamente docu- mentados y con las

Las
caractersticas
del
software
que
determinan el grado en el cual dicho software
en uso, cumple con las expectativas del
cliente.

Para Pressman (2001), se hace necesario


medir el software para indicar la calidad del
producto, evaluar la productividad de la gente que
lo desarrolla, evaluar los beneficios (en trminos de
productividad y de calidad) derivados del uso de
nuevos mtodos y herramientas de ingeniera del
software, establecer una lnea base para
estimacin, y ayudar a justificar el uso de nuevas
herramientas o de formacin adicional.
Las mtricas para la evaluacin del software
se pueden catalogar en mtricas de productividad
(enfo-cadas al rendimiento) de Calidad (enfocadas
al nivel de ajuste a los requisitos explcitos e
implcitos del cliente)
y Mtricas Tcnicas
(orientadas a caractersticas como complejidad, y
grado de modularidad, ms que en el pro- ceso de
desarrollo)
Las mtricas mencionadas, puede tener otra
clasifi- cacin: orientadas al tamao, la funcin y a
la persona. Las mtricas orientadas a la persona
facilita informa-cin sobre la manera como la gente
desarrolla software, adems de la efectividad de las
herramientas y mtodos utilizados. stas son
subjetivas pues dependen de las percepciones,
opiniones y juicios de las personas, pueden ser
cuantitativas o cualitativas, como se puede
observar de las de medidas subjetivas utilizadas en
un Test de usabilidad (IEE, 1983):

Facilidad
Facilidad
Facilidad
Facilidad
Facilidad
manual

de uso del producto


de aprender el producto
de hacer una determinada tarea
de instalar el producto
de encontrar informacin en el

Ruiz et al. Avances en sistemas e Informtica 3 (2) 2006 25 29


25
_____________________________________________________________________________________
_

3.

Facilidad de comprender la informacin


Utilidad de los ejemplos de ayuda

ANLISIS DEL CRITERIO DE USABILIDAD

Portabilidad: La capacidad que tiene un


producto
de software para ser transferido de
un ambiente a otro. Est compuesta por las
siguientes subcarac- tersticas: adaptabilidad,
instalabilidad, coexisten- cia, reemplazabilidad,
cumplimiento con la porta- bilidad.

La norma ISO/IECE 9126-1:2.00 categoriza los


atributos de calidad del software en seis
caractersticas: fun- cionalidad, confiabilidad, 4. MODELO BORROSO PARA LA EVALUACIN DEL
usabilidad,
eficiencia,
mantenibilidad
y
SOFTWARE
UTILIZANDO
MTRICAS
DE
portabilidad, las cuales se subdividen en subUSABILIDAD
caractersticas (IEE, 1983).
El primer desarrollo del modelo Takagi Sugeno Kang,

Funcionalidad: La capacidad que tiene un propara la evaluacin de software utilizando mtricas


ducto de software pare proveer funciones que de
usabilidad
constar
de
tres
partes
satis- facen necesidades
establecidas
e fundamentales:
implcitas, cuando el software es usado bajo
condiciones especficas.
Esta compuesta 1. Definicin de las variables lingsticas del
por las siguientes subcaractersticas:
Modelo.
apropiabilidad, exactitud, interoperabilidad y 2. Estructura del modelo Takagi Sugeno Kang
cumplimiento con la funcionalidad.
TSK.

Confiabilidad: La capacidad que tiene un 3. Ajuste por Evolucin y Autoadaptacin.


producto de software para mantener su nivel de 4.1. Definicin de las variables lingsticas del
Modelo.
desempeo cuando ste es usado en
condiciones especficas.
Esta compuesta por
Las variables lingsticas que se utilizan en el
las siguientes subcaractersti- cas; madurez,
modelo, estarn determinadas por cada uno de los
tolerancia
a
fallas,
recuperabilidad
y
atributos con- siderados por la Norma ISO/IEC
cumplimiento con la confiabilidad.
9126-1 del 2001, para mtricas de usabilidad como

Usabilidad: La capacidad que tiene un producto son: Comprensibilidad, Fa- cilidad de Aprendizaje,
de software pare ser entendible, aprendido, Atractividad, Operabilidad y Conformidad con la
utilizable y atractivo al usuario cuanto ste es Usabilidad. Cada uno de estos atri- butos estar
por una variable lingstica
con la
usado en condi- ciones especficas. Esta definido
compuesta por las siguientes subcaractersticas: siguiente estructura de cualidades como se
Comprensibilidad, facilidad de aprendizaje, muestra en la Tabla 1.

operabilidad, atractivo y cumplimiento con la


Tabla 1: Estructura de cualidades para las variables
usabilidad.
lingsticas del modelo
Eficiencia:
La capacidad que tienen un
X
a1
< b1
X c1
producto
de software para proveer el Variable
a1
X < b1
X < c1
desempeo apropiado relacionado a la cantidad Ling.
de
recursos
usados,
bajo
condiciones Mala
1
0
( b1 X ) 0
determinadas.
Esta
compuesta
por
las
siguientes subcaractersticas: comportamiento
( b1a1 )
en
el
tiempo,
utilizacin
de
recursos,
Regular
0
cumplimiento con la eficiencia.
( X a ) ( c X ) 0
1

Facilidad de Mantenimiento: La capacidad que


( b1a1 ) ( c 1b1 )
tiene un producto de software pare ser
modificado. Modificaciones
pueden incluir Buena
0
0
Xb1 1
correcciones, mejoras
o adaptacin del
c1 b1
software a los cambios de entorno, requisitos y
especificaciones funcionales. Esta com- puesta
por las siguientes subcaractersticas: trazaEstas cualidades y valores, estn de acuerdo
bilidad, facilidad de cambio, estabilidad,
facilidad
de ensayo, cumplimiento con la con la Norma, la cual define estos valores pero de
manera de- terminstica. Para el caso especfico del
facilidad de mantenimiento.
modelo borroso, estos conjuntos fueron definidos

26

Ruiz et al. Avances en sistemas e Informtica 3 (2) 2006 25 29


_____________________________________________________________________________________
_
mediante un conjunto de cualidades y utilizando un
factor de ponderacin inicial de acuerdo con la
importancia que cada usuario final o empresa le de
cada uno de los atributos de la aplicacin. Es de
aorar que si una cualidad no es importante para
el usuario final o empresa, entonces el intervalo de
los conjuntos Malo y Regular disminuye dando una
mayor posibilidad a que los conjuntos Bueno y
Excelente sean incluidos para el clculo de la
usabilidad.
Los valores asociados con cada una de las
variables lingsticas, estarn determinadas por la
representacin analtica de las mismas como se
muestra en la Tabla 2. Por su parte la Figura 1
muestra una representacin grfica de las
ecuaciones definidas en la Tabla 2.
Mala

Regular

entrada al mo- delo, los conjuntos borrosos sufrirn


un desplazamiento tanto a la derecha, en el caso
de mucha importancia, as como a la izquierda en
el caso de que se le de poca importancia a la
variable.
El movimiento de cada una de los conjuntos
borro- sos se describe a continuacin:
Lista numerada
1.

Se asigna un valor de importancia a cada una


de
las caractersticas a evaluar y se calcula
el promedio ponderado por porcentaje.

2.

Se identifica cual es el mayor o menor peso


dentro
del conjunto de entrada.

3.

Teniendo dichos pesos, es posible definir un


inter- valo entre el mayor peso (b) y el menor
peso (a) y para este se halla el valor medio (m).

4.

Se verifica cuales pesos de los definidos en el


tem 1, estn por encima y cuales por debajo
del valor medio hallado en el tem 3.

Buena

v
a
l
o
r 0

m=

Figura 1: Representacin grfica de las variables lingsticas


Tabla 2: Definicin analtica de las variables lingsticas.

0
45
60
75

Rango
60
75
90
100

Variable
Mala
Regular
Buena
Excelente

Cada una de las subcactersticas consideradas


en
el modelo poseer una estructura similar a
la mostrada en la Figura 1 y en la Tabla 2.
La conformacin de los conjuntos borrosos
asocia- dos con cada una de las subcaractersticas,
estarn de- terminados por una serie de encuestas
realizadas a los usuarios potenciales de una
aplicacin cualquiera, este valor estar dado entre
[0, 100%] y quedara definido por el nmero de
puntos que se le asigne a cada encuesta
que
evala cada subcaracterstica o atributo, por ejemplo para el caso de comprensibilidad la encuesta
ser de 17 preguntas, cada una con un puntaje de
10 puntos, lo que arrojar un intervalo de valores
entre [0, 1700]. De igual manera se har para cada
una de las otras variables del modelo.
De acuerdo con la importancia que cada
organi- zacin d a cada una de los atributos de

5.

( ba )
+a (1)
2

Los conjuntos borrosos en los cuales las


subcaractersticas tengan pesos por encima del
valor

medio,

se

desplazan

( ba )
2

unidades a la derecha del eje x y los que


tengan pesos por debajo del valor medio, se

( ba )
2

desplazan

unidades a la izquierda del

eje x.
4.2 Estructura del Modelo Takagi Sugeno Kang para
la Obtencin del Valor de Usabilidad.
El Sistema TSK Fuzzy tiene una estructura que se
mo- dela partir de la informacin de la definicin de
reglas de
la siguiente manera (Nielsen,
1990):

IF x 1 is C l1x n C ln
l

THEN y =c 0 +c 1 x 1 ++c n xn (2)


n

Ruiz et al. Avances en sistemas e Informtica 3 (2) 2006 25 29


27
_____________________________________________________________________________________
_
l

C2

Donde,

son los conjuntos Borrosos,

ci

es construido a partir de (5)


y de acuerdo
con la estructura de las siguientes reglas:

son constantes de la combinacin lineal de salida,

l=1,2, , M .

IF c isC f is F ais A

Aqu la parte IF de las reglas, es similar a los


sistemas Fuzzy convencionales, pero la parte THEN
es una combinacin lineal de las variables de
entrada
al
sistema.
Es
de
anotar
que

o is O pco is C O p (6)
p

THEN u =a1 c+ a2 f + a3 a+a 4 O+a5 co

x1 , x2 , , xn

x=

mientras

que

la

salida

del

sistema estar dada por

y V R

conjuntos difuy se

p
1

p
2

p
3

sistema.

son loso

son

las

p=1,2, , N

es

cons-

tantes

del

el

nmero

de

reglas del sistema.

y l wl

y= t=1M

sos de entrada al sistema.


p
5

a ,a ,a ,a ,a

describe en la ecuacin (3) (Nielsen, 1990):


M

p
4

C , F , A ,O ,CO

Donde,

(3)

4.3 Ajuste por Evolucin y Autoadaptacin

Para ajustar la aplicacin desarrollada, se fija un


valor
de usabilidad U cualquiera
t =1
dependiendo de la empresa y luego se evala el
modelo por cada uno de las personas
que van
Donde los pasos para la Combinacin Lineal a utilizar la aplicacin. A partir de este valor utipara la salida estn dados por la ecuacin (4) lizamos
un
algoritmo
de
tipo
genrico
(Nielsen, 1990):
(representacin bi- naria) que permita ajustar los

wl

w= u C ( x i ) (4)
i=1

l
i

valores de

a1p , a2p , a3p , a4p , a5p

al valor de

usabilidad fijado de la siguiente manera (Takagi &


Sugeno, 1985);

Para el desarrollo del modelo Fuzzy-Usability, es


a1p
a2p
a3p
a p4
a5p
necesario inicialmente determinar las variables de
entrada y salida a considerar del sistema,
para luego realizar una identificacin del Figura 2. Estructura al individuo a evolucionar
sistema teniendo en cuenta la siguiente estructura:
Los valores ms altos obtenidos de esta
estimacin, ayudarn a identificar los factores que
u=f ( c , fa , a , o , co ) (5)
ms afectan la aplicacin desarrollada y se genera
un proceso de re- limentacin por parte del usuario
final a la empresa desarrolladora, para generar un
Donde: u es el valor de usabilidad para el
ajuste significativo del aplicativo al hacer nfasis
de manera particular en un atributo en particular y
c
software,
es la comprensibilidad
para las necesidades especficas de un usuario
final.
fa
de la aplicacin,
es la facilidad
de
5. CONCLUSIONES
a es la Atractividad, o es la
Aprendizaje,
1. La definicin de cada una de las variables
linguisti- cas del modelo y de cada uno de los
operabilidad y co es la conformidad.
conjuntos bo- rrosos, se ajustaron de manera
Ahora, si la salida depende de los valores de
general
a
la
Norma
con
algunas
entrada
al sistema, se obtiene la funcin
modificaciones, dadas especficamente por el
de TSK Fuzzy. Especifi- camente, un TSK Dinmico

28

Ruiz et al. Avances en sistemas e Informtica 3 (2) 2006 25 29


_____________________________________________________________________________________
_
carcter cualitativo de los atributos que conforman el modelo.
2.

El modelo permiti mediante un proceso de


evo- lucin, identificar los factores ms
sensibles dentro
de la usabilidad de una
aplicacin para un usuario final determinado.

cualitativos un valor cuantitativo para la


variable de salida por medio del control TSK.

Referencias

Anderson, R. (1992). Social impacts of


computing: Codes of professional
ethics. Social Science Computing
3. La identificacin de los factores que afectan la
usabilidad,
permiten
a
la
empresas
Review.
desarrollado- ras centrarse en los aspectos
ms relevantes de la aplicacin, disminuyendo
de manera significativa el tiempo de desarrollo
en las mejoras que requiere un sistema.

IEE. (1983). IEE Glossary os Software


Engineering Terminology. (I. o.
engineers,
Ed.)
USA:
Product
Standard.
Nielsen,
J.
(1990).
"Ten
usability
heuritics".
Obtenido
de
http://www.useit.com/papers/heuris
tic/heuristic_list.html
Pressman, R. (2001). Ingeniera del
Software, un enfoque prctico (5a
edn ed.). Mxico McGraw Hill.
Takagi,
&
Sugeno.
(1985).
"Fuzzy
identification of systems and its
applications
to
moeling
and
control". (I. t. Systems, Ed.) Man
and Cybernetics.

4.

fijacin de un vr de usabilidad del sistema


y el ajuste de los pesos utilizando tcnicas
evoluti- vas, permite ajustar la funcin de
salida del TSK generando de esta manera un
modelo ajustable de tipo adaptativo a las
necesidades del cliente, lo que permite
adems mejorar el ciclo de vida de pro- ducto
y llegar hasta el desarrollo de un sistema PLM
(Product LifeCylce Managment) para el
desarrollo de software.

5.

A pesar del componente altamente cualitativo


del modelo, los resultados obtenidos se
ajustaron a las necesidades de los usuarios
finales al estimar a partir de valores