Kỹ thuật phần mềm Cleanroom

Kỹ thuật phần mềm Cleanroom là một phương pháp phát triển phần mềm được phát triển bởi Mills, Dyer và Linger vào những năm 1980, nhấn mạnh vào việc ngăn ngừa lỗi thông qua đặc tả chính thức, đánh giá mã nguồn và kiểm thử thống kê thay vì gỡ lỗi. Lấy cảm hứng từ các phòng sạch trong sản xuất dược phẩm, phương pháp này hướng tới việc cung cấp sản phẩm gần như không có lỗi.