Control de calidad del software

1. Introduccin Las inspecciones de software surgen a partir de la necesidad de producir software de alta calidad. Algunos grupos de desarrollo creen que la calidad del software es algo en lo que deben preocuparse una vez que se ha generado el cdigo. Error ! La garanta de la calidad del software es una actividad de proteccin que se aplica a lo largo de todo el proceso de ingeniera de software. La SQA (Software Quality Assurance) engloba: 1. Un enfoque de gestin de calidad 2. Tecnologa de Ingeniera de Software efectiva (mtodos y herramientas) 3. Revisiones tcnicas formales que se aplican durante el proceso del software 4. Una estrategia de prueba multiescalada 5. Un control de la documentacin del software y de los cambios realizados 6. Un procedimiento que asegure un ajuste a los estndares de desarrollo de software 7. Mecanismos de medicin y de generacin de informes

El control de la calidad es una serie de revisiones, y pruebas utilizados a los largo del ciclo de desarrollo para asegurar que cada producto cumple con los requisitos que le han sido asignados. La garanta de calidad o aseguramiento de la calidad consiste en la auditoria y las funciones de informacin de la gestin. El objetivo de la garanta de la calidad es proporcionar la gestin para informar de los datos necesarios sobre la calidad del producto, por lo que se va adquiriendo una visin ms profunda y segura de que la calidad del producto est cumpliendo sus objetivos. Es de esperar, que si los datos proporcionados mediante la garanta de la calidad identifican problemas, la gestin afronte los problemas y aplique los recursos necesarios para resolverlos. La garanta de calidad del software comprende una gran variedad de tareas, asociadas con dos constitutivos diferentes: los ingenieros de software, que realizan trabajo tcnico, y un grupo SQA, que tiene la responsabilidad de la planificacin de garanta de calidad. En ste marco podemos ver a las inspecciones como una implementacin de las revisiones formales del software las cuales representan un filtro para el proceso de ingeniera de software, stas se aplican en varios momentos del desarrollo y sirven para detectar defectos que pueden as ser eliminados. Freeman y Weinberg argumentan de la siguiente forma la necesidad de revisiones: El trabajo tcnico necesita ser revisado por la misma razn que los lpices necesitan gomas: errar es humano. La segunda razn por la que necesitamos revisiones tcnicas es que, aunque la gente es buena descubriendo algunos de sus propios errores, algunas clases de errores se le pasan mas fcilmente al que los origina que a otras personas. El proceso de revisin es, por lo tanto la respuesta a la plegaria de Robert Burns: Que gran regalo sera poder vernos como nos ven los dems! Una revisin es una forma de aprovechar la diversidad de un grupo de personas para: 1. Sealar la necesidad de mejoras en el producto de una sola persona o de un equipo 2. Confirmar las partes del producto en las que no es necesaria o no es deseable una mejora. 3. Conseguir un trabajo de mayor calidad maximizando los criterios de Correctitud y Completitud principalmente .

Existen muchos tipos diferentes de revisiones que se pueden llevar adelante como parte de la ingeniera del software. Cada una tiene su lugar. Una reunin informal durante el almuerzo o en un caf es una forma de revisin, si se discuten problemas tcnicos. Una presentacin formal de un diseo de software a una audiencia de clientes, ejecutivos y personal tcnico es una forma de revisin. Sin embargo en ste trabajo nos concentraremos en una revisin tcnica formal, que llamaremos Inspeccin de Software

2. Impacto de los defectos del software en el costo Dentro del contexto de desarrollo de software, los trminos "defecto" y "fallo" son sinnimos. Ambos implican un problema de calidad descubierto despus de entregar el software a los usuarios finales. El objetivo primario de las revisiones tcnicas formales (inspeccin) es encontrar errores durante el proceso para evitar que se conviertan en defectos despus de la entrega del software. El beneficio obvio de estas inspecciones es el descubrimiento de errores al principio para que no se propaguen al paso siguiente del proceso de desarrollo del software (catarata de errores de Mizuno). Una serie de estudios (TRW, Nippon Electric y Mitre Corp., entre otros) indican que las actividades del diseo introducen entre el 50% y 65% de todos los errores (y en ltimo lugar, todos los defectos) durante el proceso de software. Si embargo se ha demostrado que las inspecciones de software son efectivas en un 75% a la hora de detectar errores. Con la deteccin y la eliminacin de un gran porcentaje de errores, el proceso de inspeccin reduce substancialmente el costo de los pasos siguientes en las fases de desarrollo y mantenimiento. Para ilustrar el impacto sobre el costo de la deteccin anticipada de errores, consideremos una serie de costos relativos que se basan en datos de costos realmente recogidos en grandes proyectos de software. Supongamos que un error descubierto durante el diseo cuesta corregirlo 1,0 unidad monetaria. De acuerdo a este costo , el mismo error descubierto justo antes de que comience la prueba costar 6,5 unidades; durante la prueba 15 unidades; y despus de la entrega, entre 60 y 100 unidades.

3. Amplificacin y eliminacin de defectos Se puede usar un modelo de ampliacin de defectos para ilustrar la generacin y deteccin de errores durante los pasos de diseo preliminar, diseo detallado y codificacin del proceso de ingeniera del software. Durante cada paso se pueden generar errores que pasan inadvertidos. La inspeccin puede fallar en descubrir nuevos errores y errores de pasos anteriores, produciendo un mayor nmero de errores que pasan inadvertidos. En algunos casos, los errores que pasan inadvertidos desde pasos anteriores se amplifican (factor de ampliacin x) con el trabajo actual. Veamos un ejemplo hipottico de la amplificacin de defectos en un proceso de desarrollo de software en el que no se lleva a cabo inspecciones. Se asume que cada paso descubre y corrige el 50% de los errores que le llegan, sin introducir ningn error nuevo (una suposicin muy optimista). Antes de que comience la prueba se han amplificado 10 errores del diseo preliminar a 94 errores. Al terminar quedan 12 errores latentes.

Consideremos las mismas condiciones pero llevando a cabo inspecciones del diseo y de la codificacin dentro de cada paso del desarrollo. En este caso los 10 errores del diseo preliminar se amplifican a 24 antes del comienzo de la prueba. Slo quedan 3 errores latentes. Recordando los costos asociados con el descubrimiento y la correccin de errores, se puede establecer el costo total (con y sin inspecciones para nuestro ejemplo hipottico). De acuerdo a la Tabla 1, se puede ver que el costo total para el desarrollo y el mantenimiento cuando se realizan inspecciones son de 783 unidades. Cuando no hay inspecciones, el costo total es de 2.177 unidades; casi 3 veces mas caro. Para llevar a cabo inspecciones, el equipo de desarrollo debe dedicar tiempo y esfuerzo, y la organizacin de desarrollo debe gastar dinero. Sin embargo, los resultados del ejemplo anterior no dejan duda de que hemos encontrado el sndrome de "pague ahora o, pague despus mucho mas". Las inspecciones producen un beneficio en costo demostrable. Si se cuenta con los recursos, deben llevarse a cabo . Tabla 1 Llevando a cabo inspecciones Errores encontrados Durante el diseo Antes de la prueba Durante la prueba Despus de la entrega Total Nmero 22 36 15 3 Costo unitario 1.5 6.5 15.0 67.0 Total 33 234 315 201 783

Sin llevar a cabo Inspecciones Errores encontrados Antes de la prueba Durante la prueba Despus de la entrega Total Nmero 22 82 12 Costo unitario 6.5 15.0 67.0 Total 143 1230 804 2177

A partir de lo expuesto , podramos resumir los beneficios comprobados al aplicar Inspecciones en : 1. Reduccin de los defectos en el uso del software 2. Reduccin de los recursos de desarrollo, sobre todo en las etapas de codificacin y prueba 3. Reduccin en los costos de mantenimiento correctivo

4. El proceso de inspeccin. Podemos ver a las inspecciones de software como un repaso detallado y formal del trabajo en proceso. Pequeos grupos de trabajadores (4 o 5) estudian el ""producto de trabajo"" independientemente y luego se renen para examinar el trabajo en detalle. El ""producto de trabajo"" representa 200 a 250 lneas de cdigo, Requerimientos, diseo y otros productos de trabajo son inspeccionados en un tamao similar. Los productos de trabajo son considerados en progreso hasta que la inspeccin y las correcciones necesarias estn completas. El tiempo de la inspeccin vara segn cuan familiarizado est el inspector con el material. La inspeccin consiste en seis pasos: 1. Planificacin: Cuando el desarrollador completa su un ""producto de trabajo"", se forma un grupo de inspeccin y se designa un moderador. El moderador asegura que el ""producto de trabajo"" satisfaga el criterio de inspeccin. Se le asignan diferentes roles a las personas que integran el grupo de inspeccin, as como la planificacin de tiempos y recursos necesarios. 2. Overview: Si los inspectores no estn familiarizados con el desarrollo del proyecto, un vista general es necesaria en ste momento. Este es un paso opcional, pero no menos importante ya que en esta etapa se dar al grupo de inspeccin un "background" y el contexto a cubrir por las inspecciones. 3. Preparacin: Los inspectores se preparan individualmente para la evaluacin en la reunin, estudiando los productos de trabajo y el material relacionado. Aqu es aconsejable la utilizacin de listas de chequeos para ayudar a encontrar defectos comunes, y . El tiempo que pueda llevar esta etapa va a depender de cuan familiarizado est el inspector con el trabajo que debe analizar. 4. Examen: En esta etapa, los inspectores se reunen para analizar su trabajo individual en forma conjunta. El moderador deber asegurarse que todos los inspectores estn suficientemente preparados. La persona designada como lector presenta el "producto de trabajo", interpretando o parafraseando el texto, mientras que cada participante observa en busca de defectos. Es recomendable que este examen no dure mas de 2 horas ya que la atencin en busca de defectos va disminuyendo con el tiempo. Al terminar con la reunin, el grupo determina si el producto es aceptado o debe ser retrabajado para una posterior inspeccin. 5. Retrabajo: El autor corrige todos los defectos encontrados por los inspectores. 6. Seguimiento: El moderador chequea las correcciones del autor. Si el moderador est satisfecho, la inspeccin est formalmente completa, y el "producto de trabajo" es puesto bajo el control de configuracin. A partir de estos seis pasos surge la necesidad de la conformacin de: objetivos, participantes de la inspeccin y con que roles, productos de trabajo a inspeccionar y cual deber ser el resultado de las reuniones de inspeccin. Objetivos: El principal objetivo es encontrar defectos en el "producto de trabajo", de esta manera debemos definir cuales sern las metas a alcanzar para el cumplimiento de ste objetivo. En nuestra opinin el establecimiento de stas metas estn en relacin directa con el tipo de proyecto, metodologas y herramientas utilizados Grupos de inspeccin: Se recomienda formar grupos entre 3 y 6 personas [IEEE STD 1028-1988]. Dentro de ste grupo debe incluirse al autor de los productos de trabajo. Roles: Adems del autor se deber tener en cuenta al moderador quien dirige la inspeccin y deber contar con mayor experiencia que el resto, el lector quien presenta los productos de trabajo en las reuniones y el escriba quien documenta la descripcin y ubicacin de los defectos encontrados.

Productos de trabajo: El proceso de inspeccin puede ser aplicado a diferentes tipos de productos de trabajo que pueden encontrarse en un desarrollo de software incluyendo requerimientos, diseo, cdigo, test, guas de usuario y otro tipo de documentacin. El estndar de la IEEE no especifica un tamao, pero los productos de trabajo tienen un tamao de 10 a 20 hojas para especificacin de requerimientos, 200 o 250 lneas de cdigo. En nuestra opinin tambin se debe tener en cuenta la divisin natural que pueda tener cada uno de estos documentos, ya que toda especificacin podremos dividirla en partes as como el diseo o el cdigo. Resultado de las reuniones de inspeccin: Los dos resultados principales debe ser: Una lista de defectos a corregir, y un reporte de inspeccin que describa que es lo que se inspeccion, quien inspeccion qu y el nmero de defectos encontrados.

Utilizando una notacin UML (Lenguaje unificado de modelado, de Booch-Rumbaugh-Jacobson), describiremos grficamente con un diagrama de actividades, y casos de uso el proceso de inspeccin.

Modelo de casos de uso

Infraestructura de soporte Adems de los actores que identificamos en el diagrama anterior, debemos tener en cuenta un nuevo actor ya que las inspecciones no ocurren espontneamente. Deben ser planeadas y soportadas por alguien, que tenga la responsabilidad de llevarlas adelante. Este nuevo actor es el llamado "coordinador de inspecciones de software". Cuyas tareas incluyen: 1. Aprender sobre inspecciones y convencer al proyecto de utilizarlas 2. Determinar en qu parte del proyecto deben ser utilizadas 3. Crear y documentar especficamente para cada proyecto los procedimientos de inspeccin as como los manuales de inspeccin 4. Organizar entrenamientos en el proceso de inspeccin manteniendo la documentacin y actualizacin de dicho entrenamiento 5. Recolectar datos de inspecciones en los proyectos para una base de datos de inspecciones 6. Analizar datos de inspecciones de distintos proyectos para hacer recomendaciones de mejoras en los procesos.

6. Conclusiones Definimos el marco en el que se aplican las inspecciones de software partiendo de la base de un desarrollo profesional del mismo en el cual lo principal ser la calidad de ste, estableciendo como criterios de calidad : Correctitud y Completitud como los principales e imprescindibles. De ste modo podemos afirmar que un software en el que se controle la calidad no puede dejar de lado un proceso de revisin formal del mismo, como podemos observarlo en las normas ISO o CMM del SEI, quizs con otro nombre pero contemplando los mismos objetivos. El proceso de inspeccin debe ser llevado a cabo por personas que conozcan tanto del dominio especfico, comprendiendo la SRS, as como la tecnologa aplicada a las soluciones que sern objeto de la inspeccin. A partir de ste background en el equipo de inspeccin, debern respetarse las etapas planteadas precedentemente, creando las condiciones necesarias para maximizar la sinergia que se produzca sobre todo en la etapa de "examen". Por ultimo si se decide incorporar inspecciones como parte del ciclo de vida del software a construir, no debe dejar de medirse el proceso para controlarlo e incorporarlo como feedback de los sucesivos proyecto