Software Engineering MCQs

Prepare with the latest Software Engineering MCQs with answers and explanations. Free online practice for competitive exams, interviews, and university tests.

931. LILO________________?

A. stands for Linux loader
B. is the Linux boot loader
C. is a tool used to boot the Kernel on x86 hardware
D. All of the above
✅ The correct answer is option D.

933. Which of the following is a drawback of using CASE tool ?

A. Standardization of notations and diagrams
B. Communication between development team member
C. Costs associated with the use of the tool
D. Reduction of time and effort
✅ The correct answer is option C.
Explanation: Using CASE tools is an expensive approach.

935. Which 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. The model checker explores all possible paths through the model
D. All of the mentioned
✅ The correct answer is option B.
Explanation: Model checking is very expensive.It is only practical to use it in the verification of small to medium sized critical systems.