- (A) documentation
- (B) flowchart
- (C) program specification
- (D) design
Software Engineering Mcqs
- (A) Architecture
- (B) Data
- (C) Interface
- (D) All of the mentioned
- (A) Formal verification
- (B) Model checking
- (C) Automated program analysis
- (D) All of the mentioned
- (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
