Questão de Engenharia de Software — Geral — VUNESP 2025

Diagrama de Estados na UML

Gabarito: letra E. Na UML 2.0, o Diagrama de Estados (ou Máquina de Estados) possui exatamente um único estado inicial, representado por um círculo preenchido, enquanto pode haver múltiplos estados finais, representados por um círculo com um anel ao redor (símbolo do "olho de boi"). Essa assimetria é uma regra fundamental da notação UML: o ponto de partida é único, mas a conclusão pode ocorrer em diferentes pontos de término.

O Diagrama de Estados é um diagrama comportamental da UML que modela o ciclo de vida de um objeto, mostrando os estados pelos quais ele pode passar e as transições entre eles, disparadas por eventos. Cada estado representa uma condição ou situação na vida do objeto, e as transições indicam a mudança de um estado para outro mediante a ocorrência de um evento e, possivelmente, uma condição de guarda.

A regra do estado inicial único decorre da própria semântica do diagrama: ele descreve o comportamento de um objeto a partir do momento em que ele é criado, e esse início é sempre um ponto bem definido. Já o estado final pode ser múltiplo porque o objeto pode encerrar seu ciclo de vida em diferentes situações, dependendo do fluxo de eventos que ocorreu. Por exemplo, em um sistema de pedidos, um pedido pode terminar como "Entregue", "Cancelado" ou "Devolvido" — todos são estados finais válidos.

A banca explora exatamente essa assimetria: o candidato que memoriza que "há um estado inicial e um estado final" acaba marcando a alternativa que limita o número de estados finais, quando na verdade a UML permite vários. O que é único é o estado inicial; o estado final pode ser múltiplo.

Guarde essa distinção: estado inicial = único; estado final = múltiplo. É exatamente nesse contraste que as alternativas se dividem.

Alternativa A — ❌ Incorreta

Afirma que só pode haver um único estado final. Isso é falso: a UML permite múltiplos estados finais em um Diagrama de Estados. O que é único é o estado inicial, não o final. Essa alternativa inverte a regra correta.

Alternativa B — ❌ Incorreta

Afirma que o número de estados iniciais deve ser igual ao número de estados finais. Não há qualquer relação de igualdade entre eles. O diagrama tem um único estado inicial e pode ter vários estados finais — não existe exigência de correspondência numérica.

Alternativa C — ❌ Incorreta

Afirma que cada estado inicial define a existência de dois estados finais. Não há essa relação de proporção. O estado inicial é único e não "define" a existência de estados finais; o número de estados finais é livre, podendo ser um ou vários, sem vínculo com o estado inicial.

Alternativa D — ❌ Incorreta

Afirma que o número de estados finais não pode ser superior a dois. Não há essa limitação na UML. O diagrama pode ter quantos estados finais forem necessários para representar os diferentes pontos de término do ciclo de vida do objeto.

Alternativa E — ✅ Correta ⟵ GABARITO

Afirma que só pode haver um único estado inicial. Isso está correto: a UML determina que o Diagrama de Estados tenha exatamente um estado inicial, representado por um círculo preenchido. Essa é a regra que a alternativa espelha com precisão.

Gabarito: letra E