chương trình.
Đặc điểm của quá trình Cleanroom
Các hình thức đặc tả sử dụng mô hình chuyển
đổi trạng thái
Sự phát triển ngày càng được mở rộng khi mà sự
ưu tiên của khách hàng ngày càng tăng
Cấu trúc chương trình được hạn chế kiểm soát
và cấu trúc trừu tượng thì được sử dụng trong chương trình
Xác minh tĩnh được kiểm tra nghiêm ngặt
Hình thức đặc tả và sự kiểm tra
Các mô hình trạng thái phụ thuộc vào đặc tả hệ
thống và quá trình kiểm tra để kiểm tra chương trình lần nữa theo mô hình này.
Phương pháp lập trình được xác định để tương
thích giữa các mô hình và hệ thống
Lập luận toán học được sử dụng để tăng sự tin
cậy trong quá trình kiểm tra
Các nhóm tiến trình cleanroom
Nhóm đặc tả: Nhóm này chịu trách nhiệm phát triển
và duy trì đặc tả hệ thống
Nhóm phát triển: Chịu trách nhiệm phát triển và
xác minh hệ thống. Phần mềm này không được
thực thi hoặc không biên dịch được trong quá trình.
Nhóm xác nhận: Nhóm này chịu trách nhiệm về
việc tổng hợp lại các trường hợp kiểm tra để thực thi phần mềm trước khi phát triển. Mô hình phát
triển độ tin cậy được sử dụng để quyết định khi nào thì dừng thử nghiệm
Qúa trình đánh giá Cleanroom
Kết quả của việc sử dụng quá trình Cleanroom đã
phát hiện ra những khuyết điểm trong phát biểu hệ thống.
Dựa vào sự đánh giá khách quan cho thấy quá
trình này thì không đắt hơn các phương pháp tiếp cận khác
Có lỗi ít hơn trong quá trình phát triển truyền thống Tuy nhiên, quá trình này thì không được sử dụng
rộng rãi.
Những điểm chính
Xác minh và thẩm định thì không tương tự nhau
Xác minh phải đáp ứng được đặc tả hệ thống. Thẩm định thì đáp ứng được yêu cầu khách
hàng
Các công cụ tĩnh có thể phát hiện ra những
chương trình không ổn định, có những lỗi trong code
Sự phát triển quá trình Cleanroom phụ thuộc vào sự phát triển ngày càng mở rộng, xác minh tĩnh và thống kê kiểm thử