Computer Programming MCQs

A. Storage management faults
B. Data faults
C. Input/output faults
D. Interface faults

A. True
B. False
ExpLanation: the static analyzer can discover areas of vulnerability such as buffer overflows or unchecked inputs

A. Control faults
B. Data faults
C. Input/output faults
D. Interface faults

A. Characteristic error checking
B. User-defined error checking
C. Assertion checking
D. All of the mentioned

A. Storage management faults
B. Data faults
C. Input/output faults
D. Interface faults

A. Control faults
B. Data faults
C. Input/output faults
D. Interface faults

A. Concurrent systems can be analysed to discover race conditions that might lead to deadlock
B. Producing a mathematical specification requires a detailed analysis of the requirements
C. They require the use of specialised notations that cannot be understood by domain experts
D. All of the mentioned

A. Asset
B. Threat
C. Vulnerability
D. Control

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

A. Formal verification
B. Model checking
C. Automated program analysis
D. All of the mentioned