Đang chuẩn bị liên kết để tải về tài liệu:
Kỹ nghệ phần mềm phòng sạch_Nhập môn công nghệ phần mềm

CNPM ở Việt Nam được xem là một ngành công nghiệp đặc thù với sản phẩm trí tuệ là phần mềm và là một ngành công nghiệp đầy tiềm năng, ngành mũi nhọn trong chiến lược trong công cuộc công nghiệp hóa hiện đại hóa đất nước. Từ trước tới nay Việt Nam vẫn được đánh giá là nước có tốc độ phát triển công nghiệp phần mềm cao và ổn định, khoảng 30-40% 1 năm, nhờ vào công cuộc đổi mới và ngồn lao động giá rẻ. Chính nhờ nguồn lao động giá rẻ mà chúng ta thu hút được. | hoạt động. Một hộp rõ ràng được sử dụng để mô hình được thiết kế theo thủ tục đó là ngụ ý của dữ liệu và hoạt động của một hộp nhà nước.Xác minh đúng đắn được áp dụng khi thiết kế cấu trúc hộp hoàn tất. Cái thủ tục thiết kế cho một thành phần phần mềm được phân chia thành một loạt các subfunc da được tốt. Để chứng minh sự đúng đắn của các subfunctions, điều kiện thoát ra được định nghĩa cho mỗi subfunction và một bộ subproofs được áp dụng. Nếu mỗi điều kiện xuất cảnh là hài lòng, thiết kế phải chính xác. Sau khi xác minh là hoàn toàn đúng đắn, thống kê sử dụng bắt đầu thử nghiệm. Không giống như thường thử nghiệm, phòng sạchkỹ sư phần mềm không nhấn mạnh các đơn vị hoặc hội nhập thử nghiệm. Thay vào đó, phần mềm được thử nghiệm bằng cách định nghĩa một tập các chiến lược sử dụng , xác định xác suất sử dụng cho mỗi kịch bản, và sau đó xác định ngẫu nhiên xét nghiệm đó phù hợp với các xác suất. Các lỗi ghi rằng kết quả được kết hợp với lấy mẫu, thành phần, và xác nhận các mô hình toán học để cho phép com - putation tin cậy dự kiến cho thành phần phần mềm.