1. Which of the following is a technique covered in Static Analysis ?
Correct Answer is : All of the mentioned
2. Select the disadvantage of using Formal methods
Correct Answer is : They require the use of specialised notations that cannot be understood by domain experts
3. Which of the following is incorrect with respect to Model Checking?
Correct Answer is : Model checking is computationally very inexpensive
4. Choose the fault class in which the following automated static analysis check would fall:”Variables declared but never used”.
Correct Answer is : Data Faults
5. Which level of Static Analysis allows specific rules that apply to a program to be checked ?
Correct Answer is : User-defined error checking