Đang tải... (xem toàn văn)
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: q trình tìm lỗi sửa lỗi chương trình Kiểm thử gỡ lỗi- Testing and Debugging qCá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 Kiểm thử gỡ lỗi- Testing and Debugging qKiể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) qLỗ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) qLỗ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 qMộ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) qTrì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 Gỡ lỗi logic cho chương trình(Logic Errors) qSử 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 Khác kiểm thử gỡ lỗi 10 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 • Q 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 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 qSự 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 qSổ 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 qSổ 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 q 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 • Q 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 • Q 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ệ ... Errors • Chương trình biên dịch thực thành cơng kết khơng xác 4 Kiểm thử gỡ lỗi- Testing and Debugging qKiể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. .. 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