II.
Methodology overview
Reference · livemethodology:cleanroom
Cleanroom Software Engineering overview
A formal methods process intended to produce software with certifiable reliability. Combines mathematically-based methods of software specification, design, and correctness verification with statistical usage testing. Developers verify code formally through inspection rather than unit testing. An independent test team performs statistical usage-based testing from operational profiles with MTTF calculations for reliability certification.
Attributes
displayName
Cleanroom Software Engineering
description
A formal methods process intended to produce software with certifiable reliability.
Combines mathematically-based methods of software specification, design, and
correctness verification with statistical usage testing. Developers verify code
formally through inspection rather than unit testing. An independent test team
performs statistical usage-based testing from operational profiles with MTTF
calculations for reliability certification.
methodologyKind
hybrid
origin
Harlan Mills, IBM
yearIntroduced
1980s
Outgoing edges
applies_to1
- domain:software-engineering·DomainSoftware Engineering
Incoming edges
follows_methodology1
- lib-process:shared--cleanroom·LibraryProcesscleanroom