SR-RÉIS-006 - Lopo infinito

ID de regra: ST-REL-006

Escopo: Atividade

Description

Esta regra identifica as possíveis sequências de loop infinito em um Fluxograma. Ela verifica os nós autoconectados ou as conexões que apontam de volta e podem criar um loop infinito. No entanto, a regra não identifica tais possíveis loops, nos quais a atividade Invoke Workflow será usada para criar um loop.

Um loop infinito é definido como uma sequência de instruções que se repete infinitamente, seja devido ao loop não ter uma condição de encerramento, ter uma condição que nunca poderá ser atingida ou ter uma condição que reinicie o loop.

A regra só verifica conexões, não todas as condições no fluxograma. Por exemplo, ter um valor estático em uma decisão que é verdadeira e uma que é falsa disparará a regra:

A ação Padrão da regra é definida como Aviso.

Recomendação

Ao encontrar um loop infinito, certifique-se de adicionar uma condição de término. Se o loop for intencional, documente o código e informe os usuários.