- (A) Formal verification
- (B) Model checking
- (C) Automated program analysis
- (D) All of the mentioned
Exam preparation MCQs with answers
Practice Pakistan's most useful MCQs for competitive exams
Prepare for NTS, PPSC, FPSC and subject-wise tests with fresh multiple choice questions, clear options and quick answer reveal.
Latest MCQs
- (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
- (A) Asset
- (B) Threat
- (C) Vulnerability
- (D) Control
- (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
- (A) Control Coupling
- (B) Stamp Coupling
- (C) External Coupling
- (D) Content Coupling
- (A) Cohesion
- (B) Coupling
- (C) None of the mentioned
- (D) All of the mentioned
- (A) Functions
- (B) Modules
- (C) Classes
- (D) Sub procedures
- (A) Control Coupling
- (B) Stamp Coupling
- (C) Data Coupling
- (D) Content Coupling
- (A) Modules are robust
- (B) Module can use other modules
- (C) Modules Can be separately compiled and stored in a library
- (D) Modules are mostly dependent
- (A) Efficiency
- (B) Accuracy
- (C) Quality
- (D) Complexity
Submit Your Mcqs
Management Sciences
Engineering Subjects
Medical Subjects
LIKE US ON
