Comments on: Complejidad ciclomática, o la métrica esencial para evaluar el diseño software http://www.javiergarzas.com/2007/10/complejidad-ciclomtica-o-la-mtrica.html Tue, 07 Feb 2012 11:50:47 +0000 hourly 1 http://wordpress.org/?v= By: ouafae http://www.javiergarzas.com/2007/10/complejidad-ciclomtica-o-la-mtrica.html/comment-page-1#comment-7 ouafae Sun, 04 Nov 2007 10:21:00 +0000 http://kybeleconsulting.com/javiergarzas/?p=20#comment-7 La complejidad ciclomatica es una métrica del software que proporciona una medición cuantitativa de la complejidad lógica de un programa.<br/>El valor calculado como complejidad ciclomatica define el numero de caminos independientes del conjunto básico de un programa y nos da un limite superior para el numero de pruebas que se deben realizar para asegurar que se ejecuta cada sentencia al menos una vez.<br/>1. V (G) = a - n + 2, siendo a el número de arcos o aristas del grafo y n el número de nodos.<br/>2. V (G) = r, siendo r el número de regiones cerradas del grafo.<br/>3. V (G) = c + 1, siendo c el número de nodos de condición.<br/><br/><br/>En mi opinión, veo que las pruebas son una de las etapas más importantes de la vida del software, no sólo porque se comprueba el correcto funcionamiento del sistema, sino porque es un mecanismo que ayuda al programador a saber si el sistema que ha realizado satisface las necesidades del usuario.<br/>La fase de pruebas se considera una de las fases más difíciles sin embargo la mayoría de los programadores no le dan la importancia y no lo realizan de la forma adecuada.<br/><br/>El problema es en los sistemas que necesitan muchos casos de prueba para ejecutarse por ejemplo los sistemas de la NASA, los sistemas de aviones representan casos especiales donde debemos tener una certeza segura de la validez del programa, es en este tipo de aplicaciones donde las pruebas del software representan un factor fundamental para asegurar el correcto funcionamiento para cualquier situación.<br/>En mi punto de vista, veo que la mejor forma de comprobar el software es crear además del sistema un programa que compruebe el propio sistema y así se facilite al programador la tarea que le considere difícil y aburrida,<br/>Este programa que el programador va a crear ejecutara los diferentes casos de prueba del sistema y sacara los diferentes errores que han ocurrido, en que sentencia, en que caso, etc...<br/>Y veo también útil utilizar las verificaciones formales que se usan paralelamente al desarrollo del software. El sistema formal de HOARE es un mecanismo que se aplica al programa que consta de una precondición P, una instrucción simple o compuesta (programa) S y una poscondición Q. P y Q son afirmaciones sobre los estados de programa.<br/><br/>Normalmente el equipo de desarrollo del proyecto se encuentra presionado por la necesidad de cumplir con las fechas establecidas y el proceso de pruebas no se cumple o se ejecuta de una manera desorganizada, sin método y sin considerar los tiempos establecidos para esta fase. El resultado es un software sin las pruebas mínimas requeridas y sin el nivel de calidad esperado.<br/>Otra solución será contar con un grupo externo especializado en procesos de aseguramiento de calidad y específicamente en pruebas de software, que por medio de un método establecido y maduro, sin presiones políticas propias de la organización, pueda ayudar a alcanzar el nivel de calidad esperado del software y alcanzar el éxito del proyecto.<br/><br/>Entonces el aseguramiento de la calidad del software cada vez se convierte a una necesidad porque cada vez los errores en el software afectan de manera directa o indirecta en graves consecuencias para la organización.<br/>Ouafae La complejidad ciclomatica es una métrica del software que proporciona una medición cuantitativa de la complejidad lógica de un programa.
El valor calculado como complejidad ciclomatica define el numero de caminos independientes del conjunto básico de un programa y nos da un limite superior para el numero de pruebas que se deben realizar para asegurar que se ejecuta cada sentencia al menos una vez.
1. V (G) = a – n + 2, siendo a el número de arcos o aristas del grafo y n el número de nodos.
2. V (G) = r, siendo r el número de regiones cerradas del grafo.
3. V (G) = c + 1, siendo c el número de nodos de condición.

En mi opinión, veo que las pruebas son una de las etapas más importantes de la vida del software, no sólo porque se comprueba el correcto funcionamiento del sistema, sino porque es un mecanismo que ayuda al programador a saber si el sistema que ha realizado satisface las necesidades del usuario.
La fase de pruebas se considera una de las fases más difíciles sin embargo la mayoría de los programadores no le dan la importancia y no lo realizan de la forma adecuada.

El problema es en los sistemas que necesitan muchos casos de prueba para ejecutarse por ejemplo los sistemas de la NASA, los sistemas de aviones representan casos especiales donde debemos tener una certeza segura de la validez del programa, es en este tipo de aplicaciones donde las pruebas del software representan un factor fundamental para asegurar el correcto funcionamiento para cualquier situación.
En mi punto de vista, veo que la mejor forma de comprobar el software es crear además del sistema un programa que compruebe el propio sistema y así se facilite al programador la tarea que le considere difícil y aburrida,
Este programa que el programador va a crear ejecutara los diferentes casos de prueba del sistema y sacara los diferentes errores que han ocurrido, en que sentencia, en que caso, etc…
Y veo también útil utilizar las verificaciones formales que se usan paralelamente al desarrollo del software. El sistema formal de HOARE es un mecanismo que se aplica al programa que consta de una precondición P, una instrucción simple o compuesta (programa) S y una poscondición Q. P y Q son afirmaciones sobre los estados de programa.

Normalmente el equipo de desarrollo del proyecto se encuentra presionado por la necesidad de cumplir con las fechas establecidas y el proceso de pruebas no se cumple o se ejecuta de una manera desorganizada, sin método y sin considerar los tiempos establecidos para esta fase. El resultado es un software sin las pruebas mínimas requeridas y sin el nivel de calidad esperado.
Otra solución será contar con un grupo externo especializado en procesos de aseguramiento de calidad y específicamente en pruebas de software, que por medio de un método establecido y maduro, sin presiones políticas propias de la organización, pueda ayudar a alcanzar el nivel de calidad esperado del software y alcanzar el éxito del proyecto.

Entonces el aseguramiento de la calidad del software cada vez se convierte a una necesidad porque cada vez los errores en el software afectan de manera directa o indirecta en graves consecuencias para la organización.
Ouafae

]]>