Bài giảng Đảm bảo chất lượng phần mềm: Đặc tả phần mềm - Nguyễn Anh Hào

Bài giảng Đảm bảo chất lượng phần mềm: Đặc tả phần mềm trình bày nội dung về định yêu cầu là gì, hai khía cạnh mô tả cho phần mềm, người sử dụng, làm phần mềm thoả mãn yêu cầu, các yếu tố tham gia đặc tả yêu cầu, các mô hình chất lượng của sản phẩm phần mềm,... Mời các bạn tham khảo nội dung chi tiết.

SW Quality Assurance 02 Đặc tả phần mềm  Nguyễn Anh Hào Khoa CNTT2 Học viện CNBCVT – Cs Tp.HCM Yêu cầu gi ?  Yêu cầu (requirements) đặc tả cho cần phải thực (được thoả mãn) đặc tả hành vi xử lý phần mềm (functions) đặc tả đặc tính phần mềm (characteristics) đặc tả ràng buộc đ/v cách thức phát triễn phần mềm (constraints)  Yêu cầu không tường minh (needs) mong muốn cho cần thiết, không đặc tả  Cả yêu cầu lẫn mong muốn góp phần định chất lượng phần mềm Software_Requirements, 3rd edition, 2013.pdf: Page khía cạnh mơ tả cho PM Người sử dụng cần nêu yêu cầu đ/v PM để thoả mãn cho nhu cầu sử dụng họ  VD: đáng tin cậy (reliability)|user PM cho kết xác tình Nhà phát triễn cần biết chức đặc tính mong đợi từ PM để làm  ie developers cần biết Yêu cầu chức (functional requirements) Yêu cầu đặc tính (non-functional requirements)  Ví dụ : yếu tố đáng tin cậy|user developer hiểu quán (consistency), chịu đựng hư hỏng (fault tolerance) & xác (accuracy), thuộc tính cố hữu PM mà developer kiễm sốt   Làm PM thoả mãn yêu cầu (1)  Thông thường, nhà phát triễn phiên dịch yêu cầu mong muốn người sử dụng thành đặc tả chức đặc tính phần mềm xây dựng Vấn đề là:  Liệu yêu cầu từ users có đủ để làm phần mềm có chất lượng ?  Ie, đơi user khơng nói devs phải biết  Các đặc tính chất lượng yêu cầu từ users hiểu cho để cài đặt ?  Hiểu đúng: không hiểu lầm, user lẫn devs có chung ý niệm yêu cầu 5 Mối quan hệ đặc tả dot arrow = “is the origin of…”, arrow = “are stored in …” Software_Requirements, 3rd edition, 2013.pdf: Page Các yếu tố tham gia đặc tả yêu cầu Slide trước chức phần mềm đặc tả từ nguồn: Yêu cầu từ users (user requirements doc)  Quy tắc quản lý tổ chức (business rules)  Đặc tính chất lượng mong đợi sản phẩm phần mềm (quality attributes), bắt nguồn từ quy tắc quản lý  Yêu cầu hệ thống có chứa phần mềm  Các giao tiếp ngồi  Phần mềm có chất lượng đặc tả hiểu làm đúng, có đặc tả đặc tính chất lượng mong đợi (bắt nguồn từ quy tắc quản lý) Làm PM có chất lượng (2) Thực tế: Người sử dụng mơ tả u cầu chức năng, khó mơ tả đặc tính PM (reusability, maintainability,… ) định chất lượng PM Đặc tính u cầu đơi bị nhầm lẫn, vd: dể sử dụng (do lực người sử dụng), chạy nhanh (do tài nguyên cấp cho PM),… Vấn đề việc mô tả yêu cầu đ/v SPPM: Cần chuẩn hoá yêu cầu chất lượng đ/v phần mềm (gọi yếu tố chất lượng, quality factors, “QF”) để hiểu sử dụng từ phía Cần ánh xạ yếu tố chất lượng thành đặc tính cố hữu phần mềm để devs cài đặt chúng vào sản phẩm 8 Các mơ hình chất lượng SPPM Các mơ hình chất lượng PM SE: McCall (1977), B Boelm, … ISO 9126 (2000) → ISO 25010 →SQuaRE,… Vai trị mơ hình này: Chuẩn hoá yếu tố chất lượng phần mềm góc độ sử dụng (tránh trùng lặp, mâu thuẩn hiểu lầm) Ánh xạ yếu tố chất lượng thành đặc tính sản phẩm phần mềm (Để đánh giá mức độ thoả mãn yêu cầu chất lượng từ đặc tính thiết kế phần mềm.) Mơ hình Mc.Call (1977) Chuyển giao Xây dựng Cập nhật Sử dụng (vận hành) PM cần thỏa mãn yêu cầu & mong đợi từ khía cạnh: chuyển giao, vận hành cập nhật Các yếu tố chất lượng (quality factors) đưa từ khía cạnh này, để users devs “hiểu nhau” (có chung quan điểm) Quality factors mơ hình “phiên dịch” thành đặc điểm PM (quality criteria) cho devs tiến hành xây dựng PM 10 Mô hình Mc.Call (1977) Quality Factors = external quality factors Mc.Call : OPERATION 11 Correctness: khả cung cấp kết xác chấp nhận Reliability: Là khả hoạt động ổn định điều kiện bất thường tránh kết xuất sai ◦ ◦ Khả chịu lỗi Khả tự phục hồi Usability: Là khả giúp người sử dụng hiểu được, học sử dụng phần mềm Integrity: Là khả bảo vệ thông tin liệu để ngăn chặn truy cập, đọc hay chỉnh sửa trái phép Efficiency: Là khả thực tất chức cách hợp lý tương ứng với lượng tài nguyên phép sử dụng Mc.Call : TRANSITION 12 ◦ ◦ ◦ ◦ ◦ Portablity: Là khả dùng PM nhiều mơi trường khác Thích nghi với nhiều mơi trường (lớp nền, services, …) Cùng tồn môi trường (no conflict) Thay cho phần mềm khác có chức Reusability: Là khả sử dụng lại nhiều thành phần PM PM tháo rời thành nhiều gói dùng lại Interoperability: khả cộng tác thành phần, PM với hệ thống khác PM có giao tiếp & phương thức hợp chuẩn Mc.Call : REVISION 13 Maintainability: Là mức độ trợ giúp từ PM cho người bảo trì, để giảm thiểu nổ lực tìm nguyên nhân hư hỏng (failures), sửa chữa cải tiến ◦ ◦ Cấu trúc thành phần PM thuận lợi cho bảo trì Có tài liệu đặc tả tốt phần mềm (q.lý cấu hình) Flexibility: Là mức độ đáp ứng linh hoạt PM cho yêu cầu đa dạng phạm vi sử dụng chức thiết kế ◦ Dự trù trước tình tùy biến chức Testability: Là mức độ trợ giúp người kiểm tra đánh giá, chẩn đốn để tìm lỗi để xác định chổ cần sửa phần mềm ◦ Bẩy lỗi báo lỗi chương trình Mc.Call:Mapping 14 Quality Factors Quality Criteria Traceability OPERATION Correctness Reliability Completeness Consistency Accuracy Error tolerance Efficiency Execution efficiency Storage efficiency Integrity Access control Access audit Usability Operability Training Communicativeness Mc.Call: Mapping 15 REVISION Quality Factors Maintainability Testability Flexibility Quality Criteria Simplicity Conciseness Instrumentation Self-descriptiveness Expandability TRANSITION Generality Modularity Portability Reusability Interoperability Software-system independence Machine independence Communication commonality Data commonality ISO 9126 (2000) : tiếp cận 16 Chất lượng PM có từ việc sử dụng ngữ cảnh cụ thể (quality in use) Giống McCall: external quality attributes (QF) phụ thuộc vào internal quality attributes (Quality Criteria) ISO 9126-1 standard.pdf 17 ISO 9126 (2000) : nguyên lý Specs Evaluation User’s view Dev’s view Product development supports 18 ISO 9126 (2000): SW characteristics 19 ISO 9126 (2000): SW in use application supports Specified users, specified goals in a specified context of use Satisfaction Productivity Quality in use Safety Effectiveness Internal attributes (Criteria) Attribute Sub-characteristic Characteristic ISO 9126-1 standard.pdf External attributes (QF) ISO 9126 : Mapping 20 ... (requirements) đặc tả cho cần phải thực (được thoả mãn) ? ?đặc tả hành vi xử lý phần mềm (functions) ? ?đặc tả đặc tính phần mềm (characteristics) ? ?đặc tả ràng buộc đ/v cách thức phát triễn phần mềm (constraints)... rules)  Đặc tính chất lượng mong đợi sản phẩm phần mềm (quality attributes), bắt nguồn từ quy tắc quản lý  Yêu cầu hệ thống có chứa phần mềm  Các giao tiếp  ? ?Phần mềm có chất lượng đặc tả hiểu... dụng thành đặc tả chức đặc tính phần mềm xây dựng Vấn đề là:  Liệu yêu cầu từ users có đủ để làm phần mềm có chất lượng ?  Ie, đơi user khơng nói devs phải biết  Các đặc tính chất lượng yêu