Cleanroom Software Engineering (clean room methodology)

Cleanroom Software Engineering (“clean room” methodology) is a software development process designed to create software with a certified level of reliability. Cleanroom was originally developed by Harlan Mills and several of his colleagues, including Alan Hevner of IBM. The basic principle of cleanroom is that the prevention of defects is better than their elimination. The name Cleanroom (“ clean room ”) is taken from the electronics industry - this is the name of a room with a high degree of protection against pollution, which helps prevent defects in the semiconductor manufacturing process. The process was first applied in the mid to late 80s.

Basic principles

• Software development is based on formal methods.
• Incremental implementation in the framework of statistical quality control
• Statistical testing
• Formal verification