X hits on this document

56 views

0 shares

0 downloads

0 comments

20 / 21

Cleanroom Process

1)

The software as specified as a black box, then refined as a state box, then refined as a clear box.

2)

The box structure encourages analysts to find flaws and omissions early in the project life cycle (when it is cheaper and faster to fix them).

3)

The clear-box specification is converted into an intended function using natural language or mathematic notation.

4)

For each function a correctness theorem is devised and proven.

* Unit testing is not necessary or even permitted!

* Errors found by statistical testing tends to be simple mistakes that are easy to fix as the cleanroom eliminates deep principle problems.

IBM claims an order of magnitude fault reduction (e.g. 3 faults per 1000 lines of code).

Document info
Document views56
Page views57
Page last viewedSun Dec 04 11:02:12 UTC 2016
Pages21
Paragraphs143
Words1140

Comments