M C Q s D r i v e
03079682698
mcqsdrive@gmail.com
About
Contact
Jobs
Blog

Contact Info

03079682698

mcqsdrive@gmail.com

Ad Banner

Software Engineering Mcqs 840 MCQs [All-Courses]

thumb

Software Engineering MCQs for job test and interview preparation, especially for fresh graduates, students, and candidates appearing in competitive exams. These multiple-choice questions cover a wide range of topics, including the fundamentals of software engineering, its various types, advanced concepts, software design, development processes, testing methods, software evolution, and security aspects.

All Topics  840

Static Analysis involves executing a program ?

A True
B False
C
D
Correct Answer: False

Which 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
Correct Answer: All of the mentioned

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
Correct Answer: Model checking is computationally very inexpensive

The records of each patient that is receiving or has received treatment resembles which security concept ?

A Asset
B Threat
C Vulnerability
D Control
Correct Answer: Asset

Select the disadvantage of using Formal methods ___________________?

A Concurrent systems can be analysed to discover race conditions that might lead to deadlock
B Producing a mathematical specification requires a detailed analysis of the requirements
C They require the use of specialised notations that cannot be understood by domain experts
D All of the mentioned
Correct Answer: They require the use of specialised notations that cannot be understood by domain experts

Choose 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
Correct Answer: Data Faults

Choose 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
Correct Answer: Interface faults

Which 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
Correct Answer: User-defined error checking

Choose 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
Correct Answer: Control Faults

Static analysis is now routinely used in the development of many safety and security critical systems?

A True
B False
C
D
Correct Answer: True
03079682698
mcqsdrive@gmail.com

Copyright @ 2026 MCQsDrive . All Rights Reserved.