Which of the following is not a key strategy followed by the clean room…
2018
Which of the following is not a key strategy followed by the clean room approach to software development ?
- A.
Formal specification
- B.
Dynamic verification
- C.
Incremental development
- D.
Statistical testing of the system
Attempted by 120 students.
Show answer & explanation
Correct answer: B
Answer: Dynamic verification
Explanation: The Cleanroom approach emphasizes preventing defects through formal methods and statistical assessment rather than relying on conventional dynamic testing and debugging during development.
Formal specification — precise, mathematical descriptions of system behavior to support verification.
Incremental development with correctness verification — build the system in small increments and verify each increment (often using formal proofs or structured inspections).
Statistical testing of the system — usage-based (operational-profile) statistical testing is used to assess and certify reliability.
Why dynamic verification is not the correct choice: Dynamic verification refers to traditional testing by executing the program during development and iterative debugging. Cleanroom prefers formal correctness verification and uses statistical testing for reliability assessment, so conventional dynamic verification is not considered a core Cleanroom strategy.
A video solution is available for this question — log in and enroll to watch it.