Bài tập lớn môn Công nghệ phần mềm Đề tài: Kỹ nghệ phần mềm phòng sạch Slide | Đề tài: Công nghệ phần mềm phòng sạch (Mô hình hình thức) BÀI TẬP LỚN CÔNG NGHỆ PHẦN MỀM NHÓM 10 Công nghệ phần mềm Việt Nam Qui 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. Tiềm năng Có nguồn nhân lực dồi dào Có nhiều dự án đầu tư của nước ngoài Công nghệ phần mềm Việt Nam Thách thức Do cần một nguồn nhân lực có trình độ, tư duy lôgic tốt, am hiểu ngoại ngữ và các nền tảng công nghệ nên chúng ta đang còn thiếu rất nhiều Công nghiệp phần mềm Việt Nam chủ yếu vẫn là gia công phần mềm chưa thực sự nắm được một nền tảng công nghệ nào. Giải pháp Đào tạo đội ngũ nhân lực có đầy đủ năng lực trình độ ngoại ngữ, Các viện nghiên cứu, các trường đại học phải là những nơi tiên phong trong việc nghiên cứu áp dụng những nền tảng công nghệ Sơ lược về Cleanroom SE Định nghĩa Tập hợp các công cụ nhằm đặc tả toán | Đề tài: Công nghệ phần mềm phòng sạch (Mô hình hình thức) BÀI TẬP LỚN CÔNG NGHỆ PHẦN MỀM NHÓM 10 Công nghệ phần mềm Việt Nam Qui 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. Tiềm năng Có nguồn nhân lực dồi dào Có nhiều dự án đầu tư của nước ngoài Công nghệ phần mềm Việt Nam Thách thức Do cần một nguồn nhân lực có trình độ, tư duy lôgic tốt, am hiểu ngoại ngữ và các nền tảng công nghệ nên chúng ta đang còn thiếu rất nhiều Công nghiệp phần mềm Việt Nam chủ yếu vẫn là gia công phần mềm chưa thực sự nắm được một nền tảng công nghệ nào. Giải pháp Đào tạo đội ngũ nhân lực có đầy đủ năng lực trình độ ngoại ngữ, Các viện nghiên cứu, các trường đại học phải là những nơi tiên phong trong việc nghiên cứu áp dụng những nền tảng công nghệ Sơ lược về Cleanroom SE Định nghĩa Tập hợp các công cụ nhằm đặc tả toán học phần mềm từ khâu định nghĩa, phát triển đến kiểm chứng Tầm quan trọng Một qui trình nhấn mạnh chứng nhận toán học chính xác trước khi chương trình khởi tạo và chứng nhận của phần mềm được thực thi như một phần của hoạt động kiểm thử Khi xảy ra lỗi, làm lại sẽ mất rất nhiều thời gian và chi phi. Do đó có mô hình hình thức của phần mềm phòng sạch ta sẽ giảm được đáng kể số lượng lỗi và đưa ra được phần mềm như thiết kế và xây dựng Sơ lược về Cleanroom SE Phạm vi liên quan Phần mềm được kiểm tra bởi định nghĩa sử dụng kịch bản, xác định xác suất sử dụng cho mỗi kịch bản, và sau đó xác định các xét nghiệm ngẫu nhiên mà phù hợp với các xác suất. Những bản ghi lỗi kết quả của sự phân tích cho phép những tính toán toán học trong định hướng độ tin cậy cho các thành phần phần mềm. Sơ lược về Cleanroom SE Quá trình phát triển và hiện trạng Triết lý phòng sạch được lần đầu tiên đề xuất cho công nghệ phần mềm bởi Mills, Dyer và Linger trong thập kỷ 80. Sau đó được Henderson đưa ra với 3 lý do
