Tài liệu Huongdan_tieuluan_cnfmnc

CHUẨN BỊ TIỂU LUẬN - CNFM_NC A. CÁC CHỦ ĐỀ CÓ THỂ LỰA CHỌN I. Phương pháp, công cụ, các chuẩn I.1. Các phương pháp a. Các tiến trình phát triển − Các tiến trình phát triển phần mềm tiên tiến (RUP, WINWIN Spiral process, RAD-rapid analysis and design ) • Tiến trình cài đặt và chuyển đổi HT (system installation and transfor mation) − Kỹ nghệ phần mềm trên nền web (web egineering) − Kỹ nghệ phần mềm phòng sạch (Cleanroom Software Engineering) − Tái kỹ nghệ phần mềm (software reengineering) b. Các phương pháp đặc tả Đặc tả hình thức phần mềm (software formal specification) − Mô hình máy trạng thái hữu hạn (finite state machine -FSM) − Đặc tả bằng lưới (PETRI network) − Đặc tả đại số (algebric specification) − Phương pháp VDM, phương pháp Z c. Các phương pháp thiết kế − Phương pháp thiết kế hướng thành phần (component based analysis and design) − Phân tích thiết kế hướng đối tượng (object oriented analysis and design) − Phương pháp thiết kế hướng mẫu (pattern oriented analysis and design) − Phân tích thiết kế hệ thời gian thực (real time analysis and design) 2 Tài liệu hướng dẫn thực hiện tiểu luận I.2. Các mô hình, công cụ (các phần mềm trợ giúp phát triển và quản lý): − Phân tích (đặc tả) − Thiết kế − Quản lý dự án − Quản lý sự thay đổi − Kiểm thử − An toàn bảo mật (safety, security): hệ thống, mạng, dữ liệu I.3. Các chuẩn cho phát triển phần mềm (standards for software development) ISO/9126, ISO 9000, DOD 2167, ISO/IEC 15504, bộ tài liệu SPICE,.. II Kiểm thử (software testing) II.1. Các loại hình và phương pháp kiểm thử − Kiểm thử đơn vị (unit testing) − Kiểm thử tích hợp (integration testing) − Kiểm thử hệ thống (system testing ) − Kiểm thử hệ thống thời gian thực (real time software system) − Kiểm thử hệ thống hướng đối tượng (object oriented software system) − Kiểm thử chấp nhận (aceptance testing) Kiểm thử Alpha, Beta (alpha (beta) testing) Kiểm thử áp lực (stress testing) Kiểm thử phục hồi (recovery testing) Kiểm thử hồi quy (regression testing) Kiểm thử bảo mật (security testing) − Phương pháp hộp trắng (white box testing) − Phương pháp hộp đen (black box testing) Biên tập: Nguyễn Văn Vỵ - Khoa CNTT, ĐH Công nghệ, ĐHQGHN Tài liệu hướng dẫnthực hiện tiểu luận 3 II.2. Chiến lược kiểm thử (testing strategy) − Chiến lược từ trên xuống (top down testing) − Chiến lược từ dưới lên (bottom up testing) − Chiến lược vụ nổ lớn (big bang testing) III. Các độ đo (metrics) − Software Requirements Metrics: Các tham số đánh giá về yêu cầu phần mềm Programmer Productivity Metrics: Đưa ra các tham số đánh giá hiệu suất cuả lập trình viên − Software Design Metrics: Các tham số dùng để đánh giá chất lượng của quá trình thiết kế phần mềm (độ đo thiết kiến trúc, thiết kế giao diện, thiết kế thành phần: độ ghép nối, kết dính, mô đun hóa, độ phức tạp ..) − Code Metrics: liên quan đo dung lượng, độ dài chương trình, ước lượng số lỗi còn có trong chương trình, − Software Testing Metrics: − Software Mainternence Metrics: − Management Metrics. Các tham số này cần đánh giá cho mục đích ước lượng: Các mô hình ước lượng về thời gian, chi phí và nguồn lực như cocomo I, II) − Metrics for Object Oriented Software Development: địa phương hóa (localization), bao gói thông tin (Inform.encapsulation), che dấu thông tin (Inform.hiding), kế thừa, IV. Quản lý và đảm bảo chất lượng − Quản lý dự án phần mêm (software project management): Mô hình CMM và CMMI (capacity muturity model) − Quản lý thay đổi (change management) − Quản lý cấu hình (configuration management) − Quản lý rủi ro (risk management) Biên tập: Nguyễn Văn Vỵ - Khoa CNTT, ĐH Công nghệ, ĐHQGHN 4 Tài liệu hướng dẫn thực hiện tiểu luận B. TÀI LIỆU THAM KHẢO 1. Nguyễn Văn Vy, Nguyễn Việt Hà, Giáo trình kỹ nghệ phần mềm. Khoa CNTT, Đại học Công nghệ, ĐHQGHN, 2006 2. Roger S.Pressman, Software Engineering, a Practitioner’s Edition, McGraw Hill, 2001, Approach. Fifth 3. Ian Sommerville, Software Engineering. Sixth Edition, Addison-Wasley.2001 4. American National Standards Institute http://www.ansi.org/ 5. Institute of Electrical and Electronics Engineers (IEEE) http://www.ieee.org/portal/index.jsp a. 'IEEE Standard for Software Test Documentation' (IEEE/ANSI Standard 829), b. 'IEEE Standard of Software Unit Testing (IEEE/ANSI Standard 1008), c. 'IEEE Standard for Software Quality Assurance Plans' (IEEE/ANSI Standard ANSI/IEEE 730-2002 ). 6. Pressmen and Associates (2000). Cleanroom Engineering Resources. http://www.rspa.com/spi/cleanroom.html 7. Stavely, A. (2000). Integrating Z and Cleanroom. http://archive.larc.nasa.gov/shemesh/Lfm2000/Proc/cpp13.pdf 8. Wolack, C. (2001). Taking The Art Out Of Software Development – An In-Depth Review of Cleanroom Software Engineering. http://www.scisstudyguides.addr.com/papers/cwdiss725paper1.htm 9. T Audit Guidelines – ASOSAI - Tài liệu của hiệp hội kiểm toán CNTT châu Á (6th ASOSAI Research Project). 10. Một số trang web liên quan: http://www.csci.csusb.edu/dick/samples/standards.html http://www.v-modell.iabg.de/lit250.htm http://www.gel.ulaval.ca/~mbreton/software.htm http://www.iso.org (tổ chức chuẩn quốc tế) http://www.issco.unige.ch/ewg95/node14.html Biên tập: Nguyễn Văn Vỵ - Khoa CNTT, ĐH Công nghệ, ĐHQGHN Tài liệu hướng dẫnthực hiện tiểu luận 5 http://www.sei.cmu.edu/activities/str/descriptions/cleanroom_body.html http://www.javacamp.org/designPattern/designpatterns.html http://www.codeproject.com/gen/design/CSharpClassFactory.asp http://www.industrialhub.com/quality-management.htm http://www.tcvn.gov.vn/index.php?p=pages&pid=32 (tiêu chuẩn Việt nam) http://www.amazon.com (tìm tên sách) C. ĐỀ CƯƠNG 1. Mở đầu Tầm quan trọng của vấn đề giải quyết (thuộc một trong các vấn đề của đảm bảo chất lượng phần mềm như đã nêu ở trên)? Tên chủ đề lựa chọn, phạm vi liên quan đến vấn đề được đặt ra? Quá trình phát triển, hiện trạng ở đâu? Vai trò và ý nghĩa của nó trong việc đảm bảo chất lượng phần mềm? 2. Nội dung (tùy thuộc mỗi loại vấn đề mà việc trình bày nội dung có thể có bố cục và cách thể hiện chi tiết khác nhau) Bài toán cụ thể đặt ra Các bước giải quyết Phương pháp, công cụ sử dụng Ưu, nhược điểm của cách giải quyết Ví dụ minh họa So sánh với các cách giải pháp khác cho vấn đề tương tự 3. Kết luận Sự triển khai ứng dụng hiện tại và triển vọng của giải pháp Những vấn đề tồn tại cần nghiên cứu giải quyết tiếp Những đề xuất có thể 4. Tài liệu tham khảo Biên tập: Nguyễn Văn Vỵ - Khoa CNTT, ĐH Công nghệ, ĐHQGHN