A. Checking requirements
B. Recovery requirements
C. Redundancy requirements
D. Ambiguous requirements
Explanation: These requirements are geared to helping the system recover after a failure has occurred.
Related Mcqs:
- 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 - Which reliability metric sets out the probable number of system failures that are likely to be observed relative to a certain time period ?
A. POFOD
B. ROCOF
C. AVAIL
D. None of the mentioned - How many stages are there in Risk-driven requirements specification ?
A. three
B. four
C. five
D. six - At which stage of risk analysis specification, the additional security requirements take account of the technologies used in building the system and system design and implementation decisions ?
A. Preliminary risk analysis
B. Life-cycle risk analysis
C. Operational risk analysis
D. All of the mentioned - To specify security requirements, one should identify the risks that are to be dealt with ?
A. True
B. False - Security engineering is only concerned with maintenance of systems such that they can resist malicious attacks ?
A. True
B. False - An erroneous system state that can lead to system behavior that is unexpected by system users is known as________________?
A. Human error or mistake
B. System fault
C. System error
D. System failure - What is a Range check ?
A. Check that the input does not exceed some maximum size e.g. 40 characters for a name
B. Check that the input falls within a known range
C. Use information about the input to check if it is reasonable rather than an extreme value
D. None of the mentioned - Static analysis is now routinely used in the development of many safety and security critical systems?
A. True
B. False - Which of the following is incorrect with respect to Model Checking ?
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
