Software Formal Methods MCQs

By: Prof. Dr. Fazal Rehman | Last updated: May 6, 2025

1. Which of the following statements can be interpreted in a number of ways?
(A) Vagueness
(B) Comments
(C) Contradictions
(D) Ambiguities

2. Which of the following occurs in a system specification document due to its bulkiness?
(A) Incompleteness
(B) Vagueness
(C) Ambiguities
(D) Contradictions

3. When formal methods are used for the first time, which of the following is essential for success?
(A) Consulting
(B) Expert training
(C) None of these
(D) Both Expert training & Consulting

4. Which of the following is not provided by formal methods?
(A) Verifying systems
(B) Providing frameworks
(C) Provide investors
(D) Both (A) & (B)

5. The worst type of coupling is:
(A) Control coupling
(B) Stamp coupling
(C) Content coupling
(D) Data coupling

6. Which of the following is the most important feature of the spiral model?
(A) Risk management
(B) Quality management
(C) Configuration management
(D) Requirement analysis

7. SRS is also known as:
(A) Integrated testing
(B) Stress testing
(C) Black box testing
(D) White box testing

8. The desired level of coupling is:
(A) Data coupling
(B) Common coupling
(C) Control coupling
(D) No coupling

9. Which of the following options are forms of alpha and beta testing?
(A) System testing
(B) Acceptance testing
(C) Unit testing
(D) Integration testing

10. Which of the following encapsulates an object?
(A) State
(B) Data
(C) Behaviour
(D) Both Data & Behaviour

11. A flowchart can replace:
(A) Cause-effect graph
(B) Structure charts
(C) Decision table
(D) Pseudocode

12. Which of the following shows the ER Model?
(A) Dynamic view
(B) Functional view
(C) Both (A) & (B)
(D) Static view