ST-RELic-006: bucle infinito

ID de la regla:ST-REL-006

Ámbito: actividad

Descripción

Esta regla identifica las secuencias de bucle potencial infinito en un Diagrama de flujo. Comprueba si hay nodos autoconectados o conexiones que apuntan hacia atrás y que pueden crear un bucle infinito. No obstante, la regla no identifica los posibles bucles en los que se utiliza la actividad Invocar flujo de trabajo para crear un bucle.

Un bucle infinito está definido como una secuencia de instrucciones que hace un bucle sin fin, bien sea porque el bucle no tiene una condición de finalización, porque tiene una que nunca se puede cumplir, o porque hace que el bucle vuelva a empezar.

La regla solo comprueba las conexiones, no todas las condiciones en el diagrama de flujo. Por ejemplo, tener tanto un valor estático en una decisión que es verdadero como uno que es falso desencadenará la regla:

La acción predeterminada de la regla se establece en Advertencia.

Recomendable

Si se encontró un bucle infinito, asegúrate de agregar una condición de terminación. Si el bucle está previsto, entonces documenta el código y házselo saber a los usuarios.