Bài giảng Nhập môn Tin học: Chương 4 cung cấp cho người học các kiến thức: Kiểm thử và gỡ lỗi, gỡ lỗi logic cho chương trình (Logic Errors), chuyển đổi thành hệ thống mới, đánh giá hệ thống. Mời các bạn cùng tham khảo nội dung chi tiết.
Chương Cài đặt vận hành hệ thống Kiểm thử gỡ lỗi- Testing and Debugging Kiểm thử: q trình kiểm tra chương trình có đáp ứng chức theo yêu cầu ban đầu đưa không Gỡ lỗi: trình tìm lỗi sửa lỗi chương trình Kiểm thử gỡ lỗi- Testing and Debugging Các loại lỗi chương trình - Types of Program Errors Lỗi cú pháp - Syntax Errors: Là lệnh chương trình khơng tn theo cú pháp ngơn ngữ lập trình Ví dụ: C:= 5+4; Lỗi C lại Pascal Lỗi Logic - Logic Errors Chương trình biên dịch thực thành công kết khơng xác Ví dụ: Thay C=5+4; Lại đánh C=5-4; Kiểm thử gỡ lỗi- Testing and Debugging Kiểm thử chương trình - Testing a Program Kiểm thử thủ tục liên quan đến việc chạy chương trình với nhiều mẫu liệu đầu vào, so sánh kết đạt với kết Dữ liệu thử nghiệm phải kiểm tra chức logic chương trình, nên bao gồm tất loại liệu hợp lệ khơng hợp lệ Kiểm thử gỡ lỗi- Testing and Debugging Chương trình phát hành để thử nghiệm gọi Alpha version thử nghiệm tiến hành gọi Alpha testing Chương trình phát hành để thử nghiệm bổ sung cho lựa chọn người dùng bên Beta version thử nghiệm tiến hành gọi Beta testing Gỡ lỗi cú pháp cho chương trình (Syntax Errors) Lỗi cú pháp tương đối dễ phát chỉnh sửa so với lỗi logic Bộ xử lý ngôn ngữ thiết kế để tự động phát lỗi cú pháp Lỗi cú pháp thường gây nhiều thông báo lỗi tạo xử lý ngôn ngữ Loại bỏ lỗi cú pháp cho kết việc loại bỏ tất thông báo lỗi liên quan Gỡ lỗi logic cho chương trình (Logic Errors) Lỗi logic khó phát lỗi cú pháp, máy tính không đưa thông báo lỗi cho lỗi logic Một số phương pháp thường dùng để gỡ lỗi logic: Làm mô tay mã chương trình Đưa lệnh xuất liệu vị trí thích hợp mã chương trình, in kết tính tốn trung gian Sử dụng trình gỡ lỗi (một cơng cụ phần mềm hỗ trợ lập trình viên thực chương trình bước) Gỡ lỗi logic cho chương trình(Logic Errors) Trình gỡ lỗi hỗ trợ hai công cụ: Điểm ngắt (Breakpoint): Là điểm dừng thực thi chương trình, hiển thị giá trị tham số cần kiểm tra Breakpoint đặt gỡ bỏ vị trí chương trình Điểm quan sát (Watchpoint) Bộ gỡ lỗi lần theo vết biến thời điểm giá trị thay đổi Bộ gỡ lỗi ngừng sau câu lệnh làm cho giá trị biến thay đổi chờ lệnh Gỡ lỗi logic cho chương trình(Logic Errors) Sử dụng kết xuất nhớ (Memory dump) Thường sử dụng chương trình “bị treo" thời gian chạy thử nghiệm Bản nội dung nhớ đếm lấy thời điểm chương trình bị treo Bản gọi kết xuất nhớ kết xuất vùng nhớ Danh sách thị liệu kết xuất nhớ giữ nhớ máy tính theo hình thức ngun mẫu 10 Khác kiểm thử gỡ lỗi TT Kiểm Thử (Testing) Gỡ Lỗi (Debugging) • Q trình xác nhận đắn • Q trình loại bỏ lỗi chương trình chương trình • Mục đích: phát ngun nhân gây • Mục đích: chứng minh chương lỗi loại bỏ lỗi phát trình đáp ứng chi tiết kỹ thuật • Kiểm thử hồn thành tất • Gỡ lỗi hồn thành tất lỗi lệnh thực chương trình chỉnh sửa • Quá trình gỡ lỗi kết thúc tạm thời phải khởi động lại lỗi tìm thấy chương trình 12 Tài liệu phần mềm –Documentation Tài liệu phần mềm: thu thập, ghi chép, lưu trữ thông tin q trình xây dựng phần mềm Một phần mềm khơng thể xem hồn thành có tài liệu hợp lệ Tài liệu phần mềm tiến trình thực suốt vịng đời phần mềm 13 Tài liệu phần mềm –Documentation Sự cần thiết tư liệu phần mềm Giúp lập trình viên theo dõi đầy đủ q trình phát triển phần mềm Hỗ trợ việc bảo trì phần mềm Là tài liệu có ích việc bắt đầu lại dự án phần mềm bị trì hỗn trước 14 Tài liệu phần mềm –Documentation Có hình thức tài liệu sử dụng: Chú thích cho chương trình Sổ tay hệ thống Hướng dẫn sử dụng 15 Tài liệu phần mềm –Documentation Chú thích (Comment) Được sử dụng để giải thích logic chương trình Cải thiện chất lượng tính chất dễ hiểu chương trình Các thích bị bỏ qua biên dịch thực thi chương trình 16 Tài liệu phần mềm –Documentation Chú thích (Comment) 17 Tài liệu phần mềm –Documentation Sổ tay hệ thống Trình bày rõ mục tiêu tính hữu dụng phần mềm Mơ tả chức năng, hạn chế, hình thức dạng liệu đầu vào sử dụng, kết đầu cần tìm Tên cụ thể chương trình mơ tả mục đích chương trình Biểu đồ chi tiết hệ thống chương trình để tham chiếu đến danh sách tham số, biến chương trình 18 Tài liệu phần mềm –Documentation Mơ tả q trình tính tốn kiểm sốt thủ tục Danh sách mã nguồn, thông tin chi tiết thay đổi Mô tả rõ tất liệu đầu vào in kết đầu Mô tả liệu kiểm thử kết 19 Tài liệu phần mềm –Documentation Sổ tay người dùng: phải chứa thông tin sau: Chi tiết cài đặt hoạt động chương trình Mơ tả ví dụ câu lệnh kiểm tra dùng Các lệnh giao tiếp, lỗi thông báo giao tiếp phát sinh, trả lời hành động thực Danh sách điều kiện, giải thích Kiểm tra đặc biệt (nếu có) biện pháp bảo mật,… 20 Chuyển đổi thành hệ thống Khi phần mềm sẵn sàng để sử dụng, triển khai trang web cho người dùng Ở giai đoạn này, hoạt động chuyển đổi từ hệ thống cũ sang hệ thống diễn Ba phương pháp để thực trình chuyển đổi là: Chuyển đổi trực tiếp (Immediate Changeover) Chạy song song (Parallel Run) Chuyển đổi theo giai đoạn (Phased Conversion) 21 Chuyển đổi thành hệ thống Chuyển đổi trực tiếp (Immediate Changeover) Là giới hạn ngày mà hệ thống đưa vào hoạt động Do lỗi nghiêm trọng làm cho toàn hoạt động hệ thống cũ phải dừng lại Phương pháp dùng trường hợp có sẵn nhân lực thời gian chuyển đổi 22 Chuyển đổi thành hệ thống Chạy song song (Parallel Run) Cả hệ thống cũ hoạt động song song với liệu ban đầu cho ba hay bốn chu kỳ Kết hệ thống so sánh với hệ thống cũ để tăng độ tin cậy hệ thống Là phương pháp an toàn để triển khai hệ thống Khơng bị gián đoạn cơng việc, hệ thống cũ hoạt động vấn đề hệ thống sửa chữa 23 Chuyển đổi thành hệ thống Chạy song song (Parallel Run) Phương pháp tốn kém, phải bổ sung nhân lực trình hai hệ thống chạy song song Không áp dụng trường hợp nguồn nhân lực khan 24 Chuyển đổi thành hệ thống Chuyển đổi theo giai đoạn (Phased Conversion) Việc chuyển đổi hoàn toàn sang hệ thống diễn tăng dần theo thời gian Kết thu giai đoạn hệ thống so sánh với hệ thống cũ Bất kỳ khác biệt hay sai sót tìm thấy kiểm tra gỡ bỏ Độ tin cậy tăng giai đoạn hệ thống Theo thời gian giai đoạn hệ thống vào hoạt động, hệ thống cũ bước bị loại 25 Đánh giá hệ thống Quá trình đánh giá hệ thống để xác minh hệ thống có đạt mục tiêu ban đầu hay không Những điểm thường dùng để đánh giá hệ thống là: Đánh giá hiệu (Performance Evaluation) Phân tích chi phí (Cost Analysis) Phân tích thời gian (Time Analysis) Sự hài lịng người sử dụng (User Satisfaction) Sửa đổi dễ dàng (Ease of Modification) Tỷ lệ thất bại (Failure Rate) 26 Bảo trì hệ thống Quá trình kết hợp thay đổi hệ thống có để nâng cao, cập nhật nâng cấp tính Trung bình, chi phí bảo trì hệ thống máy tính gấp 2- lần so với chi phí phát triển ban đầu Lý cần phải bảo trì hệ thống: Nhu cầu kinh doanh thay đổi hoạt động tổ chức sử dụng hệ thống Theo nhu cầu người dùng Thay đổi công nghệ ... Logic - Logic Errors Chương trình biên dịch thực thành công kết khơng xác Ví dụ: Thay C=5 +4; Lại đánh C=5 -4 ; Kiểm thử gỡ lỗi- Testing and Debugging Kiểm thử chương trình - Testing a Program Kiểm... loại lỗi chương trình - Types of Program Errors Lỗi cú pháp - Syntax Errors: Là lệnh chương trình khơng tn theo cú pháp ngơn ngữ lập trình Ví dụ: C:= 5 +4; Lỗi C lại Pascal Lỗi Logic - Logic... gỡ lỗi- Testing and Debugging Kiểm thử: q trình kiểm tra chương trình có đáp ứng chức theo yêu cầu ban đầu đưa khơng Gỡ lỗi: q trình tìm lỗi sửa lỗi chương trình 3 Kiểm thử gỡ lỗi- Testing