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.
Last updated
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.
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.
Related questions
A characteristic of a software system that can lead to a system error is known as _____________________ ?
A chemical plant system may detect excessive pressure and open a relief valve to reduce these pressures before an explosion occurs. What kind of dependability and security issue the example states ?
A password checking system that disallows user passwords that are proper names or words that are normally included in a dictionary is an example of ________________ with respect to security systems?
A set of inputs, execution preconditions and expected outcomes is known as a __________________?
A system maintaining its integrity while accepting a temporary halt in its operation is said to be in a state of___________________?