Machine-translated by Google. Questions are authored in English.
Top

Discussion

In the Cleanroom development approach, which activity is considered the PRIMARY source of software correctness ?

  • A.Executing statistical tests early in the development cycle
  • B.Using automated debugging tools to eliminate defects during coding
  • C.Rewriting modules until the defect rate becomes statistically negligible
  • D.Performing incremental functional verification without execution

Answer: D

The primary source of correctness is performing incremental functional verification without execution.

Cleanroom software engineering, developed by Harlan Mills and colleagues at IBM, builds software in increments and proves each one correct against its specification by correctness verification: structured team review of the design and code, function by function, without running it. Developers do not unit-test or debug their own code; the aim is to prevent defects rather than remove them.

Statistical usage testing is part of Cleanroom, but it comes after verification and serves to certify reliability, not to create correctness. Automated debugging and rewriting modules until defects become rare are the defect-removal habits Cleanroom was designed to replace.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.