Engineering
Engineering MCQs With Answers
0 Engineering MCQs for CSS, PPSC, FPSC, NTS and entry-test preparation. Take a scored quiz instead →
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
A formal verification technique that exhaustively checks whether a finite-state model of a system satisfies a given temporal logic property is:
ACleanroom Engineering
BModel Checking
CRegression Testing
DSmoke Testing
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
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
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)
Which deployment pattern deploys a secondary helper component alongside a primary application container to share logging, proxy, or monitoring services?
ASidecar Pattern
BAmbassador Pattern
CAdapter Pattern
DDecorator Pattern
In cloud-native applications, Twelve-Factor App methodology recommends storing all application configuration settings in:
AHardcoded Source Files
BEnvironment Variables
CLocal XML Config Files
DDatabase Primary Tables
In microservices architecture, managing distributed transactions across multiple independent service databases without global two-phase commit relies on the:
ATwo-Phase Commit (2PC)
BUnit of Work Pattern
CActive Record Pattern
DSaga Pattern
Which microservices pattern isolates elements into pools so that if one component fails, the remaining components continue operating without system-wide crash?
ACircuit Breaker Pattern
BBulkhead Pattern
CStrangler Fig Pattern
DSidecar Pattern
An architectural migration pattern that incrementally replaces legacy monolithic system features with new microservices until the monolith is phased out is:
ABig Bang Migration Pattern
BAdapter Pattern
CStrangler Fig Pattern
DProxy Pattern