Confiança no Funcionamento: Terminologia em Português

Glossário


Este glossário resume as definições fornecidas ao longo do documento /Laprie 1992/. Ele é providenciado como suporte para a leitura do documento, e não deve ser considerado isoladamente.


Accidental fault
Active fault
Arbitrary failure
Atomic system
Attributes of dependability
Availability
Avoidance (fault~)

Backward recovery
Behaviour (system~)
Benign failure

Catastrophic failure
Coincident errors
Common-mode failures
Compensation (error~)
Component (system~)
Conformance testing
Consistent failure
Correct service
Corrective maintenance
Coverage
Crash failure
Criticality (system~)
Curative maintainance

Dependability
Design fault
Design for verifiability
Detection (~error)
Detected error
Deterministic testing
Diagnosis (fault~)
Dormant fault
Dynamic verification

Environment (system~)
Error
External fault

Fail-safe system
Fail-silent system
Fail-stop system
Failure
Fault
Fault-based testing
Fault-finding testing
Forecasting (fault~)
Forward recovery
Function (system~)
Functional testing

Hard fault
Human-made fault

Impairments to dependability
Incorrect service
Inconsistent failure
Independent faults
Integrity
Intentional fault
Intermittent fault
Internal fault
Intrusion

Latent error

Maintainability
Malicious logic
Masking (fault~)
Means for dependability

Omission failure
Operational fault
Operational testing

Passivation (fault~)
Performability
Permanent fault
Physical fault
Preventive maintenance
Prevention (fault~)
Processing (error~)
Procurement of dependability

Random testing
Real-time function
Real-time service
Real-time system
Recovery (error~)
Recovery point
Regression verification
Related faults
Reliability
Reliability growth
Removal (fault~)
Restoration (service~)

Safety
Security
Self-checking component
Sequential failures
Service
Severity (failure~)
Simultaneous failures
Soft fault
Solid fault
Specification (system~)
State (system~)
Stable reliability
Static verification
Statistical testing
Stopping failure
Structure (system~)
Structural testing
Symbolic execution
System

Temporary fault
Testing
Timing failure
Tolerance (fault~)
Transient fault
Treatment (fault~)
Trustability

User (system~)

Validation
Value function
Verification


Rogério de Lemos

R.deLemos@ukc.ac.uk, 13th December 1999