NHẬP MÔN CÔNG NGHỆ PHẦN MỀM

NHẬP MÔN CÔNG NGHỆ PHẦN MỀM Giảng viên: Đỗ Thị Thanh Tuyền Email: dothithanhtuyen@gmail.com Nội dung môn học n Tổng quan Cơng nghệ phần mềm n Xác định mơ hình hóa yêu cầu phần mềm n Thiết kế phần mềm n Cài đặt phần mềm n Kiểm thử bảo trì n Đồ án môn học Nhập môn Công nghệ Phần mềm January 15 Các khái niệm n Kiểm thử phần mềm: kiểm tra tính xác, an tồn, bảo mật riêng tư phần mềm cách chạy thử để so sánh kết thực tế với lý thuyết nhằm mục đích phát lỗi (nếu có) Kiểm thử chiếm 30% -> 40% chi phí phát triển n Bảo trì phần mềm: việc sửa đổi phần mềm sau bàn giao để khắc phục lỗi phát sinh, nâng cấp tính sử dụng, cải thiện hiệu phần mềm làm cho phần mềm thích ứng môi trường bị thay đổi Nhập môn Công nghệ Phần mềm January 15 Kiểm thử phần mềm n  Tính xác hệ thống thể chỗ hệ thống làm việc luôn đắn liệu dùng hệ thống xác thực phi mâu thuẫn n  Tính an tồn hệ thống thể chỗ hệ thống không bị xâm hại hay bị xâm hại không nhiều xảy cố kỹ thuật n  Tính bảo mật hệ thống thể chỗ hệ thống có khả ngăn ngừa xâm phạm vơ tình hay cố ý từ phía người n  Tính riêng tư hệ thống thể chỗ hệ thống bảo đảm quyền truy nhập riêng tư loại người dùng khác Nhập môn Công nghệ Phần mềm January 15 Các nguyên tắc đảm bảo n  Tính xác: kiểm tra thơng tin nhập xuất Áp dụng hình thức kiểm tra tự động/bằng tay, đầy đủ/chọn đặc trưng, trực tiếp/gián tiếp n  Tính an tồn: đảm bảo an tồn thơng tin quan trọng nhất, sử dụng cách sau: Ø  Khóa phần sở liệu: khóa gốc tiến hành việc cập nhật sao, việc thay liệu thực thao tác cập nhật thực hoàn tất Ø  Sử dụng tệp lục: + Tệp nhật ký: tệp chứa đơn vị sở liệu trước sau chúng cập nhật + Tệp lưu: chứa toàn phần sở liệu thực theo chu kỳ Nhập môn Công nghệ Phần mềm January 15 Các nguyên tắc đảm bảo (tt) Ø  Thực thủ tục phục hồi: thủ tục phục hồi thủ tục nhằm đưa sở liệu trở trạng thái đắn trước bị hỏng gián đoạn chương trình (hư hỏng phần cứng, chương trình bị treo…) Cân nhắc việc chạy lại từ đầu chạy từ chỗ bị ngắt n  Tính bảo mật: nhận diện điểm hở dự đoán mối đe dọa tiềm ẩn từ điểm hở Các điểm hở chỗ mà tác nhân bên ngồi vơ tình hay cố ý gây tác động tiêu cực cho hệ thống Các điểm hở là: + Thủ tục vào/ra; + Kho liệu; + Đường truyền; … Nhập môn Công nghệ Phần mềm January 15 Các nguyên tắc đảm bảo (tt) Các biện pháp bảo mật: + Bảo mật vật lý; + Tài khoản người dùng; + Mã hóa; + Truy nhập gián tiếp; + Tường lửa n  Tính riêng tư: phân loại người dùng để: + Gán cho loại người dùng số quyền truy nhập định Các quyền truy nhập: read, insert, update, delete, expand, drop, index, run + Cho phép số người dùng phép ủy quyền (giao quyền truy nhập cho người khác) Nhập môn Công nghệ Phần mềm January 15 Bộ kiểm thử n Bộ kiểm thử liệu dùng để kiểm tra n Một kiểm thử tốt có khả bao phủ trường hợp xảy lỗi n Nội dung kiểm thử bao gồm: Ø  Tên module/chức muốn kiểm thử Ø  Thông tin đầu vào: môi trường kiểm thử, liệu dùng để kiểm tra, thứ tự thao tác Ø  Kết mong muốn Ø  Kết thực tế Nhập môn Công nghệ Phần mềm January 15 Yêu cầu kiểm thử n Phải đảm bảo kiểm tra hết trường hợp n Phải lập tài liệu cho trình kiểm thử n Phải tiến hành kiểm tra lại để đảm bảo lỗi sửa chữa Nhập môn Công nghệ Phần mềm January 15 Tiến trình kiểm thử Kiểm thử đơn vị Kiểm tra thành phần phần mềm riêng lẻ Kiểm thử tích hợp Tích hợp thành phần riêng lẻ kiểm tra tiến hành kiểm tra nhóm Kiểm thử hệ thống Kiểm tra toàn hệ thống khối tổng thể Kiểm thử chấp nhận Nhập môn Công nghệ Phần mềm 10 January 15 Tiến trình kiểm thử (tt) n  Kiểm thử đơn vị (unit testing) -> Unit test case n  Kiểm thử tích hợp (integration testing) -> Dancing testing n  Kiểm thử hệ thống (system testing) -> Functional/Non-functional testing Ø Kiểm thử phục hồi (recovery testing) Ø Kiểm thử áp lực (stress testing) Ø Kiểm thử thi hành (performance testing) Ø Kiểm thử an ninh (security testing) n  Kiểm thử chấp nhận (acceptance testing): Ø Kiểm thử Alpha Ø Kiểm thử Beta Nhập môn Công nghệ Phần mềm 11 January 15 Kiểm thử Alpha n Là hình thức kiểm nhận nội n Được thực người dùng/khách hàng tiềm người phát triển/nhóm kiểm thử độc lập Nhập môn Công nghệ Phần mềm 12 January 15 Kiểm thử Beta n Là hình thức kiểm nhận bên ngồi n Chỉ thực người dùng/khách hàng tiềm năng, không liên quan đến nhà phát triển n Kiểm tra phiên loại nhằm lấy phản hồi từ thị trường Nhập môn Công nghệ Phần mềm 13 January 15 Các phương pháp chiến lược n  Hai phương pháp phổ biến: Ø Kiểm thử hộp đen Ø Kiểm thử hộp trắng n  Các chiến lược kiểm thử: Ø Kiểm thử từ xuống/dưới lên Ø Kiểm thử big bang Ø Kiểm thử hồi quy Ø Kiểm thử hệ thời gian thực (RTS) Nhập môn Công nghệ Phần mềm 14 January 15 Kiểm thử hộp đen n Dùng để kiểm tra yêu cầu chức phần mềm n Không tham khảo cấu trúc bên thành phần hệ thống n Chia không gian thử nghiệm dựa vào giá trị nhập/xuất đơn vị cần kiểm tra: chọn thử nghiệm đặc trưng cho vùng liệu thử nghiệm nên chứa giá trị biên vùng liệu n Sử dụng kỹ thuật Phân hoạch tương đương Đồ thị nhân Nhập môn Công nghệ Phần mềm 15 January 15 Kiểm thử hộp trắng n Kiểm tra dựa phân tích cấu trúc bên thành phần hệ thống n Chia không gian thử nghiệm dựa vào cấu trúc đơn vị cần kiểm tra: Ø  Kiểm tra giao tiếp đơn vị để đảm bảo dòng thơng tin vào đơn vị Ø  Kiểm tra liệu cục để đảm bảo liệu lưu trữ đơn vị tồn vẹn suốt q trình thuật giải thực Nhập môn Công nghệ Phần mềm 16 January 15 Kiểm thử hộp trắng (tt) Ø  Kiểm tra điều kiện biên câu lệnh điều khiển, vòng lặp…để đảm bảo đơn vị ln chạy biên Ø  Kiểm tra để đảm bảo đường thực phải qua lần Ø  Kiểm tra thực thi đơn vị trường hợp ngoại lệ n Sử dụng kỹ thuật Đồ thị dòng Nhập mơn Cơng nghệ Phần mềm 17 January 15 Công cụ kiểm thử tự động n Kiểm thử tự động liệu: Ø Bộ sinh liệu thử Ø Bộ xác minh kết n Kiểm thử tự động cài đặt: Ø Bộ kiểm tốn mã Ø Mơ ứng xử module phụ Ø Bộ so sánh đầu n Mơ mơi trường (ngoại lai) n Bộ phân tích dòng liệu (qui mô tần suất ddl) Nhập môn Cơng nghệ Phần mềm 18 January 15 Bảo trì phần mềm Bảo trì phần mềm chia thành loại: n Sửa lại cho (corrective): việc sửa lỗi phát sinh q trình sử dụng n Thích ứng (adaptative): việc chỉnh sửa hệ thống cho phù hợp với mơi trường thay đổi n Hồn thiện: việc chỉnh sửa để đáp ứng yêu cầu yêu cầu thay đổi người sử dụng n Bảo vệ (preventive): làm cho hệ thống dễ dàng bảo trì lần Nhập môn Công nghệ Phần mềm 19 January 15 Q&A Nhập môn Công nghệ Phần mềm 20 January 15 ... thực thi đơn vị trường hợp ngoại lệ n Sử dụng kỹ thuật Đồ thị dòng Nhập mơn Cơng nghệ Phần mềm 17 January 15 Công cụ kiểm thử tự động n Kiểm thử tự động liệu: Ø Bộ sinh liệu thử Ø Bộ xác minh