A. Formal verification
B. Model checking
C. Automated program analysis
D. All of the mentioned
Advertisement
Related Mcqs:
- Choose the fault class in which the following automated static analysis check would fall:”Pointer Arithmetic” ?
- A. Storage management faults B. Data Faults C. Input/Output Faults D. Interface faults...
- Choose the fault class in which the following automated static analysis check would fall: “Unreachable code”?
- A. Control Faults B. Data Faults C. Input/Output Faults D. Interface faults...
- Choose the fault class in which the following automated static analysis check would fall:”Non-usage of the results of functions”?
- A. Storage management faults B. Data Faults C. Input/Output Faults D. Interface faults...
- Choose the fault class in which the following automated static analysis check would fall:”Variables declared but never used”?
- A. Control Faults B. Data Faults C. Input/Output Faults D. Interface faults...
- Static analysis is now routinely used in the development of many safety and security critical systems?
- A. True B. False...
- Which level of Static Analysis allows specific rules that apply to a program to be checked ?
- A. Characteristic error checking B. User-defined error checking C. Assertion checking D. All of the mentioned...
- Static Analysis involves executing a program ?
- A. True B. False...
- 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...
- Which of the following terms is a measure of the probability that the system will cause an accident ?
- A. Risk B. Hazard probability C. Accident D. Damage...
- Which of the following examples does not involve dependability engineering ?
- A. Medical Systems B. Power Systems C. Library Management D. Telecommunications...
Advertisement
