Pakistan's best MCQs practice hub — FPSC · PPSC · CSS · NTS · Other Exams
Login
Software Engineering

Software Engineering MCQs with Answers

Software engineering MCQs with answers and detailed explanations for NTS, GAT, university tests and IT job interviews. SDLC, testing and design covered. Take a scored quiz instead →

In Control Flow Graph (CFG) analysis, a node with two or more outgoing edges is called a:

AJunction Node
BTerminal Node
CPredicate Node (Decision Node)
DEntry Node
Submitted by: mcqstutor Team 0 comments

A white-box software testing technique that measures execution of all independent paths through a control flow graph is:

AStatement Coverage
BBasis Path Testing
CCondition Coverage
DDecision Coverage
Submitted by: mcqstutor Team 0 comments

In formal software specification, a ‘Liveness Property’ mathematically states that:

ABad things will never happen in system execution
BThe program contains zero bugs
CMemory consumption is bounded
DSomething good will eventually happen in system execution
Submitted by: mcqstutor Team 0 comments

In formal software specification, a ‘Safety Property’ mathematically states that:

ABad things will never happen during system execution
BSomething good will eventually happen
CExecution speed is linear
DAll test cases pass
Submitted by: mcqstutor Team 0 comments

In formal specifications, Linear Temporal Logic (LTL) and Computation Tree Logic (CTL) are mathematical frameworks used to model:

ASoftware project labor costs
BSQL database query performance
CSystem behavior and properties over time
DUser interface layout dimensions
Submitted by: mcqstutor Team 0 comments

A grey-box software testing technique that combines static analysis with dynamic execution by executing code with symbolic input variables is:

ASymbolic Execution
BFuzz Testing
CMutation Testing
DEquivalence Partitioning
Submitted by: mcqstutor Team 0 comments

An architectural style that uses event producers, event consumers, and message brokers to enable loose coupling and asynchronous processing is:

AClient-Server Architecture
BLayered Architecture
CEvent-Driven Architecture (EDA)
DMonolithic Architecture
Submitted by: mcqstutor Team 0 comments

In RESTful API design, the concept where server responses include dynamic hypermedia links informing clients of next available state transitions is known as:

AREST Maturity Level 0
BGraphQL Schema
CSwagger Definition
DHATEOAS (Hypermedia As The Engine Of Application State)
Submitted by: mcqstutor Team 0 comments