Software Integration and Documenting By Franklyn

Cleanroom Software Engineering A software development process intended to produce software with a certifiable level of reliability. The Cleanroom process was originally developed by Harlan Mills and several of his colleagues at IBM The focus of the Cleanroom process is on defect prevention, rather than defect removal The name Cleanroom was chosen to evoke the cleanrooms used in the electronics industry to prevent the introduction of defects during the fabrication of integrated circuits.

CleanRoom Software Engineering It emphasizes need to develop correctness into software as it being developed. It is different form classic analysis, design, test and debugging. The cleanroom has a different approach. It emphasizes rigor in specification and design and formal verification of each design using correctness proofs that are mathematically based. It also emphasizes on the techniques for statistical quality control, including testing that is based on customers use.

Some problems by Henderson Cleanroom is too technical and mathematical It advocates no unit testing It requires rigorous applications

The cleanroom strategy A “pipeline of software increments” Developed by small independent software teams. Once functionality has been assigned to the software element of the system the pipeline is initiated. Some tasks occur

The cleanroom strategy Increment planning Requirement gathering Box structure specification-describe functionality specification Formal design Correctness verification Code generation, inspection and verification Statistical test planning Statistical use testing certification

What makes it different It makes use of statistical quality control It verifies specification using mathematical based proof Testing techniques to under cover errors

Functional specification Uses a model called box structure specification A “box” hold the system or part at some level of details. The information in each box is enough for its refinement without depending on the other. Enable analysts to partition systems hierarically .

Three types of boxes Black box- used to represent externally observed behavior observed of a system. State box- holds state data and operation. Input to sate box and output are reprsented Clear box- to model the procedural design that is implied by the data and operations.

Cleanroom design S.E heavily use structured programming. Used more Program data holds a set of abstractions that are called by a sub functions

Advantages of design verification Reduce verification to a finite process Lets cleanroom verifies every line of design and code Near zero defect level Produces better code Design verification must be applied to the source code which is known as correctness verifcation

Cleanroom testing To validate the software requirements By demonstrating use –cases have been executed successfully

Cleanroom testing contd. Testing it the way users will. Cleanroom teams determine usage probability distribution of the software. Timing for test is recorded so that interval time may be determined. Using interval time the certification teams can compute Mane-time-to failure (MTTF) A long sequence conducted without failure the MMTF is low and software reliability is high.

Certification It implies reliability Its approach involve five steps: usage scenario, profile specified. Test generated from profile , failure data are recorded and analyzed, reliability is computed and certified.

Certification contd. It requires three models sampling model- random test component model- components Certification model-overall