OSDEF — Reference Ontology of Software Defects, Errors and Failures

Conceitualização sobre defeitos, erros e falhas em software, incluindo a distinção entre defect, fault (defeito em tempo de execução) e failure.

Id	osdef
Versão	1.0.0
Camada	Domínio
Rede	SEON
Namespace	the_band.ontology.seon.osdef
Depende de	ufo, spo, sys_swo, roost
Origem	Tese, Seção 2.2.2.5, Figura 21

Módulos

• Defects and Failures — Falha é evento; defeito é disposição. Um defeito pode existir por anos sem nunca se manifestar. Quando se manifesta em uma falha, chamamos aquele defeito de fault. Tratar os três como sinônimos destrói qualquer métrica de qualidade.

---

Defects and Failures

Falha é evento; defeito é disposição. Um defeito pode existir por anos sem nunca se manifestar. Quando se manifesta em uma falha, chamamos aquele defeito de fault. Tratar os três como sinônimos destrói qualquer métrica de qualidade.

Fonte: Tese, Seção 2.2.2.5, Figura 21

Conceitos

osdef.vulnerability — Vulnerability

Vulnerabilidade

Disposição de um programa que, em certas circunstâncias, pode se manifestar em uma falha.

_{categoria UFO: disposition}

osdef.defect — Defect

Defeito

Tipo de vulnerabilidade que pode existir em programas. Alguns defeitos podem, acidentalmente, nunca se manifestar em execuções do software.

_{categoria UFO: disposition · especializa osdef.vulnerability}

osdef.fault — Fault (Runtime Defect)

Fault (Defeito em Tempo de Execução)

Defeito que se manifestou em uma falha. É o defeito visto pelo seu momento de manifestação.

_{categoria UFO: disposition · especializa osdef.defect}

osdef.failure — Failure

Falha

Evento em que um programa não se comporta como pretendido, ferindo os objetivos dos stakeholders. É evento, não estado nem propriedade.

_{categoria UFO: event}

osdef.vulnerable_state — Vulnerable State

Estado Vulnerável

Situação anterior à ocorrência da falha, que ativa a disposição que se manifestará nela. O software está executando e o defeito ainda não se manifestou.

_{categoria UFO: situation}

osdef.failure_state — Failure State

Estado de Falha

Situação trazida à tona pela ocorrência da falha: o software não está executando suas funções como pretendido pelos stakeholders.

_{categoria UFO: situation}

Relações

Relação	Origem	Destino	Cardinalidade	Tipo
exists in	osdef.defect	sys_swo.program	many → one	association
triggers	osdef.vulnerable_state	osdef.failure	one → one	causation
brings about	osdef.failure	osdef.failure_state	one → one	causation
manifested in	osdef.fault	osdef.failure	one → one_or_many	materialization
describes	roost.test_result	osdef.fault	one → many	association

---

← Rede de ontologias