Bài giảng Đảm bảo chất lượng phần mềm: Kiểm chứng sản phẩm giới thiệu nội dung về dùng mẫu thử, lỗi phần mềm, kiểm thử phần mềm, thiết kế testcase, các kỹ thuật debuging. mời các bạn tham khảo nội dung chi tiết.
SW Quality Assurance 05 Validation (kiểm chứng sản phẩm) Nguyễn Anh Hào Khoa CNTT2 Học viện CNBCVT – Cs Tp.HCM Validation Là hành động để bảo đảm đặc tả yêu cầu cho phần mềm đầy đủ so với mong đợi Ví dụ: thực hoá hiểu biết PM thành mẫu thử để đối chiếu với mong muốn Là hành động để bảo đảm PM làm thỏa mãn yêu cầu cam kết Thường hiểu hết lỗi, ie, không tìm chứng lỗi PM Vd: Định nghĩa thực hết testcase unit-test, system test, acceptance test, 1.Dùng mẫu thử Mẫu thử Mẫu thử dùng để sửa thêm yêu cầu Prototype Software errors ANALISYS DESIGN CODE DEBUG Lỗi phần mềm Tình phần mềm cho có lỗi ? Thực sai yêu cầu Không thực chức Khơng thỏa mãn u cầu tính … Lỗi phần mềm : ngôn từ Error: “sự hư hỏng” thân chương trình (vd: logic bị sai) Fault: “sự hư hỏng” chức xử lý chương trình error gây Failure : “sự hư hỏng” nhận biết được, phần mềm chạy đụng đến fault Không fault luôn gây failure Defect: khiếm khuyết chương trình theo cách đánh giá người dùng (không failures) Lỗi phần mềm: vài nguyên nhân 8 Người yêu cầu (khách hàng) định nghĩa sai yêu cầu cho phần mềm Hiểu lầm khách hàng người phát triễn Người phát triễn pm hiểu sai yêu cầu Sai thiết kế luận lý (sai thiết kế mặt ý niệm) Sai mã lệnh Chương trình thực thi khơng với u cầu Thiếu kiểm thử Lỗi sai thủ tục vận hành Lỗi sai tài liệu hướng dẫn sử dụng Kiểm thử phần mềm : quan điểm Phần mềm có chất lượng tốt phần mềm khơng có failure => kiễm thử test case ? Dijkstra: kiểm thử khẳng định PM có lỗi, khơng thể khẳng định PM hết lỗi, tổ hợp input-output lớn, điều khiển phức tạp môi trường sử dụng đa dạng (SW Testting & QA from theory to practice, P13) Phát để sửa lỗi ấn phẩm ban đầu (đặc tả yêu cầu, thiết kế) trước sử dụng cần thiết, để tránh phải làm lại Chứng minh cho cách làm kiễm thử sản phẩm hành động hổ trợ lẫn nhau; ie ta cần chọn lựa hành động cho phù hợp Ngăn ngừa lỗi tốt sửa lỗi Tự động hoá kiễm thử cần thiết Testing 10 Là hành động tìm chổ sai ấn phẩm PM so với yêu cầu, cách thực thi SP PM mẫu thử ấn phẩm Có mức: Unit, integration, system & Acceptance test Regression test : tìm hiệu ứng lề cập nhật ấn phẩm; phần loại test Testing gọi kiểm thử có thực thi ≠ kiểm thử phi thực thi (verification) : code inspection, code walk-through,… Testing ≠ Debug: để hiểu cách thực thi PM SW testing and quality assurance from theory to practice.pdf P16 24 Basis set of paths from example 25 Generate test cases ... Lỗi sai tài liệu hướng dẫn sử dụng Kiểm thử phần mềm : quan điểm Phần mềm có chất lượng tốt phần mềm khơng có failure => kiễm thử test case ? Dijkstra: kiểm thử khẳng định PM có lỗi, khơng...Validation Là hành động để bảo đảm đặc tả yêu cầu cho phần mềm đầy đủ so với mong đợi Ví dụ: thực hoá hiểu biết PM thành mẫu thử để đối chiếu với mong muốn Là hành động để bảo đảm PM làm thỏa mãn yêu... chổ sai ấn phẩm PM so với yêu cầu, cách thực thi SP PM mẫu thử ấn phẩm Có mức: Unit, integration, system & Acceptance test Regression test : tìm hiệu ứng lề cập nhật ấn phẩm; phần loại