CONTENIDO

1. 2. 3. 4. 5. 5 6. Introduccin Medicin de especificaciones de requisitos Medidas basadas en modelos Arquitectura de gestin de calidad de ERS C Conclusiones l i Referencias

1. Introduccin

Medicin de la calidad del software en el mbito de la especificacin de requisitos

1. Introduccin

Calidad del software

Medicin del software: necesidad de obtener datos objetivos que ayuden a mejorar la calidad Creacin de modelos de calidad:tiles para d discutir, planificar l f y obtener b d ndices d de calidad ld d Aplicacin de estndares de calidad: directrices para el aseguramiento externo e interno de la calidad

JISBD2000

Medicin de la calidad del software en el mbito de la especificacin de requisitos

1. Introduccin

Los siguientes conceptos se han desarrollado tomando como base la experiencia de varias organizaciones

Pradigma P di para establecer t bl objetivos bj ti corporativos ti yd del l proyecto t y un mecanismo para medir dichos objetivos Paradigma Objetivos/Preguntas/Metricas Un mecanismo de mejora evolutiva para el software Paradigma Mejora de la Calidad Un enfoque q organizativo g p para construir competencias p de software y suministrarlas a los proyectos Factora de la experiencia

JISBD2000

Victor R. Basili

Medicin de la calidad del software en el mbito de la especificacin de requisitos

1. Introduccin

Necesitamos frameworks de medidas para: Caracterizar

Construir modelos comparativos y lneas base

Entender
Analizar modelos

E l Evaluar
Comparar modelos

Predecir
Construir modelos predictivos

Motivar
Construir modelos prescriptivos
JISBD2000

Victor R. Basili

Medicin de la calidad del software en el mbito de la especificacin de requisitos

1. Introduccin

Modelos M d l d de calidad: lid d Modelo de Boehm [Boehm et al., 1978] Modelo FCM (Factors/Criteria/Metrics) [McCall et al al., 1977] Marco ISO 9126 [ISO/IEC, 1991]: Paradigma GQM (Goal-Question-Metric) [Basili y Rombach, 1988]: Modelo de Gilb [ [Gilb, , 1988]: ] Modelo CMM (Capability Maturity Model) [Paulk, 1993]: Modelo SPICE (Software Process Improvement and Capability determination) [Rout, 1995], [SPICE, 1999]:
JISBD2000 7

Medicin de la calidad del software en el mbito de la especificacin de requisitos

1. Introduccin

C Caractersticas i d de l los modelos: d l Algunos modelos (FCM, GQM...) incluyen mtricas para evaluar diferentes atributos de calidad del producto casi siempre en el nivel del diseo o del cdigo Los L modelos d l d de calidad lid d ms recientes i t (CMM (CMM, SPICE) estn orientados a la mejora de procesos

Desafortunadamente, organizaciones que cumplen los requisitos CMM o ISO no estn p est produciendo oduc e do so software t a e de ca calidad dad
JISBD2000

David Cook

2. Medicin de especificaciones p de requisitos

Medicin de la calidad del software en el mbito de la especificacin de requisitos

2. Medicin de especificaciones de requisitos

Mtricas de especificacin de requisitos:

Tamao y funcionalidad:
Puntos de funcin [Albrecht [Albrecht, 1979] Mtrica Bang [DeMarco, 1982] Puntos objeto [Boehm et al., 1995]

Calidad
Mtricas basadas en especificaciones formales [Samson et al., 1990] Calidad C lid d de d las l especificaciones ifi i i informales f l en l lenguaje j natural [Samson y Palmer], [Finkelstein et al.] Mtricas de calidad de la documentacin [Arthur y Stevens, 1989] [French et al 1989], al., 1997] 1997], [Roth et al al., 1994] Listas de comprobacin [Brykczynski, 1999] [Farbey, 1990]
JISBD2000 10

Medicin de la calidad del software en el mbito de la especificacin de requisitos

2. Medicin de especificaciones de requisitos

Calidad en sistemas OO
Mtricas de diseo: [Chidamber y Kemerer, 1994] Mtricas orientadas a clases [Lorenz y Kidd 1994] Mtricas orientadas a operaciones [Churcher y Shepperd, 1995] Mtricas para pruebas [Binder, 1994] Mtricas de calidad y complejidad en modelos OMT [Genero et al al., 1999] Mtricas de calidad de los diagramas de clases en UML [Genero et al., 2000] Medicin M di i d de modelos d l conceptuales t l b basados d en eventos [Poels, 2000]

JISBD2000 11

Medicin de la calidad del software en el mbito de la especificacin de requisitos

2. Medicin de especificaciones de requisitos

Calidad en sistemas OO

Caractersticas de las mtricas:

Centradas en el diseo Dirigidas a la medicin de la complejidad, reusabilidad, acoplamiento y cohesin Enfocadas en el modelado estructural o esttico Las mtricas desarrolladas en niveles prximos a la especificacin ifi i d de requisitos i it d del l software ft (ERS) no miden id sus atributos de calidad (exceptuando las tcnicas formales)

JISBD2000

12

Medicin de la calidad del software en el mbito de la especificacin de requisitos

2. Medicin de especificaciones de requisitos

Atributos de la ERS:
Correccin: validacin de requisitos, modelos tcnicamente correctos correctos, etc etc. Completitud : grado en que los requisitos cumplen las necesidades de los usuarios Consistencia: ausencia de requisitos contradictorios Carencia de ambigedad: un nico requisito debe tener una nica interpretacin p ( (ortogonalidad g del lenguaje de especificacin) Trazabilidad: seguimiento de la evolucin de los requisitos Facilidad de comprensin

JISBD2000 13

Medicin de la calidad del software en el mbito de la especificacin de requisitos

2. Medicin de especificaciones de requisitos

Algunas caractersticas de la ERS dificultan la aplicacin de mtricas

Diferentes perspectivas de modelado

Es necesario contemplar mltiples notaciones

Evolucin
Hay que asegurar la consistencia de los cambios

Transformacin
Se requieren medidas de calidad que valoren la trazabilidad

Abstraccin
Es difcil medir directamente los atributos de calidad
JISBD2000 14

Medicin de la calidad del software en el mbito de la especificacin de requisitos

2. Medicin de especificaciones de requisitos

Necesidad de Modelos:
Minimizar la complejidad p j y relatividad inherentes al concepto calidad del software Manejar diferentes perspectivas de modelado Gestionar G la evolucin y asegurar la consistencia de los cambios Crear Factoras Factoras de la experiencia experiencia

JISBD2000

15

3. Medidas basadas en modelos

Medicin de la calidad del software en el mbito de la especificacin de requisitos

3. Medidas basadas en modelos

El xito en la medicin del software est ligado a la obtencin, definicin y manipulacin conjunta d d de dos modelos: d l Modelos empricos
Contexto C t t emprico i del d l mundo d real l
Modelos

numricos

F Formalizacin li i d de l las medidas did d del l contexto t t emprico

JISBD2000

17

Medicin de la calidad del software en el mbito de la especificacin de requisitos

3. Medidas basadas en modelos

Medida

Modelo emprico

Modelo numrico
Matemticas/ estadstica

Comprensin/ refinamiento

Resultado emprico

Interpretacin

Resultado numrico
18

JISBD2000

Medicin de la calidad del software en el mbito de la especificacin de requisitos

3. Medidas basadas en modelos

Meta-metamodelo Metamodelo Modelo
i j k

Modelo
I J K

Modelo de j jerarqua q g genrico q que recoge g los aspectos p evolutivos y/o de transformacin de dos modelos
JISBD2000 19

4. Arquitectura q de g gestin de calidad de ERS

Medicin de la calidad del software en el mbito de la especificacin de requisitos

4. Arquitectura de gestin de calidad de ERS

Objetivos:
Gestionar conjuntamente la calidad de dif diferentes t perspectivas ti d de modelado d l d Formular directamente objetivos de calidad y planes de medida Proporcionar una base para la automatizacin de las medidas Mantener registros de informacin histrica Proporcionar soporte para estudios empricos y construccin de modelos predictivos

JISBD2000 21

Medicin de la calidad del software en el mbito de la especificacin de requisitos

4. Arquitectura de gestin de calidad de ERS

Modelos en el mbito de los requisitos

Entorno de desarrollo

Meta metamodelo Lenguaje de modelado Modelos Instancias y escenarios

Ingeniera de mtodos Modelado conceptual Uso

Entorno de aplicacin 1

Entorno de aplicacin 2

Estructura de referencia ISO IRDS (Information Resource Dictionary System)

JISBD2000 22

Medicin de la calidad del software en el mbito de la especificacin de requisitos

4. Arquitectura de gestin de calidad de ERS

Basada en la arquitectura IRDS de cuatro capas :

Escenarios e instancias: contiene objetos no instanciables (datos, estados...) Modelos: representa las clases Metamodelos: nivel de lenguajes de modelado que define la estructura de las clases Meta metamodelo: Definicin de mltiples lenguajes de modelado

JISBD2000

23

Medicin de la calidad del software en el mbito de la especificacin de requisitos

4. Arquitectura de gestin de calidad de ERS

Modelo M2 Metamodelo

UML
Nombre: UML tipo: grfico n de notaciones: 9

Escenario

Modelo

CU-0
Aplicacin: contabilidad Nivel: contextual

Casos de uso
Diagrama: casos de uso Clasificadores: 2

JISBD2000

24

Medicin de la calidad del software en el mbito de la especificacin de requisitos

4. Arquitectura de gestin de calidad de ERS

Implementacin en un repositorio
Construccin de modelos empricos de entidades tid d medibles dibl Recuperacin de modelos y datos para realizar medidas Realizacin de anlisis de datos, presentacin e interpretacin de resultados Almacenamiento de modelos y resultados para uso futuro Automatizacin de la recoleccin de datos y aplicacin de mtricas

JISBD2000 25

Medicin de la calidad del software en el mbito de la especificacin de requisitos

4. Arquitectura de gestin de calidad de ERS

Repositorio
ME

Repositorio CASE

de gestin de Calidad

SGBD

Aplicacin 1
JISBD2000

Aplicacin p n
26

5. Conclusiones

Medicin de la calidad del software en el mbito de la especificacin de requisitos

5. Conclusiones

Construir modelos para:

ayudar a entender qu estamos haciendo proporcionar una base para definir objetivos proporcionar una base para la medicin

Construir modelos de:

gente, procesos, productos y estudiar sus interrelaciones

JISBD2000

28

Medicin de la calidad del software en el mbito de la especificacin de requisitos

5. Conclusiones

Usar modelos para

clasificar el proyecto en curso distinguir los entornos pertinentes del proyecto encontrar tipos de proyectos con caractersticas y objetivos similares

Los modelos proporcionan un contexto para:

Definicin de objetivos Objetos/experiencias Obj t / i i reutilizables tili bl Seleccin de procesos Evaluacin/comparacin Prediccion

JISBD2000 29

Medicin de la calidad del software en el mbito de la especificacin de requisitos

5. Conclusiones

El enfoque propuesto proporciona:

Un marco p para definir modelos de calidad y objetivos especficos del proyecto Un mecanismo para evaluar la calidad en las primeras fases del ciclo de vida Soporte para el registro y uso provechoso de experiencias p pasadas p Un medio para gestionar la evolucin y la consistencia de los cambios

JISBD2000 30

6. referencias

Medicin de la calidad del software en el mbito de la especificacin de requisitos

6. Referencias
Albrecht, A.J., Albrecht AJ Measuring application development, Proc. Proc of IBM Applications DevelopmentJoint SHARE/GUIDE Symposium, Monterey, CA, pp 83-92, 1979. Arthur, J.D. y Stevens, K.T. , Assessing the adequacy of documentation through document quality indicators, Proceedings of the IEEE Conference of Software Maintenance, pp. 40-49, 1989. Basili, V.R. Basili V R y Rombach, Rombach H.D., HD The TAME Project: Towards Improvement-Oriented Environments, IEEE Transaction on Software Engineering,14(6), 758-73 1988. Software

Basili, V.R. y Weiss, D., A Methodology for Collecting Valid Software Engineering data, IEEE Transaction on Software Engineering, 10 (6), 728-38 1984. Binder R., Binder, R Testing Object Object-Oriented Oriented Systems, American Programmer, Programmer 7(4), 7(4) 22 22-29 29, 1994. 1994 Boehm, B.W., Kaspar, J.R. y otros Characteristics of Software Quality, TRW Series of Software Technology, 1978. Boehm, B.W., Clark, B., Horowitz, E. et al., Cost Models for future life cycle processes: COCOMO 2.0, Annals of Software Engineering 1(1), pp 1 1-24, 24, 1995. Brykczynskki, B., A survey of software inspection checklist, ACM Software Engineering Notes, 24(1), pp 82-89, 1999. Chidamber, S.R. y Kemerer, C.F., A Metrics Suite for Object-Oriented Design ,IEEE Transactions of g g, 20(6), ( ), 476-493, , 1994. Software Engineering, Churcher, N.I. and Shepperd, M.J., Towards Conceptual Framework for Object-Oriented Metrics, ACM Software Engineering Notes, 20 (2), 67-76, 1995.

JISBD2000

32

Medicin de la calidad del software en el mbito de la especificacin de requisitos

6. Referencias
DeMarco, T., Controlling Software Projects, Yourdon Press, 1982. Dolado, J.J. y Fernndez, L. (coordinadores). Medicin para la Gestin en la Ingeniera del Software. Ra-ma, 2000. Farbey, B., Software Quality metrics: considerations about requirements specification, Information and Software Technology, 32 (1), pp 60-64, 1990. and requirements

Fenton, N.E. y Pfleeger, S.L., Software Metrics. A Rigorous & Practical Approach , PWS, 1997. French, J.C., Knight, J.C. y Powell, A.L., Applying hipertext structures to software documentation, Information Processing and Management, 33 (2), pp 219-231, 1997. Genero, M., Manso, M.E., Piattini, M. y Garca F.J. Assessing the quality and the Complexity of OMT Models 2nd European Software Measurements Conference-FESMA 99, Amsterdam, Netherlands, pp 99-109, 1999. Genero, M., Piattini, M. y Calero, C. Una propuesta para medir la calidad de los diagramas de clases en UML, IDEAS IDEAS2000 2000, Cancun, C M i Mxico, pp 373-384, 373 384 2000. 2000 Gilb, T. Principles of Software Engineering Management, Addison-Wesley, 1988. ISO/IEC "Information Technology - Information Resources Dictionary System (IRDS) - Framework", ISO/IEC intl. Standard edition, 1990. ISO/IEC 9126, 1991. Software Product Evaluation Quality Characteristics and Guidelines for their Use ,

JISBD2000

33

Medicin de la calidad del software en el mbito de la especificacin de requisitos

6. Referencias
Lorenz, M. and Kidd, J., Object_oriented Software Metrics, Prentice Hall 1994. McCall, J.A., Richards, P.K. and Walters, G.F. Factors in Software Quality, RADC TR-77-369, US Rome Air Development Center Reports NTIS AD/A-049 014, 015, 055, 1977. Paulk, M., Curtis, B., Chrissis, M., and Weber, C. Capability Maturity Model for Software: Version 1.1. Technical Report SEI-93-TR-24, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, 1993. Poels, G., On the measurements of event-based object-oriented conceptual models. 4th International ECOOP Workshop on Quantitative Approaches in Object Oriented Software Engineering, Cannes, France, , 2000. Roth, T., Aiken, P. y Hobbs, S., Hypermedia support for software developmemt: a retrospective assessment, Hypermedia, 6 (3), pp 149-173, 1994. Rout, T.P. Software Process Improvement and Practice, 1(1), pp 57-66, 1995. Samson, W.B., S W B Nevill, N ill D.G. D G Y Dugard, D d P.I., P I Predictive P di ti software ft M t i based Metrics b d on a Formal F l Specification, S ifi ti Software Engineering Journal, 5(1), 1990. SPICE, SPICE Document Suite, Software Process Improvement and Capability determination, , 1999.

JISBD2000

34