Cleanroom

Cleanroom on ohjelmistotuotannossa käytettävä formaali^selvennä ja inkrementaalinen^selvennä metodi. Cleanroom-metodin mukaisessa ohjelmistoprosessissa laadukkaita ohjelmistoja pyritään tuottamaan estämällä virheiden syntyminen sen sijaan, että jo syntyneitä virheitä poistettaisiin ohjelmistosta. Metodin nimi on peräisin elektroniikkateollisuudessa käytettävistä puhdastiloista, joilla samankaltaisesti pyritään estämään epäpuhtauksien joutumista tuotteisiin.

Metodin kehitti Harlan Mills 1980-luvulla ja sillä on väitetty saavutetun varsin hyviä tuloksia. Arvostelua metodologiaa ja varsinkin sen testauskäytäntöä kohtaan on esittänyt mm. Boris Beizer.^[1]

1. ↑ Beizer, B.: Cleanroom process model: a critical examination.. IEEE Software, 1997, nro 2, s. 14–16.