Which of the following is not a functional reliability requirement for a system ?
A. Checking requirements
B. Recovery requirements
C. Redundancy requirements
D. Ambiguous requirements
Explanation: All the options are correct except option d.
A. Checking requirements
B. Recovery requirements
C. Redundancy requirements
D. Ambiguous requirements
Explanation: All the options are correct except option d.
A. Fault avoidance
B. Fault tolerance
C. Fault detection
D. Fault Recovery
Explanation: In Fault avoidance the system is developed in such a way that human error is avoided and thus system faults are minimised.
A. Loss of service
B. Incorrect service delivery
C. System/data corruption
D. None of the mentioned
A. Attack
B. Threat
C. Vulnerability
D. Control
Explanation: The answer is self explanatory.
A. Model checking is particularly valuable for verifying concurrent systems
B. Model checking is computationally very inexpensive
C. The model checker explores all possible paths through the model
D. All of the mentioned
Explanation: Model checking is very expensive.It is only practical to use it in the verification of small to medium sized critical systems.
A. True
B. False
Explanation: Exception handling is a mechanism to provide some fault tolerance.
A. risk
B. control
C. attack
D. asset
Explanation: A control protective measure that reduces a system’s vulnerability.