a) Analysis b) Design c) Problem/Opportunity Identification d) Development and Documentation Answer: c Explanation: Problem/Opportunity Identification
View QuestionChoose 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 Answer: a Explanation: ...
View QuestionWhich 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 Answer: ...
View QuestionStatic analysis is now routinely used in the development of many safety and security critical systems.
a) True b) False Answer: a Explanation: The static analyzer can discover areas of vulnerability such as ...
View QuestionChoose 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 Answer: d Explanation: Interface ...
View QuestionChoose 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 Answer: a Explanation: Control Faults
View QuestionChoose 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 Answer: b Explanation: Data Faults
View QuestionWhich 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) ...
View QuestionSelect the disadvantage of using Formal methods
a) Concurrent systems can be analysed to discover race conditions that might lead to deadlock b) Producing a ...
View QuestionWhich of the following is a technique covered in Static Analysis ?
a) Formal verification b) Model checking c) Automated program analysis d) All of the mentioned Answer: d
View Question