A. Formal verification
B. Model checking
C. Automated program analysis
D. All of the mentioned
A. Risk
B. Hazard probability
C. Hazard severity
D. Mishap
Explanation: Hazard severity can range from catastrophic, where many people are killed, to minor, where only minor damage results. When an individual death is a possibility, a reasonable assessment of hazard severity is ‘very high’.
A. Characteristic error checking
B. User-defined error checking
C. Assertion checking
D. All of the mentioned
Explanation: Users of a programming language define error patterns, thus extending the types of error that can be detected.
A. POFOD
B. ROCOF
C. AVAIL
D. None of the mentioned
Explanation: Rate of occurrence of failures (ROCOF) sets out the probable number of system failures that are likely to be observed relative to the number of system executions.
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
A. Vulnerability
B. Attack
C. Threat
D. Exposure
A. Human error or mistake
B. System fault
C. System error
D. System failure