ST-REL-006 - Boucle infinie

ID de règle : ST-REL-006

Étendue : activité

Description

Cette règle identifie les séquences potentielles de boucle infinie dans un Organigramme (Flowchart). Elle recherche les nœuds à connexion automatique ou les connexions qui repointent et qui peuvent créer une boucle infinie. En revanche, la règle n'identifie pas ces boucles potentielles dans lesquelles l'activité Invoke Workflow est utilisée pour créer une boucle.

Une boucle infinie est définie comme séquence d'instructions qui effectue un bouclage sans fin, car la boucle n'a aucune condition de fin, a une condition qui ne peut jamais être remplie, ou a une condition qui provoque le redémarrage de la boucle.

La règle vérifie uniquement les connexions, et non l'ensemble des conditions du Flowchart. Par exemple, le fait d'avoir des valeurs statiques pour une décision qui est True et pour une autre qui est False déclenchera la règle :

L'action par défaut de la règle est définie sur Avertissement.

Recommandation

Si une boucle infinie a été trouvée, veillez à ajouter une condition de terminaison. Si la boucle est prévue, documentez le code et informez-en les utilisateurs.