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...
Nội dung trích xuất từ 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 TRƯỜNG ĐẠI HỌC CÔNG NGHIỆP HÀ NỘI KHOA CÔNG NGHỆ THÔNG TIN   BÀI TẬP LỚN MÔNNHẬP MÔN CÔNG NGHỆ PHẦN MỀM Đề tài: Kỹ nghệ phần mềm phòng sạch Giáo viên hướng dẫn: Th.s Nguyễn Thanh Bình Sinh viên thực hiện: Nhóm 10-Lớp CĐ Tin2-K11 1:Lê Huy Lân 2: Nguyễn Tiến Đạt 3: Đặng Thị Hà Hà Nội 05/2011 1 LỜI GIỚI THIỆU 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 trongchiế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ôngnghiệ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 một sốdự án đầu tư của nước ngoài. Tuy nhiên khác với những nghành công nghiệp đặc thùkhác, công nghiệp phần mềm lại cần một nguồn nhân lực có trình độ, tư duy lôgic tốt, amhiểu ngoại ngữ và các nền tảng công nghệ. Nguồn nhân lực như vậy chúng ta đang thiếurất nhiều. Thêm nữa công nghiệp phần mềm Việt Nam chủ yếu vẫn là gia công phầnmềm chưa thực sự nắm được một nền tảng công nghệ nào, tức là chúng ta chỉ đang làmmướn mà thôi. Chính vì vậy nhiệm vụ của chúng ta hiện nay để vực dậy nền công nghiệpphần mềm non trẻ là thứ nhất: đào tạo đội ngũ nhân lực có đầy đủ năng lực trình độ ngoạingữ, thứ hai: 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 trongviệc nghiên cứu áp dụng những nền tảng công nghệ, để giúp cho Việt Nam không chỉ cònlà “kẻ làm mướn” mà còn có thể làm chủ, phát huy tính chủ động sáng tạo trong mỗi tríthức trẻ. Đó chính là giá trị thực mà chúng ta cần vươn tới. Góp phần nhỏ bé vào mục tiêu cao cả ấy, nhóm sinh viên số 10 lớp tin2_k11trường Đại Học Công Nghiệp Hà Nội chúng tôi đã tiến hành tiến hành tìm hiểu và báo vềđề tài Công nghệ phần mềm phòng sạch(hay còn gọi là mô hình hình thức). Đây là mộtcông nghệ mới ở Việt Nam và cũng chỉ được áp dụng ở một vài nước tiên tiến nhất trênthế giới. Đúng như tên gọi của nó mục tiêu của phương pháp này là tạo ra những phầnmềm “cực kỳ sạch” tức là không có bất kỳ một lỗi nào. Điều này cực kỳ hữu ích bởichúng ta đều biết 70% chi phí cho một phần mềm dùng vào việc bảo trì sửa chữa. Thặngdư tạo ra sẽ cực kỳ lớn. Bài báo cáo sau đây sẽ đem lại cho các bạn cái nhìn tổng quan nhất về Công nghệphần mềm phòng sạch, là hướng mở cho sinh viên CNTT chúng ta nghiên cứu và pháttriển. Nhóm chúng tôi xin chân thành cảm ơn cô giáo Nguyễn Thanh Bình cũng như cácbạn đồng nghiệp gần xa đã tận tình giúp đỡ chúng tôi hoàn thành bản báo cáo này. Tuyđã cố gắng hết sức nhưng do thời gian, kinh nghiệm và năng lực còn hạn chế nên trongbản báo cáo không thể tránh khỏi những thiếu sót. Rất mong nhận được sự đóng gópphản hồi từ các bạn để chúng tôi ngày càng hoàn thiện hơn! Một lần nữa Chúng em xin chân thành cảm ơn! 2 Mục lụcLỜI GIỚI THIỆU ................................................................................................... 1DANH MỤC TỪ VIẾT TẮT ................................................................................. 4BẢNG DANH MỤC CÁC HÌNH VẼ .................................................................... 5I. PHẦN MỞ ĐẦU ................................................................................................ 61. Tầm quan trọng của mô hình hình thức (phần mềm phòng sạch)................... 62. Phạm vi liên quan.......................................................................................... 63. Quá trình phát triển và hiện trạng .................................................................. 74. Vai trò và ý nghĩa của đề tài trong vấn đề chung nói riêng và CNPM nóichung ..................................................................................................................... 8II. Nội dung ............................................................................................................ 91. Phương pháp phòng sạch .............................................................................. 92. Chức năng đặc điểm kỹ thuật ...................................................................... 123. Thiết kế phòng sạch.......................................................................................... 164. Kiểm thử phòng sạch ............................................................................ ...