Cleanroom software engineering là một phương pháp phát triển phần mềm dựa trên các phương pháp chính thức, nhằm tạo ra phần mềm có độ tin cậy cao và ít lỗi. Một số nguyên tắc chính của phương pháp này bao gồm: Phát triển dựa trên phương pháp chính thức; Thực hiện bước độ dài; Kiểm soát chất lượng thống kê; Kiểm tra thống kê. Phương pháp này được phát triển bởi Harlan Mills và đồng nghiệp của ông tại IBM vào cuối những năm 1980 và đầu những năm 1990. Mục tiêu chính của Cleanroom là phát triển phần mềm không có lỗi khi sử dụng. Bạn có quan tâm đến việc áp dụng phương pháp này vào dự án của mình không?
Cleanroom là một quy trình phát triển phần mềm hơn là một kỹ thuật kiểm thử. Cho đến bây giờ, kỹ thuật này vẫn được xem là một cách mới của việc suy nghĩ về kiểm thử và đảm bảo chất lượng phần mềm.
