Cleanroom Software Development - 2

• Formal specification:

  • Software to be developed is formally specified

• Incremental development:

  • Software is partitioned into increments which are developed seperately using the Cleanroom approach

• Structured programming:

  • Only a limited number of control and data abstraction constructs are used. Stepwise refinement of the specification

• Static verification:

  • Developed software commponents are not tested but statically verified using mathematically based correctness arguments

• Statistical testing:

  • Integrated software is tested statistically to determine its reliability

Previous slide

Next slide

Back to first slide

View graphic version