Which of the following is a technique covered in Static Analysis ?
Correct answer: D. All of the mentioned
- A. Formal verification
- B. Model checking
- C. Automated program analysis
- D. All of the mentioned
Explanation
Static analysis includes formal verification, model checking, and automated analysis of program code or models without execution. Since each listed technique qualifies, the combined option is correct.
Report an error
The more specific you are, the faster it gets fixed. A source beats an opinion.
Prefer email? [email protected]
Practise Software Testing and Quality Assurance
181 free Software Testing and Quality Assurance MCQs from Software Engineering, each with the correct answer and an explanation. Unlimited attempts, no account needed.
Discussion
Stuck on an option, or know a faster way to get there? Ask or explain it here.
No comments yet. Be the first to explain this one.
Exams that ask Software Engineering questions like this
Software Engineering is on this paper prepared for on TestUstad, and all of them draw the same bank, so this question is worth knowing for it.
More Software Testing and Quality Assurance questions
Static Analysis involves executing a program ?
Debugging is_________________?
Defects removal efficiency (DRE)depends on ______________________?
Which of the following is incorrect with respect to Model Checking ?
Choose the fault class in which the following automated static analysis check would fall:"Variables declared but never used"?
Choose the fault class in which the following automated static analysis check would fall:"Non-usage of the results of functions"?